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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,8295d69277f1696c
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Received: by 10.68.223.40 with SMTP id qr8mr1059429pbc.0.1337067589599;
        Tue, 15 May 2012 00:39:49 -0700 (PDT)
Path: 
 pr3ni651pbb.0!nntp.google.com!news2.google.com!news4.google.com!proxad.net!feeder1-2.proxad.net!usenet-fr.net!gegeweb.org!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: understanding runtime support
Date: Tue, 15 May 2012 09:39:06 +0200
Organization: cbb software GmbH
Message-ID: <1uonvqnx57xnv.1v7tktmvnx4q3.dlg@40tude.net>
References: <28695516.0.1336708147839.JavaMail.geo-discussion-forums@pbcqw9>
 <28843126.1576.1336884548623.JavaMail.geo-discussion-forums@ynff7>
 <31100317.2013.1336922789420.JavaMail.geo-discussion-forums@ynmb39>
 <7948724.2.1336983886678.JavaMail.geo-discussion-forums@yneo6>
 <32791890.97.1336995087800.JavaMail.geo-discussion-forums@yneo6>
 <8547012.586.1337020482714.JavaMail.geo-discussion-forums@ynlq12>
 <28034736.36.1337025896359.JavaMail.geo-discussion-forums@ynll26>
 <26243478.1080.1337035951796.JavaMail.geo-discussion-forums@ynej5>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: FbOMkhMtVLVmu7IwBnt1tw.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
Date: 2012-05-15T09:39:06+02:00
List-Id: <comp.lang.ada>

On Mon, 14 May 2012 15:52:31 -0700 (PDT), Shark8 wrote:

> I'm one of those who would like to write an Ada OS.

There were attempts. But I would not try before some important changes made
in the language:

1. Uncooperative types model support (to ensure protection against calling
private operations on objects obtained through unchecked conversions or
other tricks)

2. Multiple dispatch (almost all OS interfaces are natively MD)

Yet another *NIX written in Ada would unlikely gain much interest.

BTW, future embedded OSes will be massively parallel and networking. Setups
we are working with, already have dozens of interconnected �-controllers,
some of them multi-core. The logical step will be to have all them running
one OS.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de