Please use this identifier to cite or link to this item: http://hdl.handle.net/10553/45994
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
GNAT
Compilers
Interfaces
Synchronization
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.
URI: http://hdl.handle.net/10553/45994
DOI: 10.1145/1104011.1103853
Source: Proceedings of the ACM SIGAda Annual International Conference; SIGAda, p. 41-48
Appears in Collections:Actas de congresos
Thumbnail
Adobe PDF (145,25 kB)
Show full item record

SCOPUSTM   
Citations

1
checked on Feb 28, 2021

Page view(s)

36
checked on Feb 28, 2021

Download(s)

37
checked on Feb 28, 2021

Google ScholarTM

Check

Altmetric


Share



Export metadata



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