comp.lang.ada
 help / color / mirror / Atom feed
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





  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