barrelfish-master/kernel/schedule_rbed.c

10  * variables, we employ fixed-point integer arithmetic within #SPECTRUM
66 #define SPECTRUM        1000000
69  * Minimum resource rate reserved for best-effort processes, in #SPECTRUM.
72 #define BETA            (SPECTRUM / 10)
94     return (dcb->wcet * SPECTRUM) / dcb->period;
246         assert(dcb->weight < UINT_MAX / SPECTRUM);
247         u_actual = (MAX(BETA, SPECTRUM - kcb_current->u_hrt - kcb_current->u_srt) * dcb->weight) / kcb_current->w_be;
284     assert(kcb_current->u_hrt + kcb_current->u_srt + u_actual <= SPECTRUM);
287     dcb->wcet = (wcet_undiv + SPECTRUM / 2) / SPECTRUM;
301     assert(kcb_current->u_hrt + kcb_current->u_srt + BETA <= SPECTRUM);
480     if(kcb_current->u_hrt + kcb_current->u_srt + BETA > SPECTRUM) {
482               (kcb_current->u_hrt + kcb_current->u_srt + BETA) / (SPECTRUM / 100));