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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,de183036289811c4
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-06-19 12:06:38 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!fu-berlin.de!uni-berlin.de!dialin-145-254-037-044.arcor-ip.NET!not-for-mail
From: Dmitry A.Kazakov <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Requeue in GNAT 3.14p (Linux)
Date: Thu, 20 Jun 2002 09:11:54 +0200
Message-ID: <aeqkns$910lo$1@ID-77047.news.dfncis.de>
References: <im01hu8h0m6u108jfu2rfapusepqvnh5v4@4ax.com>
 <ud6unjqkx.fsf@wanadoo.fr>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: dialin-145-254-037-044.arcor-ip.net (145.254.37.44)
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7Bit
X-Trace: fu-berlin.de 1024513597 9470648 145.254.37.44 (16 [77047])
User-Agent: KNode/0.4
Xref: archiver1.google.com comp.lang.ada:26421
Date: 2002-06-20T09:11:54+02:00
List-Id: <comp.lang.ada>

Pascal Obry wrote:

> Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> writes:
> 
>> The following code is the distilled problem. When a chain of external
>> requeues returns back to a protected object it causes a hang-up on the
>> last requeue. It happens in GNAT 3.14p under Linux. Interestingly is
>> that under Windows NT it works. I found nothing in ARM that forbids
>> that. Is it a GNAT bug?
> 
> You can't have IO in a protected object.

Sure, but it works in GNAT, which is nice when debugging is needed.

>Does it hang if you remove the IO?

Yep.

BTW, Windows version allows some things that are bouded errors according to 
ARM. For instance, [if I correctly remember] one can do an external call to 
a procedure of same protected object and it will not hang. But Linux 
version will hang. But this is of course OK according to ARM. Though it is 
a nastsy kind of error which is very hard to track down.

-- 
Regards,
Dmitry Kazakov
www.dmitry-kazakov.de