| Name: | Description: | Size: | Format: | |
|---|---|---|---|---|
| 586.36 KB | Adobe PDF |
Advisor(s)
Abstract(s)
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.
Description
20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015), 25 to 29, Jun, 2015. Madrid, Spain. Best Paper Award.