This article discusses the tools that Ada offers to deal with dynamic memory problems. The article shows how the storage pools mechanism of Ada 95 can be extended to enpower developers when tracking memory leaks and memory corruption in their code. This Ada extension rests on the notion of "checked pools", i.e. storage pools with an additional Dereference operation. The paper describes how a particular instance of the checked pool, called the "debug pool", is implemented in the GNAT technology. Performance measurements for the use of debug pools are provided in the context of the Air Traffic Flow Management application at Eurocontrol.
The different versions of the original document can be found in:
Published on 01/01/2007
Volume 2007, 2007
DOI: 10.1007/3-540-44947-7_9
Licence: CC BY-NC-SA license
Are you one of the authors of this document?