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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,743bde81fe3a3a6
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newscon06.news.prodigy.com!prodigy.net!newspeer.monmouth.com!newsfeed.icl.net!newsfeed.fjserv.net!oleane.net!oleane!hunter.axlog.fr!nobody
From: Jean-Pierre Rosen <rosen@adalog.fr>
Newsgroups: comp.lang.ada
Subject: Re: [GNAT 3.15p] Unexpected exception in Protected_Entry_Call
Date: Mon, 13 Mar 2006 16:57:54 +0100
Organization: Adalog
Message-ID: <2q44vd.tlc.ln@hunter.axlog.fr>
References: <878xrecu32.fsf@mid.deneb.enyo.de>
NNTP-Posting-Host: mailhost.axlog.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: s1.news.oleane.net 1142265678 1859 195.25.228.57 (13 Mar 2006
 16:01:18 GMT)
X-Complaints-To: abuse@oleane.net
NNTP-Posting-Date: Mon, 13 Mar 2006 16:01:18 +0000 (UTC)
User-Agent: Thunderbird 1.5 (Windows/20051201)
In-Reply-To: <878xrecu32.fsf@mid.deneb.enyo.de>
Xref: g2news1.google.com comp.lang.ada:3338
Date: 2006-03-13T16:57:54+01:00
List-Id: <comp.lang.ada>

Florian Weimer a �crit :
> I'm seeing a strange exception raised by
> System.Tasking.Protected_Objects.Operations.Protected_Entry_Call,
> in this code:
> 
>       if Ceiling_Violation then
> 
>          --  Failed ceiling check
> 
>          Initialization.Undefer_Abort (Self_ID);
>          raise Program_Error;
>       end if;
> 
> The exception is apparently triggered by a simple conditional entry
> call which is cancelled.  So far, I've only seen this issue on SMP
> systems (more precisely: Linux/i386 and Linux/AMD64 (with 32-bit
> userland) with NPTL).
> 
> The strange thing is that I don't use any fancy priorities, so I'm
> surprised that the run-time system detects a ceiling violation.
This rings an old bell...

I think that there was a bug in 3.15 around those lines, due to an 
unitialized priority in some data structure. Did you try it with a 
recent version of the compiler?

-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr