ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-22 10:21:04 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

hw: fix bug in Kernel::yield_thread

Browse Source 
ref #899
This commit is contained in:
Martin Stein 2013-09-19 16:47:38 +02:00 committed by Norman Feske
parent 6912e638fb
commit d6d4938916
2 changed files with 33 additions and 22 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

46
base-hw/src/core/kernel.cc
View File

@ -380,13 +380,19 @@ namespace Kernel
*/
void do_resume_thread(Thread * const user)
{
/* get targeted thread */
/* lookup thread */
Thread * const t = Thread::pool()->object(user->user_arg_1());
assert(t);
if (!t) {
PERR("unknown thread");
user->user_arg_0(-1);
return;
}
/* check permissions */
assert(user->pd_id() == core_id() || user->pd_id() == t->pd_id());
if (user->pd_id() != core_id() && user->pd_id() != t->pd_id()) {
PERR("not entitled to resume thread");
user->user_arg_0(-1);
return;
}
/* resume targeted thread */
user->user_arg_0(t->resume());
}
@ -397,22 +403,21 @@ namespace Kernel
*/
void do_resume_faulter(Thread * const user)
{
/* get targeted thread */
/* lookup thread */
Thread * const t = Thread::pool()->object(user->user_arg_1());
assert(t);
if (!t) {
PERR("unknown thread");
user->user_arg_0(-1);
return;
}
/* check permissions */
assert(user->pd_id() == core_id() || user->pd_id() == t->pd_id());
/*
* Writeback the TLB entry that resolves the fault.
* This is a substitution for write-through-flagging
* the memory that holds the TLB data, because the latter
* is not feasible in core space.
*/
if (user->pd_id() != core_id() && user->pd_id() != t->pd_id()) {
PERR("not entitled to resume thread");
user->user_arg_0(-1);
return;
}
/* writeback translation table and resume faulter */
Cpu::tlb_insertions();
/* resume targeted thread */
t->resume();
}
@ -422,11 +427,8 @@ namespace Kernel
*/
void do_yield_thread(Thread * const user)
{
/* get targeted thread */
Thread * const t = Thread::pool()->object(user->user_arg_1());
/* invoke kernel object */
if (t) t->resume();
if (t) { t->receive_yielded_cpu(); }
cpu_scheduler()->yield();
}

9
base-hw/src/core/kernel/thread.h
View File

@ -488,6 +488,15 @@ class Kernel::Thread
*/
unsigned id() const { return Object::id(); }
/**
* Notice that another thread yielded the CPU to us
*/
void receive_yielded_cpu()
{
if (_state == AWAIT_RESUME) { _schedule(); }
else { PERR("failed to receive yielded CPU"); }
}
/***********************
** Execution_context **