816b4e0479
If a thread caused a page fault and later on get be paused, then it left the recall handler immediately due to the pause call instead of staying in this handler. Add some (complicated) state machine to detect and handle the case. Still not waterproof, especially server threads may never get recalled if they never get a IPC from the outside. Fixes #478 |
||
|---|---|---|
| .. | ||
| bit_allocator.h | ||
| bit_array.h | ||
| cap_sel_alloc.h | ||
| ipc_msgbuf.h | ||
| ipc_pager.h | ||
| native_types.h | ||
| pager.h | ||
| sleep.h | ||
| thread_state.h | ||