An Execution Model for Fine-Grained Parallelism in Ada
Ref: CISTER-TR-150403 Publication Date: 25 to 29, Jun, 2015
An Execution Model for Fine-Grained Parallelism in AdaRef: CISTER-TR-150403 Publication Date: 25 to 29, Jun, 2015
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 ab-stract executors, detailing the progress guarantees that these executors must pro-vide 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.
20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015).
Notes: Best Paper Award.