Re: Problem with Delay Alternative in Finalization

[Tim McGuire <mcguire_tm2@yahoo.com>]

I know about the task identification, the original code is a lot more
complex than the simple example I provided.

In the original code, Initialize actually calls another function which
has the select with the delay alternative, since sometimes the token
functionality is used directly rather than through finalization. I had
notice the direct use of the token did function properly, it was only
when used in finalization that it wasn't working.

The code works fine under Solaris with the Rational compiler, so is it
a GNAT issue? Or should it have not worked to start with?

And why doesn't the program crash on the Program_Error, rather than
just hang indefinitely?


On Sat, 19 May 2012 08:12:55 +0200, "Dmitry A. Kazakov"
<mailbox@dmitry-kazakov.de> wrote:

>On Fri, 18 May 2012 21:30:31 -0500, Tim McGuire wrote:
>
>> I am running in to a problem where a delay alternive used when in
>> finalization doesn't seem to be working properly.
>> The delay part never seems to happen.
>
>It is Program_Error to propagate an exception from Initialize, which is
>what I think happens when you raise Lock_Timeout_Exception.
>
>BTW, you can use task identification in order to allow reentrant locks.