Alexander Boettcher 4342d0d234 NOVA: let thread die if SM cap is invalid ... Patch prevents following bugs: * In sleep_forever the thread return from semaphore down if cap is revoked during destruction of a thread. This causes an endless loop consuming time not available for other threads. * In lock_helper and cap_sel_alloc the thread return from the lock() method even if the semaphore down call failed because of an revoked semaphore. This lead to the situation that a thread subject to de-construction returns from the lock method, but not holding the lock, entering the critical section and modifying state inside the critical section. Another thread in parallel already in the critical section or entering the critical section also modifies the state. This lead to curious bugs ... * thread_nova, thread_start, irq_session Detect early bugs if the SM is gone unexpectedly where it should never happen.		2012-08-09 11:09:42 +02:00
..
bit_allocator.h	Add a bit array and bit allocator, issue #247	2012-08-09 10:23:55 +02:00
bit_array.h	Add a bit array and bit allocator, issue #247	2012-08-09 10:23:55 +02:00
cap_sel_alloc.h	NOVA: remove pd selector from non Core code	2012-08-09 11:09:41 +02:00
ipc_msgbuf.h	NOVA: Use everywhere same value for a invalid cap	2012-08-09 11:09:42 +02:00
ipc_pager.h	Bump year in copyright headers to 2012	2012-01-03 15:35:05 +01:00
ipc.h	NOVA: force to map cap in pd_session::assing_pd	2012-08-09 11:09:41 +02:00
native_types.h	NOVA: Use everywhere same value for a invalid cap	2012-08-09 11:09:42 +02:00
pager.h	NOVA: Adjust native_capability type	2012-08-09 11:09:41 +02:00
sleep.h	NOVA: let thread die if SM cap is invalid	2012-08-09 11:09:42 +02:00