[Barrelfish-users] scheduling in barrelfish

Kornilios Kourtis kornilios.kourtis at inf.ethz.ch
Tue Nov 4 11:08:41 CET 2014

Hi Pradeep,

On Mon, Nov 03, 2014 at 06:08:15PM +0100, Pradeep Kiruvale wrote:
> Hi All,
> I am new to Barrelfish. I wanted to know more about the scheduling of
> tasks/ processes in barrelfish. Please guide me to some docs where I
> can find some info regarding scheduling.

I think the best starting point would be Simon's phd thesis, and
particularly the chapter on scheduling:

The Barrelfish specification technical note might also be useful:


> Regards,
> Pradeep

> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users

Kornilios Kourtis

More information about the Barrelfish-users mailing list