From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Comprehending subpools
Date: Fri, 15 Jun 2018 09:15:00 +0200
Date: 2018-06-15T09:15:00+02:00 [thread overview]
Message-ID: <pfvp1k$ph4$1@gioia.aioe.org> (raw)
In-Reply-To: pfum9o$qi7$1@franka.jacob-sparre.dk
On 2018-06-14 23:21, Randy Brukardt wrote:
> The use case is situations when you have separable data structures that it
> only makes sense to treat as a whole. Think of an expression tree in a
> compiler. There are a lot of inter-structure links, so a reference counting
> scheme for every pointer doesn't work. Rather, you can use a subpool and
> only reference count the references to the entire tree. When that goes to
> zero, you use the subpool to clobber the entire structure. Alternatively,
> you might have weak references to the tree, that automatically get nulled
> when the tree is clobbered.
I think the questions rather were:
1. What is so special about arena or a mark-and-release pool that it
cannot be handled by a user-defined pool in Ada 95?
2. Arena is inherently unsafe whatever implementation used. So all talk
about "safety" does not make much sense.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2018-06-15 7:15 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-06-14 13:48 Comprehending subpools sbelmont700
2018-06-14 21:21 ` Randy Brukardt
2018-06-15 7:15 ` Dmitry A. Kazakov [this message]
2018-06-15 22:15 ` Randy Brukardt
2018-06-16 7:36 ` Dmitry A. Kazakov
2018-06-19 0:32 ` sbelmont700
2018-06-29 19:57 ` Randy Brukardt
2018-06-29 22:42 ` Shark8
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox