Re: I hadn't noticed / probably missed if Barrelfish was already mentioned.

I was lucky enough to spend an afternoon talking to Tim Harris about
Barrelfish recently. He worked on it while he was at Microsoft Research in
Cambridge. He's now at Oracle. We talked mostly about this paper:

http://www.barrelfish.org/barrelfish_oopsla11.pdf

There's quite a bit of interesting stuff:

http://www.barrelfish.org/#publications



On 11 May 2015 at 23:27, Mark S. Miller <[email protected]> wrote:

> This is the first I've heard of it. A bit of googling reveals
> http://www.barrelfish.org/
> Interesting.
>
> On Mon, May 11, 2015 at 3:16 PM, Raoul Duke <[email protected]> wrote:
>
>>
>> http://www.systems.ethz.ch/sites/default/files/file/aos2014/milestones/milestone2Extended.pdf
>>
>> 2 About Capabilities
>>
>> In this assignment you will use Barrelfish’s capability system to get
>> physical memory for handling page faults. The capability system is
>> Barrelfish’s way of tracking and authorizing access to memory (and, as
>> we will see, many other physical resources in the system) to a user
>> program.
>>
>> A capability can be thought of as a special kind of handle or pointer.
>> Capabilities cannot be forged, but can be passed around between
>> applications.
>>
>> For now, it suffices to know that there are different types of
>> capabilities for different types of memory, such as page tables or
>> user-accessible (mapped) memor
>> _______________________________________________
>> cap-talk mailing list
>> [email protected]
>> http://www.eros-os.org/mailman/listinfo/cap-talk
>>
>
>
>
> --
>     Cheers,
>     --MarkM
>
> _______________________________________________
> cap-talk mailing list
> [email protected]
> http://www.eros-os.org/mailman/listinfo/cap-talk
>
>

_______________________________________________
cap-talk mailing list
[email protected]
http://www.eros-os.org/mailman/listinfo/cap-talk