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,f3d27f1fefd7e554
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news1.google.com!border1.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!news1.optus.net.au!optus!newsfeeder.syd.optusnet.com.au!news.optusnet.com.au!not-for-mail
From: Surfer <surfer@no.spam.net>
Newsgroups: comp.lang.ada
Subject: Re: Blocking I/O and Ravenscar
Date: Mon, 24 Sep 2007 23:29:59 +0930
Message-ID: <c1gff3158thlah9sojci0o1lukli5fum1j@4ax.com>
References: <1190408890.068176.182160@n39g2000hsh.googlegroups.com>
 <LU0Ji.97568$Xa3.74710@attbi_s22>
 <1190495840.472000.321860@19g2000hsx.googlegroups.com>
 <vp9df3p4o9u55on11ecse9h179d2rv4b2n@4ax.com> <wvbrd4w8sadt.fsf@sun.com>
X-Newsreader: Forte Free Agent 2.0/32.652
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
NNTP-Posting-Host: 58.110.86.176
X-Trace: 1190642325  6925 58.110.86.176
X-Original-Bytes: 2189
Xref: g2news2.google.com comp.lang.ada:2113
Date: 2007-09-24T23:29:59+09:30
List-Id: <comp.lang.ada>

On 24 Sep 2007 11:03:42 +0200, Ole-Hjalmar Kristensen
<ole-hjalmar.kristensen@substitute_employer_here.com> wrote:

>Hmmm. Why not use the rendezvous for implementing CSP communication?
>It would seem to be a much closer match than protected objects.
>

Its because the authors are considering the Ravenscar profile which
requires zero entries per task. That means that no Ada rendezvous are
possible.

However, implementation of CSP communication within the Ravenscar
profile, allows CSP rendezvous to be used in place of Ada rendezvous.

According to the paper[1]:

"Ada has proven successful in the area of high integrity sys-
tems development, but its tasking model is hard to reason about. Thus,
Ravenscar has been defined as a restricted subset of the Ada tasking
model, which meets the requirements of producing analysable and de-
terministic code."

The authors also write:

"This allows us to transform the data-oriented asynchronous tasking
model of Ravenscar into the cleaner, and better understood,
message-passing synchronous model of CSP."

So they seem to consider the CSP tasking model to be easier to reason
about than those of either Ada or Ravenscar.


[1]  Communicating Ada Tasks (2003)  
http://citeseer.ist.psu.edu/577581.html

[2] Extending Ravenscar with CSP Channels
http://www.springerlink.com/index/j7h8rr665r0x20n9.pdf