Abstract
This paper discusses a new implementation model for supporting Ada controlled types in the GNAT compiler. After reviewing the semantics of controlled types, we revisit the original implementation from 1995 and discuss its performance issues. We then describe a new model which addresses all existing limitations and is shown to be superior to its predecessor. Finally, we conclude the paper with the status of the new implementation and possible future enhancements.
- C. Comar, G. Dismukes, and F. Gasperoni. The gnat implementation of controlled types. In Conference Proceedings of TRI-Ada 94, 1994. Google Scholar
Digital Library
- E.Schonberg and B. Banner. The gnat project: A gnu-ada9x compiler. In Conference Proceedings of TRI-Ada 94, 1994. Google Scholar
Digital Library
- S. T. Taft, R. A. Duff, R. L. Brukardt, E. Ploedereder, and P. L. (Eds.). Ada 2005 Reference Manual - Language and Standard Libraries. Springer, Germany, 2006. Google Scholar
Digital Library
Index Terms
A new robust and efficient implementation of controlled types in the GNAT compiler
Recommendations
A new robust and efficient implementation of controlled types in the GNAT compiler
HILT '12: Proceedings of the 2012 ACM conference on High integrity language technologyThis paper discusses a new implementation model for supporting Ada controlled types in the GNAT compiler. After reviewing the semantics of controlled types, we revisit the original implementation from 1995 and discuss its performance issues. We then ...







Comments