Re: Emulating placement new

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Florian Weimer <fw@deneb.enyo.de> writes:

> Interesting.  But think this goes into the wrong direction.  The owner
> pool still controls the allocation, Allocate_From_Subpool dispatches
> on the master pool, not the subpool.

I don't see the problem.  The allocator specifies the subpool, and
Allocate_From_Subpool takes the subpool as a parameter.  It could
dispatch on some operation of the subpool, if you want, but for
placement new, you don't even need that -- you just need the
address to allocate at.

>...So I'd still need a special
> access type type inject the owner pool.

I'm not sure what you mean.  You have to attach the "master pool"
to each access type that you want to work this way.  Is that
what you mean?

You don't need a new access type for each allocation address.
That wouldn't work anyway due to accessibility rules, which
is the weakness that subpools are trying to address.

You might also be interested in pragma Default_Storage_Pool,
which can be used to specify the pool for all access types in a
given subsystem, or (with "null") can be used to make sure
you don't forget to specify pools explicitly.

- Bob