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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,eb0daafec4ae827a
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!docenti.ing.unipi.it!o2943499
From: Colin Paul Gloster <Colin_Paul_Gloster@ACM.org>
Newsgroups: comp.lang.ada
Subject: Re: High-integrity networking
Date: Mon, 8 Oct 2007 18:03:30 +0200
Organization: CILEA
Message-ID: <20071008175356.W2321@docenti.ing.unipi.it>
References: <1191845623.383675.190820@d55g2000hsg.googlegroups.com>
Reply-To: Colin Paul Gloster <Colin_Paul_Gloster@ACM.org>
NNTP-Posting-Host: docenti.ing.unipi.it
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed
X-Trace: newsserver.cilea.it 1191859409 11369 131.114.28.20 (8 Oct 2007
 16:03:29 GMT)
X-Complaints-To: news@cilea.it
NNTP-Posting-Date: 8 Oct 2007 16:03:29 GMT
X-X-Sender: o2943499@docenti.ing.unipi.it
In-Reply-To: <1191845623.383675.190820@d55g2000hsg.googlegroups.com>
Xref: g2news2.google.com comp.lang.ada:2355
Date: 2007-10-08T16:03:29+00:00
List-Id: <comp.lang.ada>

On Mon, 8 Oct 2007, Maciej Sobczak wrote:

|----------------------------------------------------------------------|
|"Ravenscar describes the language subset and the usage patterns for   |
|multitasking within a single process."                                |
|----------------------------------------------------------------------|

RAVENSCAR is not about patterns. I do not believe that even Tullio
Vardanega claimed that in his paper "Ravenscar design patterns?:
reflections on use of the Ravenscar profile".

A RAVENSCAR task is a process. Multiple threads inside one process are
not possible in RAVENSCAR.

|----------------------------------------------------------------------|
|"I'm interested in patterns and solutions for high-reliability        |
|networking/middleware.                                                |
|                                                                      |
|Just "extrapolating" Ravenscar to the distributed environment can lead|
|to some imaginably constrained environment where [..]                 |
|[..], the types (and lengths) of messages are                         |
|known up front, etc.                                                  |
|There are some start-up issues with ensuring all these constraints    |
|(for example, the locations of other nodes would need to be first read|
|from some configuration file/database before the connections can be   |
|established, etc., [..]                                               |
|                                                                      |
|[..]"                                                                 |
|----------------------------------------------------------------------|

RAVENSCAR is not intrinsically specific to the packet-switching
paradigm.

Regards,
Colin Paul Gloster