From: anon@att.net
Subject: Re: Does GNAT support a thread-free RTS?
Date: Tue, 13 Sep 2011 01:22:59 +0000 (UTC)
Date: 2011-09-13T01:22:59+00:00 [thread overview]
Message-ID: <j4mb9i$3ui$1@speranza.aioe.org> (raw)
In-Reply-To: bac766cf-8dd0-4b41-a912-a0248df9f8b7@h7g2000yqm.googlegroups.com
Packages that are used in Annex E: "Distributed Systems" must take
assurances that some system I/O operations will not cause a deadlock or
other blocks to some or all task within the Ada partition. Which means
that any package that fully supports Annex E: "Distributed Systems" must
also fully support Annex D: "Real-Time System".
But as a number of posted stated ( since 2008, when Adacore drop "Glade"
for "Polyorb" ) that Annex E is no longer fully supported in GNAT. Which
means that GNAT using "Polyorb" will not meet the criteria in Annex E. So,
it is possible that in Concurrent Ada, "Polyorb" may allow some to all
task to become blocked or an Ada partition to be completily deadlock
aka violating criteria in Annex D.
In <bac766cf-8dd0-4b41-a912-a0248df9f8b7@h7g2000yqm.googlegroups.com>, Ludovic Brenta <ludovic@ludovic-brenta.org> writes:
>I forgot to add that, as Pascal said, ZCX and SJLJ have nothing to do
>with tasking, so bringing that up in a discussion about FSU vs. native
>threads as though it had an influence is indeed misleading. My
>previous post was to clarify the present state of GNAT and the
>underlying concepts.
>
>--
>Ludovic Brenta.
>The group embraces non-linear lessons learned.
next prev parent reply other threads:[~2011-09-13 1:23 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-09-10 15:19 Does GNAT support a thread-free RTS? Simon Wright
2011-09-11 8:20 ` J-P. Rosen
2011-09-11 9:22 ` John B. Matthews
2011-09-11 9:49 ` anon
2011-09-11 10:29 ` Pascal Obry
2011-09-12 0:33 ` anon
2011-09-12 7:27 ` Simon Wright
2011-09-12 9:26 ` Ludovic Brenta
2011-09-12 9:49 ` Ludovic Brenta
2011-09-13 1:22 ` anon [this message]
2011-09-12 13:01 ` Robert A Duff
2011-09-11 10:36 ` Simon Wright
2011-09-12 7:19 ` Ludovic Brenta
2011-09-12 23:22 ` Rugxulo
2011-09-13 7:03 ` Ludovic Brenta
2011-09-13 7:55 ` Ludovic Brenta
2011-09-13 8:30 ` Simon Wright
2011-09-13 9:39 ` Georg Bauhaus
2011-09-13 12:18 ` Dmitry A. Kazakov
2011-09-13 14:02 ` Robert A Duff
2011-09-13 16:35 ` Dmitry A. Kazakov
2011-09-13 16:54 ` Georg Bauhaus
2011-09-13 20:35 ` Dmitry A. Kazakov
2011-09-13 21:22 ` Georg Bauhaus
2011-09-14 7:58 ` Dmitry A. Kazakov
2011-09-13 10:57 ` Peter C. Chapin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox