denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

fixup "hw: implement helping of pager threads" (fix bomb)

Browse Source
This commit is contained in:
Stefan Kalkowski
2025-01-20 16:29:54 +01:00
committed by Norman Feske
parent 827401ee2d
commit 0d4d23a161
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
repos/base-hw/src/core/kernel/thread.cc
View File

@@ -914,10 +914,14 @@ void Thread::_signal_to_pager()
return;
}
bool const help = Cpu_context::_helping_possible(_fault_context->pager);
/* first signal to pager to wake it up */
_fault_context->sc.submit(1);
/* only help pager thread if runnable and scheduler allows it */
bool const help = Cpu_context::_helping_possible(_fault_context->pager)
&& (_fault_context->pager._state == ACTIVE);
if (help) Cpu_context::_help(_fault_context->pager);
else _become_inactive(AWAITS_RESTART);
_fault_context->sc.submit(1);
}