comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: User Defined Storage Pool : did you ever experiment with it ?
Date: Sat, 22 Jan 2011 15:13:40 +0000
Date: 2011-01-22T15:13:40+00:00	[thread overview]
Message-ID: <m24o91km3f.fsf@pushface.org> (raw)
In-Reply-To: op.vpont3pqule2fv@garhos

"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 (except for Bounded
forms). I expect that most people who use(d) the BCs use(d) the one
provided, which is a wrapper for the system storage pool.

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.



  parent reply	other threads:[~2011-01-22 15:13 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 [this message]
2011-01-24  9:56   ` Yannick Duchêne (Hibou57)
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