HomeResearch TopicsApplication DriveProjectsPublicationsPeoplePhD StudiesNewsEvents & CfPInfo & Contacts
CiTechCiWorkCISTER DSSjoin us!Enjoy Porto!
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       
Login
HomePublicationsPaper

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, 2015

Abstract:
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.

Authors:
Luis Miguel Pinho
,
Brad Moore
,
Stephen Michell
,
S. Tucker Taft


Document:
View
PDF Download
PDF


Additional Files:
PDF
Presentation


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.isep.pt/docs/cister_tr_150403 www.cister.isep.pt/docs/1080
Previous PaperNext Paper