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,FREEMAIL_FROM,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,115bda8caeda5fa4
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.58.162 with SMTP id s2mr800268pbq.20.1315876982433;
        Mon, 12 Sep 2011 18:23:02 -0700 (PDT)
MIME-Version: 1.0
Path: 
 m9ni5037pbd.0!nntp.google.com!news1.google.com!news.glorb.com!feeder.erje.net!feeder.news-service.com!aioe.org!.POSTED!not-for-mail
From: anon@att.net
Newsgroups: comp.lang.ada
Subject: Re: Does GNAT support a thread-free RTS?
Date: Tue, 13 Sep 2011 01:22:59 +0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <j4mb9i$3ui$1@speranza.aioe.org>
References: <m2sjo44e8r.fsf@pushface.org> <j4hqvt$6pa$1@dont-email.me>
 <bac766cf-8dd0-4b41-a912-a0248df9f8b7@h7g2000yqm.googlegroups.com>
Reply-To: anon@anon.org
NNTP-Posting-Host: 8Ra+k6dJn+7wHdsKxdGJaw.user.speranza.aioe.org
X-Complaints-To: abuse@aioe.org
X-Notice: Filtered by postfilter v. 0.8.2
X-Newsreader: IBM NewsReader/2 2.0
Xref: news1.google.com comp.lang.ada:17935
Date: 2011-09-13T01:22:59+00:00
List-Id: <comp.lang.ada>

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.