Deallocating records with task type fields.

["Gene" <gene.ressler@gmail.com>]

Please consider these declarations for a task with some task local
data:

   type Listener_Type;

   task type Listener_Task_Type(Env : access Listener_Type);

   type Listener_Type is
      record
         Port : Positive;
         Executive : Listener_Task_Type(Listener_Type'Access);
      end record;

With this, the executive task has access to the task local environment
exemplified here by a port number.

Here are the questions:

1.  Is this a good idiom for implementing task local data, or is there
some other preferable method?
2.  As I read the ALRM it is incorrect to deallocate a Listener_Type
object until the Executive task has exited.  What is a good idiomatic
way for the Executive to deallocate its own task local storage just
before it exits and without causing a race condition?  [The only ways I
can come up with seem like excessive machinery.]

Thanks in advance.