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

hw: release pagers from faulting threads

Browse Source 
ref #589
This commit is contained in:
Martin Stein 2013-09-18 12:57:01 +02:00 committed by Norman Feske
parent c3be0b417a
commit 4f4738427d
3 changed files with 30 additions and 25 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
base-hw/include/kernel/syscalls.h
View File

@ -351,21 +351,18 @@ namespace Kernel
/**
* Set a thread that gets informed about pagefaults of another thread
* Set or unset an IPC destination for pagefaults reports of a thread
*
* \param pager_id ID of the thread that shall get informed.
* Subsequently this thread gets an IPC message,
* wich contains an according 'Pagefault' object for
* every pagefault the faulter throws.
* \param faulter_id ID of the thread that throws the pagefaults
* wich shall be notified. After every pagefault this
* thread remains paused to be reactivated by
* 'resume_thread'.
* \param pager_id kernel name of the pager thread or 0 for "unset"
* \param faulter_id kernel name of the thread that throws the pagefaults
*
* Restricted to core threads.
*/
inline void set_pager(unsigned const pager_id, unsigned const faulter_id) {
syscall(SET_PAGER, pager_id, faulter_id); }
inline void set_pager(unsigned const pager_id, unsigned const faulter_id)
{
syscall(SET_PAGER, pager_id, faulter_id);
}
/**
* Print a char 'c' to the kernels serial ouput

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

@ -468,16 +468,21 @@ namespace Kernel
*/
void do_set_pager(Thread * const user)
{
/* assert preconditions */
assert(user->pd_id() == core_id());
/* get faulter and pager thread */
Thread * const p = Thread::pool()->object(user->user_arg_1());
Thread * const f = Thread::pool()->object(user->user_arg_2());
assert(p && f);
/* check permissions */
if (user->pd_id() != core_id()) {
PERR("not entitled to set pager");
return;
}
/* lookup faulter and pager thread */
unsigned const pager_id = user->user_arg_1();
Thread * const pager = Thread::pool()->object(pager_id);
Thread * const faulter = Thread::pool()->object(user->user_arg_2());
if ((pager_id && !pager) || !faulter) {
PERR("failed to set pager");
return;
}
/* assign pager */
f->pager(p);
faulter->pager(pager);
}

13
base-hw/src/core/platform_thread.cc
View File

@ -181,11 +181,14 @@ int Platform_thread::start(void * ip, void * sp, unsigned int cpu_no)
void Platform_thread::pager(Pager_object * const pager)
{
/* announce pager thread to kernel */
Kernel::set_pager(pager->cap().dst(), _id);
/* get RM client from pager pointer */
_rm_client = dynamic_cast<Rm_client *>(pager);
if (pager) {
Kernel::set_pager(pager->cap().dst(), _id);
_rm_client = dynamic_cast<Rm_client *>(pager);
return;
}
Kernel::set_pager(0, _id);
_rm_client = 0;
return;
}