mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
hoitaja: Redistribute freed CPU cores among remaining cells when a cell is destroyed.
This commit is contained in:
@@ -413,8 +413,9 @@ void Genode::Sandbox::Library::_remove_leftovers(Child &child)
|
||||
|
||||
/* replenish available CPU quota */
|
||||
_avail_cpu.percent += child_cpu_quota.percent;
|
||||
_transferred_cpu.percent -= min(_transferred_cpu.percent,
|
||||
child_cpu_quota.percent);
|
||||
_transferred_cpu.percent -= min(_transferred_cpu.percent, child_cpu_quota.percent);
|
||||
|
||||
maintain_cells();
|
||||
}
|
||||
|
||||
void Genode::Sandbox::Library::_groom()
|
||||
|
||||
Reference in New Issue
Block a user