From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: ***
X-Spam-Status: No, score=3.8 required=5.0 tests=BAYES_00,INVALID_MSGID,
	RATWARE_MS_HASH,RATWARE_OUTLOOK_NONAME autolearn=no autolearn_force=no
	version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a769f1543f681862,start
X-Google-Attributes: gid103376,public
From: "Sean Lane Fuller" <fuller@hap.arnold.af.mil>
Subject: Question: VADSself Ada Tasking on DEC Alpha Digital UNIX
 Multiprocessor
Date: 1997/04/22
Message-ID: <01bc4f41$f609fed0$0b598986@greg2>#1/1
X-Deja-AN: 237656939
Organization: Arnold Engineering Development Center
Newsgroups: comp.lang.ada
Date: 1997-04-22T00:00:00+00:00
List-Id: <comp.lang.ada>


Help.  It seems to me that on the DEC Alpha
platform, Ada tasking does not free up
allocated task memory after the task has
exited.  Is this right?  Is there a work around?
I have attached a small sample code that should be able
to run forever, but instead steadily allocates memory.
I can leave out the unchecked_deallocation
in the sample code and I get the same problem.
The problem does not exist on the NT platform.
I hope you can help me out.  Reply to fuller@hap.arnold.af.mil.
Thanks.  I'll summarize the replies back to the
newsgroup if anybody mails me expressing an interest.

with text_io; use text_io;
with unchecked_deallocation;

procedure swamp is
        task type tiny_task;
        task body tiny_task is
        begin
                delay 1.0;
        end;
begin
        declare
                type access_tiny_task is access tiny_task;
                n : access_tiny_task;
                procedure free is new
                        unchecked_deallocation(tiny_task,
access_tiny_task);
        begin
                while true
                loop
                        n := new tiny_task;
                        while n'callable
                        loop    delay 0.1;
                        end loop;
                        free(n);
                end loop;
        end;
end;