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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,5a05d88755a62a0e
X-Google-Attributes: gid103376,public
From: brashear@ns1.sw-eng.falls-church.va.us (Philip Brashear)
Subject: Re: Asynchronous Transfer of Control
Date: 1996/10/21
Message-ID: <54fnb1$5m7@ns1.sw-eng.falls-church.va.us>#1/1
X-Deja-AN: 190921264
references: <32656457.1A76@csehp1.mdc.com> <DzFAMr.6DG@world.std.com>
 <DzH5n3.2rE@thomsoft.com> <dewar.845732555@merv>
organization: None
newsgroups: comp.lang.ada
Date: 1996-10-21T00:00:00+00:00
List-Id: <comp.lang.ada>


In article <dewar.845732555@merv>, Robert Dewar <dewar@merv.cs.nyu.edu> wrote:
>Ken said
>
>"Give ObjectAda for Windows a try.  It does preemptive abort without
>polling.  It's implemented by suspending the thread, then
>resuming it at some run-down code.  For ATC, the run-down code
>longjmp's back to the correct place.  For an abort, it finalizes
>everything and terminates the thread."
>
>Presumably you only suspend the thread if it is not in an abort deferred
>region, but indeed if you have the capability of suspend at an arbitrary
>point and resume somewhere else you can do what you want.
>
>Note that ObjectAda is validated for Annex D, the real time Annex, this
>tells you right away that it has immediate abort, since that is one of
>the requirements.


Actually, ObjectAda for Windows did pass all the Annex D tests (except the one
Robert referred to), but we can't quite characterize that as being "validated
for Annex D".  Under ACVC 2.0, implementations are validated (or not) without
regard to the Specialized Needs Annexes.  If an implementation chooses to try
one or more of the SA Annexes, the results are reported in an attachment to the
certificate.  There is no certification for an SA Annex.  (The UNIX versions
of ObjectAda, validated under ACVC 2.0.1, did not attempt any of the Annex D
tests.)

Yes, this is somewhat picky, but that's what validation and certification are
all about -- being picky.

Phil Brashear
CTA INCORPORATED