Re: Problem with Delay Alternative in Finalization

[Simon Wright <simon@pushface.org>]

Simon Wright <simon@pushface.org> writes:

> Tim McGuire <mcguire_tm2@yahoo.com> writes:
>
>> 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.
>
> I ran this (after correcting a couple of minor compilation problems) on
> a Mac. Using both GNAT GPL 2011 and GCC 4.7.0, the appearance on-screen
> is as though the timeout didn't occur:
>
>    $ ./token_test 
>    Got Token
>    Token timed out!
>
> With both compilers, the debugger shows that the Lock_Timeout_Exception
> did in fact happen. What happens next is confused .. Dmitry is probably
> right.

D'oh.

At 3 a.m. I realised what the problem is (at any rate, with the example
code; not sure whether this would affect the real thing).

As Bob Duff has already said, the exception when tryining to initialise
Token_2 means that the declare block is never entered. Try

   declare
      Token : Test_Lock_Token.Lock_Token;
   begin
      Ada.Text_IO.Put_Line ("Got Token");
      begin
         declare
            Token_2 : Test_Lock_Token.Lock_Token;
         begin
            null;
         end;
         Ada.Text_IO.Put_Line ("Got Token_2");
      exception
         when Errors : Test_Lock_Token.Lock_Timeout_Exception =>
            Ada.Text_IO.Put_Line ("Token_2 timed out!");
      end;
   exception
      when Errors : Test_Lock_Token.Lock_Timeout_Exception =>
         Ada.Text_IO.Put_Line("Token timed out!");
   end;