From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Bug in GNAT? - Max_size_in_storage_elements insufficient
Date: Tue, 18 Oct 2016 14:35:15 +0200
Date: 2016-10-18T14:35:15+02:00 [thread overview]
Message-ID: <nu54u2$2uq$1@gioia.aioe.org> (raw)
In-Reply-To: nu50ch$1q33$1@gioia.aioe.org
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).
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2016-10-18 12:35 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 [this message]
2016-10-18 15:26 ` Vratislav Podzimek
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