From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,126b9ecb088e6bfd
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-10-13 11:53:21 PST
Path: 
 archiver1.google.com!news2.google.com!news.maxwell.syr.edu!in.100proofnews.com!in.100proofnews.com!attla2!ip.att.net!attbi_feed3!attbi_feed4!attbi.com!sccrnsc04.POSTED!not-for-mail
Message-ID: <3F8AF474.206@comcast.net>
From: "Robert I. Eachus" <rieachus@comcast.net>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US;
 rv:1.0.2) Gecko/20021120 Netscape/7.01
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: using 'storage_size ?
References: <3f8904a1$0$10406$626a54ce@news.free.fr>
 <3F89E26E.40705@comcast.net> <3f8aecd5$0$13291$626a54ce@news.free.fr>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
NNTP-Posting-Host: 24.34.139.183
X-Complaints-To: abuse@comcast.net
X-Trace: sccrnsc04 1066071200 24.34.139.183 (Mon, 13 Oct 2003 18:53:20 GMT)
NNTP-Posting-Date: Mon, 13 Oct 2003 18:53:20 GMT
Organization: Comcast Online
Date: Mon, 13 Oct 2003 18:53:20 GMT
Xref: archiver1.google.com comp.lang.ada:784
Date: 2003-10-13T18:53:20+00:00
List-Id: <comp.lang.ada>

Alex Xela wrote:
> -------------
> 
> Yes, but the gnat strategy should not matter with the fact that when I
> define a pool of 8 Mo, I should be able to allocate at least 5Mo.
> Alex.

It is the creation of the pool that is overflowing, not the allocation 
from the pool.  Incidently the reason that GNAT does it this way is that 
in many system designs getting Storage_Error "up front" is a much better 
  problem to have than getting a couple hours--or days into running your 
program, then run out of storage.  This is a common design practice in 
real-time systems.  All storage allocations are done during 
initialization, using sizes computed from the requirements documents.

-- 
                                                     Robert I. Eachus

"Quality is the Buddha. Quality is scientific reality. Quality is the 
goal of Art. It remains to work these concepts into a practical, 
down-to-earth context, and for this there is nothing more practical or 
down-to-earth than what I have been talking about all along...the repair 
of an old motorcycle."  -- from Zen and the Art of Motorcycle 
Maintenance by Robert Pirsig