Re: Storage management

[Niklas Holsti <niklas.holsti@tidorum.invalid>]

Dmitry A. Kazakov wrote:
> I have a general question. Does anybody use abort
> and asynchronous transfer of control?

I do, to set a limit on the running time of a possibly lengthy 
procedure Analyse:

     select
        delay Opt.Max_Analysis_Time;
        Output.Error ("Maximum analysis time exceeded.");
     then abort
        Analyse;
     end select;

> After all, there is no chance to have them reasonably working anyway.

It seems to work for me (GNAT 3.15p), except that I had to add a 
dummy "delay 0.1" at the end of the main subprogram. Otherwise the 
program would sometimes hang indefinitely in the termination phase. 
This program has no tasks, so the abort and ATC are the only form 
of concurrency.

> How about to remove that stuff altogether and make a far more important
> finalization right and fast?

Isn't pragma Restrictions (No_Select_Statements) enough? Or is it 
too strong, and a new restriction specifically for ATC would be better?

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .