From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,b80f9d510e95d880 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-08-30 20:38:48 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsmi-us.news.garr.it!NewsITBone-GARR!area.cu.mi.it!newsfeeder.edisontel.com!fu-berlin.de!uni-berlin.de!pc-62-31-50-169-cr.blueyonder.co.UK!not-for-mail From: nickroberts@blueyonder.co.uk (Nick Roberts) Newsgroups: comp.lang.ada Subject: Re: Ada OS : towards an Ada Micro-kernel Date: Sat, 31 Aug 2002 03:38:51 GMT Organization: AdaOS Message-ID: <3d702cee.177580379@news.cis.dfn.de> References: NNTP-Posting-Host: pc-62-31-50-169-cr.blueyonder.co.uk (62.31.50.169) X-Trace: fu-berlin.de 1030765126 55503470 62.31.50.169 (16 [25716]) X-Newsreader: Forte Free Agent 1.21/32.243 Xref: archiver1.google.com comp.lang.ada:28619 Date: 2002-08-31T03:38:51+00:00 List-Id: On Tue, 13 Aug 2002 11:47:35 +0200, OPERA strongly typed: >I have seen many discussions about using a micro-kernel such as L4 as a >foundation for a new OS for ADA. I believe this can be a great idea, I >would like to suggest some ideas about that : >... >But, for me, L4 primitives are not fully compatible with ADA >requirements : in particular, they can't be used to implement multiple >"select alternatives". As an example, we need new primitives >that allow something like : Message_Accept( "list of entries"). It's funny, people keep suggesting AdaOS be based on L4, and I keep saying that it has some serious shortcomings. It's nice to see someone actually noticing one of these shortcomings. Well done Vincent! >Therefore, I believe that the creation of a new micro-kernel must follow >two steps : >1. identify what primitives ADA needs, and their level of abstraction >2. try to implement them efficiency on a given machine (= to make a >micro-kernel), by >reusing if needed existing micro-kernel such as L4 or Hurd. > >Any comment on this would be greatly appreciated ! Hopefully the arguments as to the microkernel basis will go away very soon. I am about to publish my own design (called 'Bachar'), which solves the various problems that need to be solved (including a few that neither L4 nor anyone else that I'm aware of have even addressed). More info soon. -- Nick Roberts