From: Pascal Obry <pascal@obry.org>
Subject: Re: Problem with finalized protected object
Date: 07 Jul 2004 22:27:39 +0200
Date: 2004-07-07T20:25:29+00:00 [thread overview]
Message-ID: <uiscz1s1w.fsf@obry.org> (raw)
In-Reply-To: mailman.9.1089197609.416.comp.lang.ada@ada-france.org
Duncan Sands <baldrick@free.fr> writes:
> While it's most likely that your program is wrong, it is also true
> that GNAT's finalization implementation is buggy: if you use (say)
> valgrind to watch a program mixing tasks and controlled objects
> in the right way, you quickly discover that during finalization the
> run-time system is trying to use tasking structures that it has already
> freed. This leads to "interesting" behavior on program finalization.
Just curious, do you have a reproducer ? Does this has been reported to ACT ?
Pascal.
--
--|------------------------------------------------------
--| Pascal Obry Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--| http://www.obry.org
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595
next prev parent reply other threads:[~2004-07-07 20:27 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-07-07 10:40 Problem with finalized protected object Jano
2004-07-07 10:53 ` Duncan Sands
2004-07-07 20:27 ` Pascal Obry [this message]
2004-07-07 20:42 ` Duncan Sands
2004-07-08 12:04 ` Jano
2004-07-08 12:15 ` Jano
2004-07-08 13:29 ` Duncan Sands
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox