help / color / mirror / Atom feed
From: "Randy Brukardt" <>
Subject: Re: Constancy of X'Address?
Date: Sat, 8 Apr 2023 04:03:02 -0500	[thread overview]
Message-ID: <u0rak8$1768a$> (raw)

I agree with the other answers (for the most part). Not much is guarenteed 
about 'Address. But by-reference and aliased objects have to *work* like 
they are not moved. If the runtime can deal with moving such things, Ada 
doesn't care.

As a practical matter, most Ada implementations assume objects don't move. 
Janus/Ada assigns everything at compile-time, so the only time anything 
moves is when it is created or destroyed.

The big problem with garbage collection in Ada is that early finalization is 
not allowed (other than a few tiny exceptions in failure cases and [in 
post-Ada 22] certain function results.) So any object that might have a 
controlled part can never be garbage collected, even if there is no other 
use or access to it.

Changing that is a very hard problem, as you cannot allow finalization to 
happen at any instant or by any arbitrary task (if you did, every 
finalization would be a race scenario, and every Finalize routine would need 
dedicated locking). I've suggesting allowing it for "unreachable objects" 
(not a useful definition by itself, it would need to be defined) at places 
where masters are being exited anyway (so finalization should be expected at 
those locations). But it's unclear if you can build a useful garbage 
collector that way (and what the overhead would be).


"Niklas Holsti" <niklas.holsti@tidorum.invalid> wrote in message
>A discussion in comp.arch (on the new C23 standard for C) brought up these 
>questions, which I could not answer with confidence:
> - Is the address of an object constant in Ada? That is, if I have some 
> object X in an Ada program, do repeated applications of X'Address always 
> return the same value?
> - Does the answer depend on how X is allocated (created): on the library 
> level, on the stack, or in a pool ("new")?
> The issue behind this question is whether an Ada program could use garbage 
> collection that moves objects around, for example a compacting collector. 

      parent reply	other threads:[~2023-04-08  9:03 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-04-05  9:24 Constancy of X'Address? Niklas Holsti
2023-04-07 17:04 ` Maxim Reznik
2023-04-07 17:19 ` Jeffrey R.Carter
2023-04-08  9:03 ` Randy Brukardt [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox