comp.lang.ada
 help / color / mirror / Atom feed
From: Duncan Sands <baldrick@free.fr>
To: comp.lang.ada@ada-france.org
Cc: Jano <notelacreas@porfavor.no>
Subject: Re: Problem with finalized protected object
Date: Wed, 7 Jul 2004 12:53:13 +0200
Date: 2004-07-07T12:53:13+02:00	[thread overview]
Message-ID: <mailman.9.1089197609.416.comp.lang.ada@ada-france.org> (raw)
In-Reply-To: <2l227jF7p6vqU1@uni-berlin.de>

> I have a program that, when ended, gives the following error:
> 
> Execution terminated by unhandled exception
> Exception name: PROGRAM_ERROR
> Message: Protected Object is finalized
> Call stack traceback locations:
> 0x8ab417b 0x8ad5d4e 0x8ad5940 0x8ad5893 0x8aab4d8

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.

Ciao,

Duncan.



  reply	other threads:[~2004-07-07 10:53 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 [this message]
2004-07-07 20:27   ` Pascal Obry
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