genode/base-nova/include/base
Alexander Boettcher edd30b56a2 nova: fix pager cleanup handling
The cleanup call must be performed already during the _dissolve function
shortly after the object at the cap_session is freed up. Otherwise there
is the chance that an in-flight IPC will find the to be dissolved function
again.

Bomb test triggered the case, that a already dissolved rpc_object was found
by a in-flight IPC. If the rpc_object was already freed up by alloc->destroy
the thread using this stale rpc_object pointer cause page-faults in core.

Fixes partly #549
2013-02-11 12:01:26 +01:00
..
bit_allocator.h base-nova: Coding style 2013-01-11 23:11:07 +01:00
bit_array.h Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
cap_sel_alloc.h nova: increase number of available cap indexes 2013-02-11 12:01:25 +01:00
ipc_msgbuf.h nova: ease debugging if no cap indexes are left 2013-01-24 11:09:15 +01:00
ipc_pager.h Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
ipc.h Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
native_types.h base-nova: Coding style 2013-01-11 23:11:07 +01:00
pager.h nova: fix pager cleanup handling 2013-02-11 12:01:26 +01:00
sleep.h Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
thread_state.h Update copyright headers to 2013 2013-01-10 21:44:47 +01:00