I think this is an interesting approach. There are several interesting ideas being pursued here. The focus of the discussion has been on the multikernel approach, which I think has merit.
Something that has not been discussed here is the wide use of DSLs for systems programming, and using haskell to write a framework for rapidly developing and proving correctness of DSLs. This is just as significant as the multikernel ideas. I downloaded the source, built the system, and will be playing with it. Thoughts? On Wed, Oct 14, 2009 at 12:09, Tim Newsham <news...@lava.net> wrote: > Rethinking multi-core systems as distributed heterogeneous > systems. Thoughts? > > http://www.sigops.org/sosp/sosp09/papers/baumann-sosp09.pdf > > Tim Newsham > http://www.thenewsh.com/~newsham/ > > -- Christopher Nielsen "They who can give up essential liberty for temporary safety, deserve neither liberty nor safety." --Benjamin Franklin