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,216b18d81cce4f75 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-06-02 13:30:18 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!newsfeed.berkeley.edu!ucberkeley!enews.sgi.com!newshub2.rdc1.sfba.home.com!news.home.com!news1.rdc1.mi.home.com.POSTED!not-for-mail From: "McDoobie" Subject: Re: Ada Microkernel? Newsgroups: comp.lang.ada Organization: Caffinated Corps References: <3B183CB8.3EE396E7@engineer.com> <_M3S6.8957$HL5.1284411@news6-win.server.ntlworld.com> User-Agent: Pan/0.8.1beta4 (Unix) X-No-Productlinks: Yes Message-ID: Date: Sat, 02 Jun 2001 20:30:17 GMT NNTP-Posting-Host: 24.0.109.49 X-Complaints-To: abuse@home.net X-Trace: news1.rdc1.mi.home.com 991513817 24.0.109.49 (Sat, 02 Jun 2001 13:30:17 PDT) NNTP-Posting-Date: Sat, 02 Jun 2001 13:30:17 PDT Xref: archiver1.google.com comp.lang.ada:8024 Date: 2001-06-02T20:30:17+00:00 List-Id: In article <_M3S6.8957$HL5.1284411@news6-win.server.ntlworld.com>, "chris.danx" wrote: >> Hi group. >> >> I'm I Debian Hurd hacker, and am thoroughly disgustapated with the Mach >> sources. Recently I have been redoubling my efforts to use more modern >> languages such as Ada and Python in everything I do. >> >> Are there any sample microkernels written in Ada, perhaps for oskit? > > Maybe MarteOS is a microkernel but i'm not sure. It's not 100% Ada but > the main language _appears_ to be Ada. > >> I think a kernel would ultimately really benefit from being written in >> such a robust language as Ada. > > Nick Roberts thinks so too. Check out www.adaos.org! > > I too have thought of writing a microkernel in Ada and after the 11th > June serious work on this will begin. Lot's of OS theory and design > have been my main focus so far. My page holds two projects: one is > willow a language research project and _Sorcerer_ the OS development > project. There won't be much up there now as i'm having to redraft and > re-organise the site to accomodate Sorcerer (who'd have thought editing > HTML would take so long?). If your interested check the site on Monday > or Tuesday by which time i should have something substantial (and a > little FS code too). > > >> I know this is way out of my league, but I'm sitting here dreaming >> about rewriting GNUMach in Ada. > > Why is it out of your league? How long have you been a programmer? > I've never done anything substantial in hardware before (apart from some > assembly but no x86 pmode at all), but I'm determined to continue. > > Sure it will be hard at first but it becomes easier as you go. If you > want to make a new GNUMach written in Ada go for it. All you really > need to do is have a compatible API and use the same workings > underneath. Provinding you do this all written in ada it'll work. It > will take a long time (maybe years) to do and you have to be sure it's > worth the effort. > > > > Chris Campbell http://willowplan.tripod.com I think this sounds like a great idea. I've been studying, and learning to hack, Cisco microcode for the past few weeks now. I'm also learning to apply Ada to actual systems programming. A micro-kernel would be awsome, if it's done right. The way I would proceed is to lay out all the main functions and tasks of the kernel in Ada95 OOP code, and then overlay that (or underlay as one might put it) with exceptionally fast Assembler code, optimized for the different architectures. Of course, one could write generic functions for any architecture with an Ada compiler(unlike most other languages, Ada makes this goal actually feasible), and then leave hooks so that programmers can drop in thier own Assembler code optimizations and/or replacements. Then, the SysAdmin can opt to have thier compiler build the kernel from the standard generic Ada code, or use the optimized assembler code written for thier architecture. Naturally, this is more easily said than done. However I do beleive Ada makes this quite feasible whereas in many other languages it would border on impossible. Then again, maybe I'm whistling into the wind and sounding stupid while I'm at it. Anyways, I think the Ada95 OOP system is the perfect facility for making a Microkernel that's actually fast. Once my new workstation gets here, I'm gonna play with that idea. I might even throw up some sample code to better illustrate my idea. Blah! Too much coffee. Heh. Anyways, what are your guy's thoughts? McDoobie chris@dont.spam.me P.S. I would also be interested in working on a Free Software toolchain similar to the Ada.Sparks toolchain by Praxis systems. Feasible?