ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-22 06:57:51 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

hw: mark threads as dead in case of ipc violations

Browse Source 
The IPC protcol violations are:

* Sending to an unknown thread (cap)
* Waiting for messages if a reply hasn't happened yet

This silents threads that otherwise repeatedly cause kernel messages
about the violation.

Ref genodelabs/genode#4704
This commit is contained in:
Stefan Kalkowski 2022-12-16 11:59:58 +01:00 committed by Christian Helmuth
parent fc690f1c47
commit fd3c70ec5b
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -488,7 +488,7 @@ void Thread::_call_await_request_msg()
} }
} else { } else {
Genode::raw("IPC await request: bad state"); Genode::raw("IPC await request: bad state");
user_arg_0(0); _become_inactive(DEAD);
} }
} }
@ -533,7 +533,7 @@ void Thread::_call_send_request_msg()
if (!dst) { if (!dst) {
Genode::raw(*this, ": cannot send to unknown recipient ", Genode::raw(*this, ": cannot send to unknown recipient ",
(unsigned)user_arg_1()); (unsigned)user_arg_1());
_become_inactive(AWAITS_IPC); _become_inactive(DEAD);
return; return;
} }
bool const help = Cpu_job::_helping_possible(*dst); bool const help = Cpu_job::_helping_possible(*dst);