Re: Interrupts handling in ADA

[Ada BRL <ada.brl.2011@gmail.com>]

On 13 Dic, 18:18, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
wrote:
> On Tue, 13 Dec 2011 09:55:54 -0800 (PST), Ada BRL wrote:
> > On 13 Dic, 15:34, Simon Wright <si...@pushface.org> wrote:
> >> Simon Wright <si...@pushface.org> writes:
> >> The relevant section of the ARM is 9.7.1, Selective Accept, and it'd
> >> have looked like
>
> >>    select
> >>       when not Buffer.Is_Empty =>
> >>          accept Get (M : out Message) do
> >>             M := ...
> >>          end Get;
> >>       or
> >>          accept Put ...
>
> > Does this means that if the Buffer is empty I will accept the Put
> > instead of Get? So the "or" refers to the condition before "=>"
>
> When Buffer is empty, only Put is accepted. It is said that Get is
> "closed." When Get is "open" (Put is always "open") then either Put or Get
> is accepted in an unspecified order (when both have queued tasks).
>
> --
> Regards,
> Dmitry A. Kazakovhttp://www.dmitry-kazakov.de

So, when buffer is NOT empty I will execute Get AND Put if both have
queued tasks (I cannot know a-priori the order of execution) or Get OR
Put if only one of the two has queued tasks.