Date: Mon, 2 Aug 2010 11:21:38 -0300 From: Fabio Kaminski <fabiokaminski@gmail.com> To: Ali Mashtizadeh <mashtizadeh@gmail.com> Cc: "Julian H. Stacey" <jhs@berklix.com>, hackers@freebsd.org Subject: Re: freebsd exokernel Message-ID: <AANLkTin-d3MoNk85psBkTv6Tt9ewoC3Sng1PvjJoobR9@mail.gmail.com> In-Reply-To: <AANLkTimbzPVQQQfkoQgph-oCpEWd41f_rfG20yAHLe0h@mail.gmail.com> References: <201007311206.o6VC6rdn023424@fire.js.berklix.net> <4C54154A.9040306@gmail.com> <AANLkTikTg5zU5qXHU%2BGw0kQoi8vqPwGaAE9v=2CB%2BLdk@mail.gmail.com> <AANLkTimbzPVQQQfkoQgph-oCpEWd41f_rfG20yAHLe0h@mail.gmail.com>
next in thread | previous in thread | raw e-mail | index | archive | help
Ali, thanks for pointing Corey, in fact im already studying its source ... thi= s core aware architecture , and share nothing mechanisms are just brilliant, each core running its own tcp stack, while it has one core exclusive for the device pooling its great... is jails working that way? Ow, errata about L4 , in fact it is an exokernel an it has a "OSLib".. i found OC.fiasco, a pitty is that it uses c++ and it gets harder to collaborate with the large operating system C stacks. i was pointed to the rump project from netbsd too http://www.netbsd.org/docs/rump/index.html, and is a oslib.. very nice! thanks everybody, for the help an tips! Fabio Kaminski On Sat, Jul 31, 2010 at 5:50 PM, Ali Mashtizadeh <mashtizadeh@gmail.com>wro= te: > 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 > one > > kernel core nucleus for each core and message passing each other.. (thi= s > 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 thought 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 creat= e > 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 sta= rt > a > >>>> project like this? anyone like this idea ?? > >>>> > >>> > >>> The code is free to use :-) > >>> > >>> anyway, just some thoughts for now.. > >>>> > >>> > >>> See also eg Mach. > >>> http://en.wikipedia.org/wiki/Mach > >>> http://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, > >> Claudiu. > >> > > _______________________________________________ > > 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" > > > > > > -- > 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?AANLkTin-d3MoNk85psBkTv6Tt9ewoC3Sng1PvjJoobR9>