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,8623fab5750cd6aa X-Google-Attributes: gid103376,public Path: g2news1.google.com!news1.google.com!news.glorb.com!cyclone1.gnilink.net!gnilink.net!wn14feed!worldnet.att.net!207.35.177.252!nf3.bellglobal.com!nf1.bellglobal.com!nf2.bellglobal.com!news20.bellglobal.com.POSTED!not-for-mail From: "Warren W. Gay VE3WWG" User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.4) Gecko/20030624 Netscape/7.1 (ax) X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Improving Ada's image - Was: 7E7 Flight Controls Electronics References: <40b9c99e$0$268$edfadb0f@dread16.news.tele.dk> <40ba315a$0$254$edfadb0f@dread16.news.tele.dk> <04udnR-eHNChzSbdRVn-vw@gbronline.com> <7J0xc.7371$8k4.269106@news20.bellglobal.com> <1086630278.542788@master.nyc.kbcfp.com> <8xlxc.27603$sS2.845496@news20.bellglobal.com> <1086715817.122983@master.nyc.kbcfp.com> <1086733411.736049@master.nyc.kbcfp.com> <3Auxc.11998$XY6.1296622@read2.cgocable.net> <40C85035.4020706@noplace.com> <40C9EC3B.60304@noplace.com> <40CD90A4.8030005@noplace.com> <40CEDCB5.9000509@noplace.com> In-Reply-To: <40CEDCB5.9000509@noplace.com> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: Date: Tue, 15 Jun 2004 12:43:37 -0400 NNTP-Posting-Host: 198.96.223.163 X-Complaints-To: abuse@sympatico.ca X-Trace: news20.bellglobal.com 1087317752 198.96.223.163 (Tue, 15 Jun 2004 12:42:32 EDT) NNTP-Posting-Date: Tue, 15 Jun 2004 12:42:32 EDT Organization: Bell Sympatico Xref: g2news1.google.com comp.lang.ada:1515 Date: 2004-06-15T12:43:37-04:00 List-Id: Marin David Condic wrote: > Warren W. Gay VE3WWG wrote: > > Today's slashdot points out yet another exploit in Linux. > > http://slashdot.org/article.pl?sid=04/06/04/1212228&mode=thread&tid=1- > > 26&tid=95 > > We like to deride Windows, but Linux, *NIX in general all suffer from > > the same problem. Some of these are no doubt due to design issues > > (which Ada may or may not help with). But surely, one has to > > wonder/hope if/that some other fundamental change (language) can > > offer an improvement. I think many are simply saying that they > > believe it to be so. > > Developing an operating system - any operating system - is inherently > complex and extremely difficult to get right. Most of the flaws are > *not* going to come from array bounds or integer range check problems. > They come from logic problems or timing problems. I know from experience > that an asynchronous world is extremely difficult to live in and get > right. The logic an OS goes through to schedule multiple processes and > handle shared I/O, etc., are all just inherently hard to get right. > Coding up an OS in Ada might eliminate some flaws - but they are far > from the worst flaws that an OS can have. Generally agreed. I think you would also agree that Ada forces the writer to engineer the project better. You are forced to do more planning with Ada. Compared this with C, where you can always pass around void pointers, etc. to work around things that you forgot to design for. I would further add that Ada code can tolerate more static analysis, which is pretty much useless or impossible in C. Static analysis not only saves time testing, but gives you greater confidence in the results. > All the necessary tools exist. There's a free compiler, IDE, debugger, > GUI builder, etc., needed to go write apps in Ada. (I wish they were > better integrated, standardized and came with a library, but if we keep > waiting for perfection, we'll never be ready.) We can't say "it would be > better done in Ada..." now without asking ourselves why we aren't doing > it. We will look like fools or cranks to the rest of the world if we > keep pissing on their real-world, in-existence apps unless we can > actually come up with something that is *better* to put next to it and > say "See?!?! The one I built in *Ada* actually *is* better!!!" I can't > download and run conceptual vaporware that is only theoretically better. > ;-) > > MDC Yep, but you need bodies of people willing to help. One or a few individuals can put together an operating system, but unless many people contribute towards hardward drivers, the project is not likely to gain general acceptance (at least on Intel). But even this, is an untested theory, in the Ada OS arena so far. ;-) -- Warren W. Gay VE3WWG http://home.cogeco.ca/~ve3wwg