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 Ada
Ref: CISTER-TR-150403 Publication Date: 25 to 29, Jun, 2015Abstract:
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.
Luis Miguel Pinho
Brad MooreDocument:
View
DownloadAdditional Files:
20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015).
Madrid, Spain.
Notes: Best Paper Award.
Record Date: 15, Apr, 2015
Short links for this page: www.cister-labs.pt/docs/cister_tr_150403 www.cister-labs.pt/docs/1080