ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

cli_monitor: don't withdraw all ram quota from child 

When a yield request is responded by a child, don't withdraw all ram
quota currently available from the child, but let it keep hold a bit to live.
This commit is contained in:
Stefan Kalkowski 2013-10-18 14:24:33 +02:00 committed by Christian Helmuth
parent e559fb7df9
commit 15741f73c0
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
os/src/app/cli_monitor/child.h
View File

@ -158,6 +158,9 @@ class Child : public List<Child>::Element, Genode::Child_policy
*/
void withdraw_ram_quota(size_t amount)
{
if (!amount)
return;
_ram.withdraw_from(_resources.ram.cap(), amount);
_ram_quota -= amount;
}
@ -286,9 +289,13 @@ class Child : public List<Child>::Element, Genode::Child_policy
void yield_response()
{
if (_withdraw_on_yield_response) {
enum { RESERVE = 4*1024*1024 };
size_t amount = _resources.ram.avail() < RESERVE
? 0 : _resources.ram.avail() - RESERVE;
/* try to immediately withdraw freed-up resources */
try { withdraw_ram_quota(_resources.ram.avail()); }
try { withdraw_ram_quota(amount); }
catch (Ram::Transfer_quota_failed) { }
}