Skip site navigation (1)Skip section navigation (2)
Date:      Sat, 31 Jul 2010 13:50:19 -0700
From:      Ali Mashtizadeh <mashtizadeh@gmail.com>
To:        Fabio Kaminski <fabiokaminski@gmail.com>
Cc:        "Julian H. Stacey" <jhs@berklix.com>, hackers@freebsd.org
Subject:   Re: freebsd exokernel
Message-ID:  <AANLkTimbzPVQQQfkoQgph-oCpEWd41f_rfG20yAHLe0h@mail.gmail.com>
In-Reply-To: <AANLkTikTg5zU5qXHU%2BGw0kQoi8vqPwGaAE9v=2CB%2BLdk@mail.gmail.com>
References:  <201007311206.o6VC6rdn023424@fire.js.berklix.net> <4C54154A.9040306@gmail.com> <AANLkTikTg5zU5qXHU%2BGw0kQoi8vqPwGaAE9v=2CB%2BLdk@mail.gmail.com>

next in thread | previous in thread | raw e-mail | index | archive | help
Hi Fabio,

Exokernels are great operating systems for prototyping or learning.
You obviously incur a lot more performance hits when you implement
such an architecture. I haven't looked into the details of
DragonflyBSD too much but they have enough infrastructure to run a
userlevel kernel that is sort of paravirtualized. From what I've read
it seems it has enough infrastructure for you to use the platform as
an exokernel without too much modification. Might be a good starting
point for you.

In addition to the original exokernel work from MIT you might want to
check out corey which has some interesting work on multicore
scalability.
http://pdos.csail.mit.edu/corey/

Thanks,
~ Ali

On Sat, Jul 31, 2010 at 11:32 AM, Fabio Kaminski
<fabiokaminski@gmail.com> wrote:
> yes , i have snifed the mach.. but i dont like the message passing idea..
> its from the microkernel species
> and theres even a nouveau reincarnation called barrelfish
> http://www.barrelfish.org .. wich is a sort of microkernel but running on=
e
> kernel core nucleus for each core and message passing each other.. (this =
is
> very promissing for virtualization.. but monolitic still be the fastest)
>
> its more like this L4 kernel.. good link indeed.... but with security
> included.. in fact the original mit exokernel its more like a resource
> policy system... http://en.wikipedia.org/wiki/Exokernel
>
> and i think they solve the problem that L4 has, that you are left alone..
> and the applications are obligated to implement =C2=A0thought parts by
> themselfs.. putting the abstractions in the userland as libraries.. so if
> you want user ZFS ,Bsd VMM, Btrfs or create your own abstraction or mix
> some, its just link with the proper .so file.. without needing to create =
a
> half kernel/half app application..
>
> thanks for the links
>
> On Sat, Jul 31, 2010 at 9:21 AM, CDP <dr.clau@gmail.com> wrote:
>
>> On 07/31/10 15:06, Julian H. Stacey wrote:
>>
>>> would it be a feasible project to borrow things from freebsd, and start=
 a
>>>> project like this? anyone like this idea ??
>>>>
>>>
>>> The code is free to use :-)
>>>
>>> =C2=A0anyway, just some thoughts for now..
>>>>
>>>
>>> See also eg Mach.
>>> =C2=A0 =C2=A0 =C2=A0 =C2=A0http://en.wikipedia.org/wiki/Mach
>>> =C2=A0 =C2=A0 =C2=A0 =C2=A0http://en.wikipedia.org/wiki/Mach_%28kernel%=
29
>>>
>>
>> Add this to the list (have a look at the external links too):
>> http://en.wikipedia.org/wiki/L4_microkernel_family
>>
>> You might also want to look at this:
>> http://os.inf.tu-dresden.de/L4/LinuxOnL4/overview.shtml
>>
>> Regards,
>> =C2=A0 =C2=A0 =C2=A0 =C2=A0Claudiu.
>>
> _______________________________________________
> freebsd-hackers@freebsd.org mailing list
> http://lists.freebsd.org/mailman/listinfo/freebsd-hackers
> To unsubscribe, send any mail to "freebsd-hackers-unsubscribe@freebsd.org=
"
>



--=20
Ali Mashtizadeh
=D8=B9=D9=84=DB=8C =D9=85=D8=B4=D8=AA=DB=8C =D8=B2=D8=A7=D8=AF=D9=87



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?AANLkTimbzPVQQQfkoQgph-oCpEWd41f_rfG20yAHLe0h>