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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,5e062f5bcdb88fd8
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: "Alex R. Mosteo" <devnull@mailinator.com>
Newsgroups: comp.lang.ada
Subject: Re: gnat 3.15p/Windows and tasking bug
Date: Tue, 25 Jul 2006 09:33:03 +0200
Message-ID: <4ilvkbF4btrqU1@individual.net>
References: <ea2gl4$r6n$1@online.de> <4ik2m3F45ofgU1@individual.net>
 <ea351v$2ir$1@online.de>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7Bit
X-Trace: individual.net MrpwBWvDR8/yADLtnucWGAIqJY83xUIqufT1JolFojjcwyUZg=
User-Agent: KNode/0.10.2
Xref: g2news2.google.com comp.lang.ada:5911
Date: 2006-07-25T09:33:03+02:00
List-Id: <comp.lang.ada>

Michael Bode wrote:

> "Alex R. Mosteo" <devnull@mailinator.com> writes:
> 
>> https://svn.mosteo.com/public/adagio/gnatpatch/
>>
>> I strongly suspect the only one with modifications is s-tasren.adb, the
>> others are simply there because they had to be recompiled because of
>> dependencies. However this is just a fuzzy recall.
> 
> Thanks. The only difference apart from revision numbers is in
> s-osprim.adb in line 165:
> 
> Base_Monotonic_Clock := Base_Clock;

Now that you point it, it rings a bell: it was in fact s-osprim.adb and that
was the change.

>> What I can say is that when recompiling these files and linking them with
>> my program, the bug went away.
> 
> Mine went away when I started to insert debugging code. Seems to be
> a Heisenbug :-(

A Bad Thing, I'm sorry. If you can get the archive of the old Gnat list
(I've been unable myself after five minutes), I posted there a testcase
that helped me, with the aid of several people, to test for this bug. It
was a simple program with a lot of tasks that usually triggered the bug in
few minutes. Nobody in that list knew of the bug, so we hunted for it in
several platforms. 

Best,

A. Mosteo.