comp.lang.ada
 help / color / mirror / Atom feed
From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: User Defined Storage Pool : did you ever experiment with it ?
Date: Mon, 24 Jan 2011 10:56:06 +0100
Date: 2011-01-24T10:56:06+01:00	[thread overview]
Message-ID: <op.vps4jso5ule2fv@garhos> (raw)
In-Reply-To: m24o91km3f.fsf@pushface.org

Le Sat, 22 Jan 2011 16:13:40 +0100, Simon Wright <simon@pushface.org> a  
écrit:

> "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr> writes:
>
>> I don't feel to remember I ever see a single Ada source with some use
>> of this. Is this just an not enough known feature, or does it mean
>> there is not so much benefit to use it ? Or else, may be this could be
>> beneficial but no one never go up to there (no evaluation of this
>> option, or anything else) ?
>
> The Booch Components (https://sourceforge.net/projects/booch95/) have
> always required users to provide storage pools
*Required* That's interesting (currently downloading from the link you  
gave).

> However, while developing code on Windows for use in VxWorks, we found
> that the Windows allocator would zero-fill, while the VxWorks allocator
> did no initialization (which is perfectly legal, of course). The result
> was that uninitialized record components would appear to work on Windows
> and crash mysteriously on the target.
>
> What we did to work round this (which was before GNAT offered pragma
> Initialize_Scalars and -gnatV) was to provide a specialised storage pool
> which fills requested memory with 16#deadbeef#; so any uninitialized
> fields are (a) reasonably unlikely to correspond to reasonable values,
> (b) reasonably easy to spot in a store dump, (c) wrong on either OS.
This looks like a bit what Ludovic exposed. This is some use of storage  
pool for security purpose. So these are at least two examples of storage  
pool used for something else than just for allocation strategy.

-- 
Si les chats miaulent et font autant de vocalises bizarres, c’est pas pour  
les chiens.

“I am fluent in ASCII” [Warren 2010]



  reply	other threads:[~2011-01-24  9:56 UTC|newest]

Thread overview: 39+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-01-22  0:04 User Defined Storage Pool : did you ever experiment with it ? Yannick Duchêne (Hibou57)
2011-01-22  0:55 ` Adam Beneschan
2011-01-22  1:42   ` Yannick Duchêne (Hibou57)
2011-01-22  5:19   ` Randy Brukardt
2011-01-22  8:49 ` Dmitry A. Kazakov
2011-01-22  9:47 ` User Defined Storage Pool : Example anon
2011-01-22  9:54 ` User Defined Storage Pool : did you ever experiment with it ? AdaMagica
2011-01-24  9:57   ` Yannick Duchêne (Hibou57)
2011-01-24 10:48   ` Mark Lorenzen
2011-01-22 15:13 ` Simon Wright
2011-01-24  9:56   ` Yannick Duchêne (Hibou57) [this message]
2011-01-24 16:09     ` Simon Wright
2011-01-24 23:58   ` Yannick Duchêne (Hibou57)
2011-01-22 22:17 ` Fritz Wuehler
2011-01-24  9:52   ` Yannick Duchêne (Hibou57)
2011-01-24 14:20     ` Bill Findlay
2011-01-24  9:25 ` Ludovic Brenta
2011-01-24  9:43   ` Yannick Duchêne (Hibou57)
2011-01-24 13:43     ` Emmanuel Briot
2011-01-24 16:48       ` Dirk Craeynest
2011-01-25  1:16         ` Yannick Duchêne (Hibou57)
2011-01-24 11:46 ` Jacob Sparre Andersen
2011-01-24 23:51   ` Yannick Duchêne (Hibou57)
2011-02-10  7:59     ` Jacob Sparre Andersen
2011-02-13 15:56       ` AdaMagica
2011-02-13 19:10         ` Simon Clubley
2011-01-24 14:04 ` Timo Warns
2011-01-24 23:34   ` Yannick Duchêne (Hibou57)
2011-01-25  0:14     ` Yannick Duchêne (Hibou57)
2011-01-25  1:36       ` Randy Brukardt
2011-02-06 20:05         ` Yannick Duchêne (Hibou57)
2011-02-07 22:09           ` Randy Brukardt
2011-02-07 22:18           ` Randy Brukardt
2011-02-07 22:59             ` Maciej Sobczak
2011-02-07 23:57               ` Shark8
2011-02-08 13:40                 ` Maciej Sobczak
2011-02-10  2:08               ` Randy Brukardt
2011-02-08  9:08             ` Alex R. Mosteo
2011-01-26 20:13 ` Warren
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox