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: 103376,985762be6fa32f22 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news2.google.com!fu-berlin.de!uni-berlin.de!not-for-mail From: "Nick Roberts" Newsgroups: comp.lang.ada Subject: Re: Improving Ada's Image Date: Sat, 26 Jun 2004 16:20:16 +0100 Message-ID: <2k5ihhF186j10U1@uni-berlin.de> References: <2k06c5F16ql15U2@uni-berlin.de> <2k50gdF17acumU1@uni-berlin.de> X-Trace: news.uni-berlin.de 3KQ/Na0LvEoDkl7aqu8/uApUVBtfjNAYS9WSADF2uH3D97M4Q= X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2800.1409 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1409 Xref: g2news1.google.com comp.lang.ada:1922 Date: 2004-06-26T16:20:16+01:00 List-Id: "Luke A. Guest" wrote in message news:pan.2004.06.26.11.32.25.601598@n_o_p_o_r_k_a_n_d_h_a_m.abyss2.demon.co.uk... > > I can only talk about the projected design of AdaOS, which is > > still of course vapourware at this time, and whose ultimate > > overall security design > > Just a quick question, but are you considering using exception > handling within your AdaOS? I was going to leave it out of mine. > I have GNAT compiled for my targets, but they don't have the > runtime - without porting effort - so I decided to use a cut down > Ada subset. I'm planning on putting an exception mechanism into the kernel, so that there will be full exception handling in all AdaOS software except for the kernel itself. The kernel will be a microkernel (or small, at least), so this means that most software will have exception handling. The AdaOS compiler, called ECLAT, unless given the restriction No_Exceptions, will generate code that uses a run time library for the support of exception handling. The run time library will be available to all programs as a separate module (shared object (DLL)). Inside the kernel, nearly all the restrictions will be turned on, so generating stand-alone code. -- Nick Roberts