comp.lang.ada
 help / color / mirror / Atom feed
From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
Subject: Re: Q: Profiles
Date: Fri, 05 Nov 2010 12:50:50 +0100
Date: 2010-11-05T12:50:50+01:00	[thread overview]
Message-ID: <4cd3ef9a$0$6987$9b4e6d93@newsspool4.arcor-online.net> (raw)
In-Reply-To: <op.vlo3wkceule2fv@garhos>

On 11/5/10 12:37 PM, Yannick Duchêne (Hibou57) wrote:
> Le Fri, 05 Nov 2010 12:05:42 +0100, Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de> a écrit:
>
>> The Ravenscar profile (and the Restricted profile in GNAT)
>> assume we want our tasks to run forever. Programs will be
>> supported by a lean and efficient run-time.
>>
>> What if I just want the lean and efficient Ravenscar run-time
>> but do want my tasks to terminate?
> What is the impact of using a system designed to run for ever for an application which is expected to run short or not very long ?

Part of the system (run-time system?) is that it is lean
and efficient.

Assume programs tat are designed to run for a few days.
Their communication structure is easily expressed
since  the tasks communicate along very few lines.

No fancy tasking things (Ravenscar is on).

Basically, the tasks express independent sequences of
statement whose results is to be coordinated every once
in a while, and when they have finished.



  reply	other threads:[~2010-11-05 11:50 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-11-05 11:05 Q: Profiles Georg Bauhaus
2010-11-05 11:37 ` Yannick Duchêne (Hibou57)
2010-11-05 11:50   ` Georg Bauhaus [this message]
2010-11-05 20:14 ` Vinzent Hoefler
2010-11-05 20:59   ` Georg Bauhaus
2010-11-05 21:28     ` Vinzent Hoefler
2010-11-05 23:11       ` Ed Falis
2010-11-06  0:03         ` Georg Bauhaus
2010-11-06  3:27         ` Yannick Duchêne (Hibou57)
2010-11-06 14:43           ` Ed Falis
2010-11-06 14:53             ` Ludovic Brenta
2010-11-06 18:51               ` Ed Falis
2010-11-09 11:04 ` Matteo Bordin
2010-11-09 11:40   ` Georg Bauhaus
2010-11-09 13:09     ` Matteo Bordin
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox