[Barrelfish-users] Scheduler Manifests

[Simon Peter]

Hi Felix,

You are looking at all the existing documentation. The constraints I 
tried are really just those listed in my thesis (mainly to setup 
phase-locked scheduling). The constraint solver runs inside the system 
knowledge base (SKB), which contains all information the OS was able to 
collect about the system. All of this information could in theory be 
used as a constraint for the solver. Obviously only a subset is going to 
be useful.

This thesis:

http://www.barrelfish.org/publications/schuepbach-declarative-os.pdf

will tell you more about how the SKB works, but it does not talk about 
scheduling. The constraint solver is single threaded (at least it was 
when I last looked).

  -- Simon

On 07/20/2016 12:21 PM, Felix Pepinghege wrote:
> Hi everybody!
>
> I recently searched for documentation on how cores are managed and
> allocated for new domains in Barrelfish. In the process I found the
> concept of the "scheduler manifest", briefly described in the paper
> "Design principles for end-to-end multicore schedulers" and the PhD
> thesis "Resource Management in a Multicore Operating System", both by
> Peter Simon.
>
> Unfortunately, the concept received no intense coverage in either of
> these two publications. As far as my understanding goes, the scheduler
> manifest is a string containing constraints which in turn describe the
> requirements of the application. These constraints are then resolved
> using the eclipse framework.
> However, other questions are still open to me:
> - which constraints does the framework support?
> - are the constraints resolved using a parallel or a sequentiel algorithm?
> As I am not familiar with the Cclipse framework or the Barrelfish code,
> I would rather avoid searching for the answers to these questions in the
> source code, as I have to resolve my own time constraints :)
>
> So my modest question is if a) there is further documentation on the
> subject which I haven't found, or if b) someone would be as kind as to
> answer these two questions above.
>
> Any help is much appreciated (including, of course, hints on where to
> search or who to ask).
>
> Best regards,
>
> Felix
> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users