From: "chris.danx" <chris.danx@ntlworld.com>
Subject: Re: tasks, protected types and entries
Date: Sun, 17 Mar 2002 14:55:17 -0000
Date: 2002-03-17T14:55:17+00:00 [thread overview]
Message-ID: <562l8.9685$%_6.1720374@news11-gui.server.ntli.net> (raw)
In-Reply-To: %12l8.9656$%_6.1717935@news11-gui.server.ntli.net
"chris.danx" <chris.danx@ntlworld.com> wrote in message
news:%12l8.9656$%_6.1717935@news11-gui.server.ntli.net...
> Hi,
>
> What is the difference between an entry and a procedure? I think the
> difference is that a procedure will always execute regardless of any
> condition, but that an entry can have a guard to allow/prevent its
execution
> if a given condition is satisfied.
>
> So for a (protected) queue, the procedure Enqueue (someitem) would run in
> any circumstance and the entry Dequeue (an_item: out sometype) would run
> only when it is sensible to do so. i.e. when there are items in the
Queue.
That's ambiguous. I meant to say,
"the procedure Enqueue (someitem) would run when called, but the entry
Dequeue (an_item : out sometype) would run when called, but only when it
made sense to do so. i.e. when there are items in the Queue."
Another thought: Calls to entries can time out, right? Does that mean
after a certain time of the Queue being empty the calling task will abandon
the call to Dequeue, possibly doing something else?
Chris
next prev parent reply other threads:[~2002-03-17 14:55 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-03-17 14:50 tasks, protected types and entries chris.danx
2002-03-17 14:55 ` chris.danx [this message]
2002-03-17 15:46 ` Jim Rogers
2002-03-17 16:49 ` Sergey Koshcheyev
2002-03-17 19:46 ` Robert A Duff
2002-03-17 19:44 ` Richard Riehle
2002-03-17 20:06 ` Ehud Lamm
2002-03-17 21:53 ` Pat Rogers
2002-03-18 1:42 ` Jeffrey Carter
2002-03-18 5:14 ` Pat Rogers
2002-03-18 0:36 ` Bo Sanden
2002-03-29 0:10 ` chris.danx
2002-03-18 16:41 ` john mann
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox