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.4 required=5.0 tests=AC_FROM_MANY_DOTS,BAYES_00 autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,85034d1ac78a66eb X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-03-25 22:19:52 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!lon1-news.nildram.net!154.32.99.10.MISMATCH!psiuk-p2!psiuk-p3!uknet!psiuk-n!news.pace.co.uk!nh.pace.co.uk!not-for-mail From: "Marin David Condic" Newsgroups: comp.lang.ada Subject: Re: Ada Operating System Date: Mon, 25 Mar 2002 14:36:14 -0500 Organization: Posted on a server owned by Pace Micro Technology plc Message-ID: References: <3c77b476.322111671@news.cis.dfn.de> <3C88E0D1.89161C16@despammed.com> <3C8A3999.2000301@earthlink.net> <3C8B0191.3080705@mail.com> <3C8C3C4E.9030703@mail.com> <3C961352.DE25ADF1@avercom.net> <3C9F5DBE.4B71408F@san.rr.com> NNTP-Posting-Host: dhcp-200-133.miami.pace.co.uk X-Trace: nh.pace.co.uk 1017084976 7901 136.170.200.133 (25 Mar 2002 19:36:16 GMT) X-Complaints-To: newsmaster@news.cam.pace.co.uk NNTP-Posting-Date: 25 Mar 2002 19:36:16 GMT X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4522.1200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200 Xref: archiver1.google.com comp.lang.ada:21673 Date: 2002-03-25T19:36:16+00:00 List-Id: Here's another way for an Ada OS to distinguish itself while also making it Ada-ish - encouraging development for it in Ada. If a spec was provided that described a protected type for communicating between processes, wouldn't that make for something kind of unique and easily connected-to only by Ada programs? And if it was based on/associated with an Ada spec for generic or tagged record based messages then again, you'd have something different that was a natural encouragement to use Ada. Plus with a lot of built-in intra/inter-process message passing capabilities, the OS would be naturally suited to OOProgramming and networking. It doesn't necessarily have to be big or address every possible need. It only has to be different and useful. MDC -- Marin David Condic Senior Software Engineer Pace Micro Technology Americas www.pacemicro.com Enabling the digital revolution e-Mail: marin.condic@pacemicro.com "Darren New" wrote in message news:3C9F5DBE.4B71408F@san.rr.com... > Actually, I think there's another way that an Ada-based OS could be > superior to a C-based OS. Imagine an OS where all IPC is done via > message passing of messages between queues. That is, when you (for > example) want to read a file, you put the file handle and the "read" > token at the start of a buffer, pass the buffer to the queue for the > file system thread. The file system thread wakes up, fills up your > buffer, and passes it back to you. In a protected-memory system, it > would be helpful if said buffers were always allocated on page > boundaries, with at most one buffer per page, so simple memory-map > manipulations could move the buffer from one address space to the other. > > Would an Ada compiler (perhaps aided and abetted by the linker) be able > to take objects of the "Message" generic (or tagged) type and assure > they're always allocated on page boundaries, and objects of the "Queue" > generic (or tagged) type are always in pages together (so the OS knows > where they are perhaps) in a way that would be tedious and error-prone > in C? Could it be done with appropriate storage pools, so it doesn't > even really need to be specialized in the compiler? > > -- > Darren New > San Diego, CA, USA (PST). Cryptokeys on demand. > Remember, drive defensively if you drink.