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,ac9405996d0dcb7f X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!news.glorb.com!news.zanker.org!feeder1.cambrium.nl!feed.tweaknews.nl!newsgate.cistron.nl!news.tele.dk!news.tele.dk!small.news.tele.dk!uninett.no!ntnu.no!randhol From: randhol@bacchus.pvv.ntnu.no (Preben Randhol) Newsgroups: comp.lang.ada Subject: Re: Would You Fly an Airplane with a Linux-Based Control System? Date: Tue, 30 Nov 2004 17:28:25 +0000 (UTC) Organization: Norwegian university of science and technology Message-ID: References: <20619edc.0411251028.3e249bf3@posting.google.com> <3193657.BGZLZqeFdM@linux1.krischik.com> NNTP-Posting-Host: bacchus.pvv.ntnu.no X-Trace: orkan.itea.ntnu.no 1101835705 29043 129.241.210.178 (30 Nov 2004 17:28:25 GMT) X-Complaints-To: usenet@itea.ntnu.no NNTP-Posting-Date: Tue, 30 Nov 2004 17:28:25 +0000 (UTC) User-Agent: slrn/0.9.6.2 (FreeBSD) Xref: g2news1.google.com comp.lang.ada:6674 Date: 2004-11-30T17:28:25+00:00 List-Id: In article <3193657.BGZLZqeFdM@linux1.krischik.com>, Martin Krischik wrote: > >They turned of a few select runtime checks. They had proof that on an Ariane >4 they would not be needed as the Arinane 4 will never exceed the max. >values. > >However, as Alexander pointed out, with the software checks disabled some >hardware checks from the floating point unit kicked in instead and crashed >the hole programm. > >You must understande that modern CPUs there support hardware exceptions and >modern programming laguages support software exceptions. And they have >nothing to do with each other. Yes, but if C doesn't have exceptions, then I don't see why a C program wouldn't crashed as the Ada program did when they had turned off the sw exceptions. Preben