From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,bdf72b2364b0da13
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Received: by 10.68.212.232 with SMTP id nn8mr13360578pbc.1.1323800360566;
        Tue, 13 Dec 2011 10:19:20 -0800 (PST)
Path: 
 lh20ni18589pbb.0!nntp.google.com!news2.google.com!goblin1!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Interrupts handling in ADA
Date: Tue, 13 Dec 2011 19:18:41 +0100
Organization: cbb software GmbH
Message-ID: <1xxdv2x1g239r.1wuequmfxrwcd$.dlg@40tude.net>
References: <30143086.6.1323549838421.JavaMail.geo-discussion-forums@vbbfq24>
 <m2ty589i5g.fsf@pushface.org>
 <6df577eb-9c6a-4f82-95e4-817f6ad1ba6e@r6g2000yqr.googlegroups.com>
 <m2hb14a4t9.fsf@pushface.org> <m2d3bsa3jk.fsf@pushface.org>
 <515d5501-c89b-4a9d-82b6-ec3539a0c2cf@r6g2000yqr.googlegroups.com>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: QiAlLrcAYONeImYCedImjw.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
Date: 2011-12-13T19:18:41+01:00
List-Id: <comp.lang.ada>

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. Kazakov
http://www.dmitry-kazakov.de