From: Mendal@SIERRA.STANFORD.EDU (Geoff Mendal)
Subject: Re: All possible results?
Date: Fri, 4-Sep-87 15:50:15 EDT [thread overview]
Date: Fri Sep 4 15:50:15 1987
Message-ID: <12331994725.14.MENDAL@Sierra.Stanford.EDU> (raw)
In-Reply-To: ie53%NTSUVAX.BITNET@wiscvm.wisc.edu
"accepted" must be printed no matter what implementation the
program is executed on. TASKING_ERROR cannot occur as a result
of kill calling t.a (at least, not in this simple program).
The semantics of the terminate alternative guarantee that the task
(task a) cannot complete while any other task (in this case, the
thread of control executing procedure kill) can call one of a's
entries. For details, read RM 9.4 and 9.7.1(10).
gom
-------
next parent reply other threads:[~1987-09-04 19:50 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <ie53%NTSUVAX.BITNET@wiscvm.wisc.edu>
1987-09-04 19:50 ` Geoff Mendal [this message]
1987-09-04 18:48 All possible results? HAERIM LEE
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox