From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Unchecked_Conversion and task pointer.
Date: Tue, 12 Jul 2005 10:13:57 +0200
Date: 2005-07-12T10:12:55+02:00 [thread overview]
Message-ID: <29tci5buk8ik.12z8wzs6awbnb.dlg@40tude.net> (raw)
In-Reply-To: gbCdnXzt_aECJE_fRVn-ug@megapath.net
On Mon, 11 Jul 2005 13:28:42 -0500, Randy Brukardt wrote:
> Well, you can't ignore the prefix (it determines whether it is an internal
> or external requeue).
This must be fixed anyway. There is no safe way to statically determine if
a requeue is internal (in Ada 95 it had a quite nasty consequences, like a
program which legality was dependent on whether at run-time a barrier was
open or not.)
For class-wide objects the idea of protected actions should be refined: let
A extend B. Is a protected action on X of A, the same or a different action
on B(X)? What about B'Class(X), A'Class(X)? Further, for multi-methods, let
both tagged arguments resolve to the same type tag, but different objects.
Will it start two actions?
> It certainly doesn't work with the
> "use a procedure like an entry" model, because it would make no sense to
> requeue on a procedure.
Hmm, if a procedure is like an always open entry, then why not to continue
the current protected action while calling the procedure? The action is
completed with return from the procedure.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2005-07-12 8:13 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-07-07 15:50 Unchecked_Conversion and task pointer e.coli
2005-07-07 18:56 ` Randy Brukardt
2005-07-07 21:39 ` e.coli
2005-07-09 6:23 ` Simon Wright
2005-07-07 20:18 ` Dmitry A. Kazakov
2005-07-07 21:31 ` Randy Brukardt
2005-07-08 7:48 ` Dmitry A. Kazakov
2005-07-10 1:42 ` Randy Brukardt
2005-07-10 8:26 ` Dmitry A. Kazakov
2005-07-11 18:28 ` Randy Brukardt
2005-07-12 8:13 ` Dmitry A. Kazakov [this message]
2005-07-12 20:30 ` Randy Brukardt
2005-07-13 8:11 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox