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,1ce6fddc56263182
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!news.in2p3.fr!in2p3.fr!kanaga.switch.ch!switch.ch!newsserver.news.garr.it!newsserver.cilea.it!not-for-mail
From: Colin Paul Gloster <Colin_Paul_Gloster@ACM.org>
Newsgroups: comp.lang.ada
Subject: Re: Ravenscar and run-time program parameters
Date: 30 Aug 2007 09:49:06 GMT
Organization: CILEA
Message-ID: <slrnfdd4ki.828.Colin_Paul_Gloster@mizar.iet.unipi.it>
References: <1188373703.936484.105650@w3g2000hsg.googlegroups.com>
 <tfb3bf.09g.ln@hunter.axlog.fr> <L_gBi.62532$Xa3.17318@attbi_s22>
NNTP-Posting-Host: mizar.iet.unipi.it
X-Trace: newsserver.cilea.it 1188467346 16341 131.114.52.167 (30 Aug 2007
 09:49:06 GMT)
X-Complaints-To: news@cilea.it
NNTP-Posting-Date: 30 Aug 2007 09:49:06 GMT
User-Agent: slrn/0.9.8.1 (Linux)
Xref: g2news2.google.com comp.lang.ada:1606
Date: 2007-08-30T09:49:06+00:00
List-Id: <comp.lang.ada>

On 2007-08-29, Jeffrey R. Carter <spam.jrcarter.not@acm.nospam.org>
wrote:

|------------------------------------------------------------------------|
|"If you've ever looked at the Ravenscar implementation of a simple      |
|bounded blocking queue between a producer and a consumer task, you know |
|that it's much more complex and difficult to get right than using a     |
|protected object with 2 entries. However, for analysis of the code, the |
|Ravenscar version is apparently better. For some SW, that is a price    |
|worth paying, especially if you use RavenSPARK and can be confident in  |
|the correctness of the code. But for others, I'd be more confident of   |
|the correctness of the version with 2 entries."                         |
|------------------------------------------------------------------------|

Why would you be more confident that one is good under some
circumstances (simply using RavenSPARK) but be more confident that the
other is good under other circumstances (simply not using RAVENSCAR)?

Regards,
Colin Paul Gloster