Re: Finalization of library level tasks

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 18/04/2018 00:00, Robert A Duff wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> 
>>     task body T is
>>     begin
>>        while T'Callable loop
>>           ...
>>        end loop;
>>     end T;
>>
>> must work, GNAT is correct, I am happy.
> 
> I'm not sure what you mean by "work".  GNAT correctly
> compiles that into an infinite loop, as J-P explained.
> Here's a complete example:
> 
> with Text_IO; use Text_IO;
> package Foo is
>     task T;
> end Foo;
> 
> package body Foo is
>     task body T is
>     begin
>        while T'Callable loop
>           Put_Line("Hello");
>           delay 2.0;
>        end loop;
>     end T;
> end Foo;
> 
> procedure Foo.Main is
> begin
>     null;
> end Foo.Main;
> 
> This prints "Hello" every 2 seconds until you get
> bored and kill it.

In my case it ends. So it is "fixed", unfortunately. It was not that 
useful anyway because it would not work for nested tasks which have 
exactly same problem in the case when the master is at the same level. 
It is not so notorious because programmers tend to allocate tasks 
dynamically and declare the corresponding pointer at the library level. 
So the finalization deadlock does not happen.

> I think perhaps you wanted to query Callable on the environment
> task, not T.  If so, please post a complete example, and say
> what GNAT is doing, and why you think that's wrong (or right?).

I will post an example to augment encapsulated task pattern in order to 
work around language idiosyncrasies.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de