Re: Freeing access-to-task objects

["J-P. Rosen" <rosen@adalog.fr>]

Le 30/09/2022 à 12:16, Emmanuel Briot a écrit :
> Please find a new blog post at:
> 
> https://deepbluecap.com/freeing-task-access-objects/
> 
> Abstract:
> Freeing Ada tasks could result in accessing freed memory. This post describes the proper way of freeing access-to-task objects.

I don't like an active loop to wait for task termination. There are 
other ways:
1) declare the access type in a block, which is then the master of the 
tasks. When you exit the block, the tasks are terminated.
2) declare in the tasks an entry which is never accepted, then call this 
entry from the main. When the task terminates, it raises tasking_error 
in the (unserved) callers - you can free the task from the exception 
handler.

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52
https://www.adalog.fr