From: wtwolfe@hubcap.UUCP (Bill Wolfe)
Subject: A belated discovery re: garbage collection
Date: 14 Jan 89 18:50:32 GMT [thread overview]
Message-ID: <4086@hubcap.UUCP> (raw)
While reading my trusty ANSI/MIL-STD-1815A, I belatedly discovered
section 4.8 (10), which states:
The pragma CONTROLLED informs the implementation that automatic
storage reclamation must not be performed for objects designated
by values of the access type, except upon leaving the innermost
block statement, subprogram body, or task body that encloses the
access type declaration, or after leaving the main program.
pragma CONTROLLED (access_type_simple_name);
My apologies to anyone who might have concluded from my articles
that such a capability did not currently exist.
In the interests of standardization, and in light of Barry's statements
regarding the advanced nature of recent GC algorithms (which I shall
accept at face value despite his failure to send me a description of
these algorithms, or at least references to the literature), I do
support the idea that GC should be mandatory in Ada, in conjunction
with the continued presence of the pragma CONTROLLED. There remains
a need to completely define the storage consumption associated with
parameter passing, and to provide integration of ADT deallocation
procedures into the block exit mechanism.
Bill Wolfe
wtwolfe@hubcap.clemson.edu
next reply other threads:[~1989-01-14 18:50 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1989-01-14 18:50 Bill Wolfe [this message]
1989-01-16 15:59 ` A belated discovery re: garbage collection Carol Thompson
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox