comp.lang.ada
 help / color / mirror / Atom feed
From: keith@telesoft.UUCP (Keith Shillington @prodigal)
Subject: Re: a tasking question for you
Date: Mon, 13-Jul-87 17:15:45 EDT	[thread overview]
Date: Mon Jul 13 17:15:45 1987
Message-ID: <8707132150.AA08928@sdcsvax.UCSD.EDU> (raw)

The situation you describe with respect to 9.10(7) is impossible.
A cannot possibly resume execution be it via TASKING_ERROR or normal
circumstances until B completes the rendezvous.  The last sentence in 
9.10(6) warrants the completion of the rendezvous.  11.5(5) and 9.5(14)
warrant the order of execution.

9.10(8) [Bonus Answer] Refers, at least, to situations such as an exception
being raised in the process of the assignment; consider, for example, the
situation where a CONSTRAINT_ERROR is raised in evaluating the right hand
side of an expression.  The task becomes abnormal, and the value of the
variable is undefined.

Keith Allan Shillington      telesoft!keith@UCSD.ARPA
...!sdcsvax!telesoft!keith.UUCP  619/457-2700x388.ATT

             reply	other threads:[~1987-07-13 21:15 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1987-07-13 21:15 Keith Shillington @prodigal [this message]
     [not found] <13@<12317696882>
1987-07-14 17:45 ` a tasking question for you stt
  -- strict thread matches above, loose matches on Subject: below --
1987-07-12  6:49 Doug Bryan
replies disabled

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