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

init: prevent division by zero 

During the reconfiguration of init, the CPU-quota computation caused
init to produce a division-by-zero exception.
This commit is contained in:
Norman Feske 2015-11-13 12:51:39 +01:00 committed by Christian Helmuth
parent a2bb96723a
commit 853378960c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/os/include/init/child.h
View File

@ -852,7 +852,7 @@ void Init::Child::Resources::transfer_cpu_quota()
static size_t avail = Cpu_session::quota_lim_upscale( 100, 100);
size_t const need = Cpu_session::quota_lim_upscale(cpu_quota_pc, 100);
size_t need_adj;
if (need > avail) {
if (need > avail || avail == 0) {
warn_insuff_quota(Cpu_session::quota_lim_downscale(avail, 100));
need_adj = Cpu_session::quota_lim_upscale(100, 100);
avail = 0;