From: Vratislav Podzimek <vratislav.podzimek@gmail.com>
Subject: Re: Bug in GNAT? - Max_size_in_storage_elements insufficient
Date: Tue, 18 Oct 2016 15:26:25 +0000 (UTC)
Date: 2016-10-18T15:26:25+00:00 [thread overview]
Message-ID: <nu5ev1$lgp$1@gioia.aioe.org> (raw)
In-Reply-To: nu54u2$2uq$1@gioia.aioe.org
On Tue, 18 Oct 2016 14:35:15 +0200, Dmitry A. Kazakov wrote:
> On 18/10/2016 13:17, Vratislav Podzimek wrote:
>
>> Or am I missing something?
>
> A storage pool requires additional space to organize its structure and
> maintain its state. Depending on the method it is usually impossible to
> estimate the exact number of object the pool may hold. It depends on
> the individual sizes of the objects, the history of object's allocation
> and deallocation, the history of claiming the memory for the parts of
> the pool from the OS (a pool can be segmented).
Well, then it's at least a bug in [Barnes] because there's an example
like the above ones just with a simpler type. But I still think the idea
here is/was to provide enough space for N items of some type. That's what
the 'Max_size_in_storage_elements' attribute should be good for. And
there's no fragmentation nor history of allocation/deallocation in my
case. If I specify I want space for 4 records, I should get space for 4
records. Not slightly less due to some hidden, unpredictable overhead.
next prev parent reply other threads:[~2016-10-18 15:26 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-10-18 11:17 Bug in GNAT? - Max_size_in_storage_elements insufficient Vratislav Podzimek
2016-10-18 12:35 ` Dmitry A. Kazakov
2016-10-18 15:26 ` Vratislav Podzimek [this message]
2016-10-18 16:03 ` Dmitry A. Kazakov
2016-10-19 1:39 ` Luke A. Guest
2016-10-19 7:33 ` Dmitry A. Kazakov
2016-10-20 0:59 ` Randy Brukardt
2016-10-19 15:45 ` Eryndlia Mavourneen
2016-10-19 15:53 ` Eryndlia Mavourneen
2016-10-19 13:34 ` Egil H H
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox