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-Thread: a07f3367d7,dea2d62ab1462538 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,UTF8 Path: g2news1.google.com!news2.google.com!goblin1!goblin.stu.neva.ru!news.albasani.net!not-for-mail From: Leslie Newsgroups: comp.lang.ada Subject: Re: Writing an Operating System in Ada Date: Tue, 12 Jan 2010 21:38:35 -0600 Organization: albasani.net Message-ID: References: <8e9bc311-7540-40a1-b19e-49e93648c25c@s31g2000yqs.googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8Bit X-Trace: news.albasani.net 1608hFIHfIBd1hvjNauPy0Hk/pyLAunjRoxFCNq/mvajiuw+qGY21PNlh9deY6m65zu0YlswrER/oY2v8dJKfScz0N94vvMGWQE/Ic+CxQV25UCs3GdMfQIWNBJvzHKO X-Complaints-To: abuse@albasani.net NNTP-Posting-Date: Wed, 13 Jan 2010 03:37:23 +0000 (UTC) X-User-ID: 6DLFDGIzaJ4axf8dyZLzE/dzMHwBcK3tb3/1SqOU7B96MaIT2+dgBwd2W3ItHqyE6XQ3Tt5fBUh2lWQzB0ivPQ== Cancel-Lock: sha1:fKQ5wDnX/FP4+sFKRywwkoKulec= User-Agent: KNode/0.10.9 X-NNTP-Posting-Host: jFyfx04vMJD5SKEO5Z2ehY/wsx0l5ZTca3mcbTGavIQ= Xref: g2news1.google.com comp.lang.ada:8718 Date: 2010-01-12T21:38:35-06:00 List-Id: Shark8 wrote: > On Jan 12, 2:41 am, "Dmitry A. Kazakov" > wrote: >> On Mon, 11 Jan 2010 17:13:55 -0800 (PST), Shark8 wrote: >> > Anyway, I was wondering if anybody here would be interested >> > in such a project. >> >> If that will be a really new OS (not a UNIX clone), OO, >> portable, distributed etc, for interesting platforms like >> this: >> >> http://blog.makezine.com/archive/2009/08/scalable_open_source_computi... >> >> why not? >> >> -- >> Regards, >> Dmitry A. Kazakovhttp://www.dmitry-kazakov.de > > You know that was a frustrating / discouraging thing to hear > almost everybody I talked to about wanting to write an OS say > something along the lines of "Why don't you just download the > sourcecode for Linux?"... I'm sorry folks, but I don't want to > be the OS equivalent of a 'script-kiddie'. > > One thing I find very annoying about the Unix/Linux mentality > is the "everything is a file" philosophy... coupled with the > C/C++-ism of simply assuming that a file read/write went well > and you're asking for trouble. {Yes, I know that you CAN check > to see if writing is successful or not in C/C++, but it goes > against most C/C++ programmer's sense of terseness/'beauty'... > the same one that makes no check on array-bounds.} If possible, also, it would be nice to get away from the "root can do anything" paradigm, and its associated inherited privileges (crash a root-capable process and steal its privileges). It would be nice to see something more like the explicit privilege design used by CP in IBM's VM operating systems. As a side note, does anyone here remember the Intel iAPX432 processor, designed to execute Ada programs (almost) directly? Leslie