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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: How to get Ada to ?cross the chasm??
Date: Fri, 11 May 2018 18:45:18 +0200
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <pd4hau$on2$1@dont-email.me>
References: <fl8lgcF9dqgU1@mid.individual.net> <pcnem2$19mn$1@gioia.aioe.org>
 <fl938cFchk8U1@mid.individual.net> <pcnqgm$1tb4$1@gioia.aioe.org>
 <87k1sg2qux.fsf@nightsong.com> <pcov1b$1cvt$1@gioia.aioe.org>
 <87h8njmk4r.fsf@nightsong.com> <pcq81a$1n85$1@gioia.aioe.org>
 <87po27fbv9.fsf@nightsong.com> <flemg6FkatpU1@mid.individual.net>
 <87in7x62vw.fsf@nightsong.com> <flh2g3F5sg3U1@mid.individual.net>
 <878t8szdtk.fsf@nightsong.com> <fljpeuFogvdU1@mid.individual.net>
 <ivj9fddvde7n7lobbmlpsu0unnm8eeuenf@4ax.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 11 May 2018 16:45:18 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="91bbabde4c4a7b1530329779f491978e";
	logging-data="25314"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18ouC7MhtQpsItWvGSzkhBue//LfBSlmwE="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
 Thunderbird/52.7.0
In-Reply-To: <ivj9fddvde7n7lobbmlpsu0unnm8eeuenf@4ax.com>
Content-Language: en-US
Cancel-Lock: sha1:YN9pYLX9ENKSNslF5CjCE+PUQvM=
Xref: reader02.eternal-september.org comp.lang.ada:52277
Date: 2018-05-11T18:45:18+02:00
List-Id: <comp.lang.ada>

On 05/11/2018 01:15 AM, Dennis Lee Bieber wrote:
> 
> 	Even Ada's tasking wasn't allowed -- apparently because the RTL isn't
> deterministic enough. Instead, some minimal RTOS was embedded into the
> application environment and Ada procedures were activated as tasks in the
> RTOS (with defined stack sizes, priorities, etc.).

Most such claims were false. Every reported case that I saw of real-time S/W 
that actually used Ada-83 tasking as it was meant to be used worked fine. In 
some cases where tasking wasn't used, when I dug down far enough, the real 
reason was that the developers didn't understand concurrency. On DOD cost-plus 
contracts, such unproven claims were used to increase profits.

There may be cases where tasking was used, was shown to be unacceptable, and so 
tasking was not used in the final S/W. However, I've never heard of one.

-- 
Jeff Carter
"C++: The power, elegance and simplicity of a hand grenade."
Ole-Hjalmar Kristensen
90