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

hw: destroy active scheduling context (fix #1537)

Browse Source 
* In addition fixes routes of the cpu_scheduler.run test
This commit is contained in:
Stefan Kalkowski 2017-03-08 10:26:39 +01:00 committed by Christian Helmuth
parent 4a30c13c2d
commit 45cab8fed6
2 changed files with 15 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
repos/base-hw/run/cpu_scheduler.run
View File

@ -16,6 +16,10 @@ install_config {
<parent-provides>
<service name="LOG"/>
<service name="RM"/>
<service name="RAM"/>
<service name="PD"/>
<service name="CPU"/>
<service name="ROM"/>
</parent-provides>
<default-route>
<any-service> <parent/> </any-service>

25
repos/base-hw/src/core/kernel/cpu_scheduler.cc
View File

@ -132,10 +132,14 @@ void Cpu_scheduler::_quota_adaption(Share * const s, unsigned const q)
void Cpu_scheduler::update(unsigned q)
{
unsigned const r = _trim_consumption(q);
if (_head_claims) { _head_claimed(r); }
else { _head_filled(r); }
_consumed(q);
/* do not detract the quota if the head context was removed even now */
if (_head) {
unsigned const r = _trim_consumption(q);
if (_head_claims) { _head_claimed(r); }
else { _head_filled(r); }
_consumed(q);
}
if (_claim_for_head()) { return; }
if (_fill_for_head()) { return; }
_set_head(_idle, _fill, 0);
@ -144,6 +148,8 @@ void Cpu_scheduler::update(unsigned q)
bool Cpu_scheduler::ready_check(Share * const s1)
{
assert(_head);
ready(s1);
Share * s2 = _head;
if (!s1->_claim) { return s2 == _idle; }
@ -185,16 +191,7 @@ void Cpu_scheduler::remove(Share * const s)
{
assert(s != _idle);
/*
* FIXME
* Thanks to helping, this can happen and shall not be treated as bad
* behavior. But by now, we have no stable solution for it.
*
*/
if (s == _head) {
Genode::error("Removing the head of the CPU scheduler isn't supported by now.");
while (1) ;
}
if (s == _head) _head = nullptr;
if (s->_ready) { _fills.remove(s); }
if (!s->_quota) { return; }
if (s->_ready) { _rcl[s->_prio].remove(s); }