2015 | OriginalPaper | Buchkapitel
An Execution Model for Fine-Grained Parallelism in Ada
verfasst von : Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft
Erschienen in: Reliable Software Technologies – Ada-Europe 2015
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This paper extends the authors earlier proposal for providing Ada with support for fine-grained parallelism with an execution model based on the concept of abstract executors, detailing the progress guarantees that these executors must provide and how these can be assured even in the presence of potentially blocking operations. The paper also describes how this execution model can be applied to real-time systems.