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=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,ab4f67f984ef04f9 X-Google-Attributes: gid103376,public Path: controlnews3.google.com!news1.google.com!news.glorb.com!newsfeed00.sul.t-online.de!newsmm00.sul.t-online.de!t-online.de!news.t-online.com!not-for-mail From: Martin Krischik Newsgroups: comp.lang.ada Subject: Re: Is the Ada run-time required to detect out-of-memory conditions? Date: Fri, 21 May 2004 11:34:52 +0200 Organization: AdaCL Message-ID: <3344888.nIIzgLd9T8@linux1.krischik.com> References: <878yfmiuak.fsf@insalien.org> Reply-To: krischik@users.sourceforge.net Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7Bit X-Trace: news.t-online.com 1085132880 07 19145 ZUr5Gb-v7VIZSqBc 040521 09:48:00 X-Complaints-To: usenet-abuse@t-online.de X-ID: SPnCEmZDgerRboVttotvr+3Fy7wzSjWeyeU1KivQ22vWP0-GrqA+ci User-Agent: KNode/0.7.7 Xref: controlnews3.google.com comp.lang.ada:737 Date: 2004-05-21T11:34:52+02:00 List-Id: Vinzent 'Gadget' Hoefler wrote: > Ludovic Brenta wrote: > >>[1] http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=250076 >> >>The program allocates memory in an infinite loop using "new" and the >>default storage pool, and of course exhausts all available storage. >>The issue is whether or not Storage_Error should be raised. With >>GNAT, no exception is raised; instead the program receives SIGKILL >>(not even SIGSEGV) from Linux. > > Well, as long as these darn modern operating systems let you use > memory that isn't even there and then just kill the process instead of > signaling an error, there's no chance that the runtime can raise > Storage_Error. Actually, with memory in modern computer in the GB and harddrives in the 100 GB range the program is more likely to exhaust its user address space before the available swapper fills up. But the result is the same: No Storage_Error. With Regards Martin -- mailto://krischik@users.sourceforge.net http://www.ada.krischik.com