2015 | OriginalPaper | Chapter
An Execution Model for Fine-Grained Parallelism in Ada
Authors : Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft
Published in: Reliable Software Technologies – Ada-Europe 2015
Publisher: Springer International Publishing
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. 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.