Please use this identifier to cite or link to this item:
Title: The implementation of Ada 2005 synchronized interfaces in the GNAT compiler
Authors: Miranda, Javier 
Schonberg, Edmond
Kirtchev, Hristian
UNESCO Clasification: 3304 Tecnología de los ordenadores
Keywords: Ada 2005
Issue Date: 2005
Journal: Proceedings of the ACM SIGAda Annual International Conference; SIGAda
Conference: ACM SIGAda Annual International Conference, SIGAda 2005: The Engineering of Correct and Reliable Software for Real-Time and Distributed Systems using Ada and Related Technologies 
Abstract: One of the most important object-oriented features of the new revision of the Ada Programming Language is the introduction of Abstract Interfaces to provide a form of multiple inheritance. Ada 2005 Abstract Interface Types are akin to Java interfaces, and as such support inheritance of specification rather than inheritance of implementation. Ada 2005 interfaces apply as well to tasks and protected types, and provide a classification mechanism for concurrent programming that goes considerably beyond the capabilities of Java. This paper summarizes the implementation in the GNAT compiler of the various kinds of interfaces that relate to concurrent programming in Ada 2005 [1]. The implementation is efficient, and involves mostly modifications to the compiler front-end, with virtually minimal impact on run-time structures, beyond those that are in place to support regular interfaces. However, the implementation of interface operations as triggers in selective waits and asynchronous transfers of control proved to be surprisingly delicate and requires additional predefined primitive operations.
DOI: 10.1145/1104011.1103853
Source: Proceedings of the ACM SIGAda Annual International Conference; SIGAda, p. 41-48
Appears in Collections:Actas de congresos
Adobe PDF (145,25 kB)
Show full item record


checked on Apr 7, 2024

Page view(s)

checked on Jul 15, 2023


checked on Jul 15, 2023

Google ScholarTM




Export metadata

Items in accedaCRIS are protected by copyright, with all rights reserved, unless otherwise indicated.