[Barrelfish-users] Scheduling and mallable tasks

[Georgios Varisteas]

Hi,

A few words about what I'm working on here at KTH, Sweden. After fully porting our home-grown work-stealing library called WOOL, I've moved on investigating domain scheduling abstractions. In other words dynamically modifying the number of cores assigned to each application, according to actual usage and requirements. More simply put space-sharing.

After reading the documentation and going through the code a bit, I would like to verify a few things. According to the docs, on the single core level, there is a round-robin scheduler activating circularly one dispatcher after the other. Also, there is a RBED scheduler implementation, which is selected over RR in the generated Config.hs. I would really appreciate any detailed insight on how things actually work at this point. Pointers on where to look for more info would also suffice.

So far, I haven't found any hints on a mechanism that automatically and intelligently modifies domains during execution or any inter-core scheduler for that matter. If that is true, where in the tree should I start implementing my scheduler? How can it cooperate with the existing API? Is there anything not obvious I should look out for, considering that I do not have complete understanding of the system yet.

As a sidenote, what is the process/policy for contributing to the repository?

Best regards,
Georgios Varisteas