argos-research / foc Goto Github PK

Clone of Fiasco.OC and parts of L4RE that are used by the Genode framework.

Makefile 0.93% C++ 74.42% C 21.00% Assembly 2.30% Perl 0.41% Python 0.40% Shell 0.23% Lex 0.03% Yacc 0.06% Groff 0.08% Lua 0.01% Io 0.01% HTML 0.01% TeX 0.01% Objective-C 0.07% Awk 0.01% Vim Script 0.01% Prolog 0.02% Arc 0.01%

foc's People

Stargazers

Watchers

Forkers

samvartaka unforeseenocean irgendwie

foc's Issues

Kernel options are requested (scheduling_edf)

Hi @BugUser0815 @StefanEdingerTUM,

during the compilation of genode with the mentioned branch, I got the following output

* Restart config...
*
*
* Kernel options
*
Enable multi processor support (MP) [Y/n/?] y
Maximal supported number of CPUs (MP_MAX_CPUS) [4] 4
Fine-grained CPU time (FINE_GRAINED_CPUTIME) [N/y/?] n
Scheduler

Fixed priority scheduler (SCHED_FIXED_PRIO)

Weighted fair queueing scheduler (SCHED_WFQ)

Combined fixed priority RT and WFQ scheduler (SCHED_FP_WFQ)
> 4. Combined fixed priority and Earliest Deadline First scheduler (SCHED_FP_EDF)

Earliest Deadline First Scheduler (SCHED_EDF) (NEW)
choice[1-5]: 4

After selecting 4 the compilation process halts.

EDF ready queue monitoring

EDF thread gets enqueued three times

Relating to argos-research/genode#22
It is obvious that every edf thread is enqueued three times into the ready queue.
Is this a feature or a bug? @DK87

Recommend Projects