Tasklettes – A Fine Grained Parallelism for Ada on Multicores

Michell, Stephen; Moore, Brad; Pinho, Luís Miguel

doi:10.1007/978-3-642-38601-5_2

Cited by 14 publications

(22 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In an extreme case, an executor can be the core itself, continually executing code blocks placed in a queue. 3 3 Note that an executor cannot explicitly be an Ada Task, as it was proposed in earlier works [10]. This would defeat the separation between the design model of concurrency around Ada Tasks, and the platform model of parallelism around executors.…”

Section: The Tasklet Execution Modelmentioning

confidence: 99%

“…This work is part of an ongoing effort to incorporate fine-grained parallelism models and constructs into existing programming languages, such as CPLEX (for C Parallel Language Extensions) [1], the C++ "Technical Specification for C++ Extensions for Parallelism" [2], or, the topic of this work, the tasklet model for Ada [3,4,5].…”

Section: Introductionmentioning

confidence: 99%

“…The work in [3] introduced the notion of a Parallelism OPportunity (POP). This is a code fragment or construct that can be executed by processing elements in parallel.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

An Execution Model for Fine-Grained Parallelism in Ada

Pinho¹,

Moore

Michell

et al. 2015

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

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

show abstract

Section: The Tasklet Execution Modelmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

An Execution Model for Fine-Grained Parallelism in Ada

Pinho¹,

Moore

Michell

et al. 2015

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…The existent proposal [26] enriches the Ada core with extensions that support parallel blocks and parallel loops (including reductions). This technique is based on the notion of tasklets [23]: concurrent logical units within an Ada task. Since adding parallelism also means adding a source of errors (due to concurrent accesses to global data and synchronizations) the proposal addresses safety using new annotations.…”

Section: Introductionmentioning

confidence: 99%

“…Efforts exist to extend Ada with a fine-grained parallel model based on the notion of tasklets [23], where parallelism is not fully controlled by the programmer: the programmer specifies the parallel nature of the algorithm, and the compiler and the runtime have the freedom to organize parallel computations.…”

Section: Introductionmentioning

confidence: 99%

OpenMP Tasking Model for Ada: Safety and Correctness

Royuela

Martorell

Quiñones

et al. 2017

Reliable Software Technologies – Ada-Europe 2017

View full text Add to dashboard Cite

The safety-critical real-time embedded domain increasingly demands the use of parallel architectures to fulfill performance requirements. Such architectures require the use of parallel programming models to exploit the underlying parallelism. This paper evaluates the applicability of using OpenMP, a widespread parallel programming model, with Ada, a language widely used in the safety-critical domain.Concretely, this paper shows that applying the OpenMP tasking model to exploit fine-grained parallelism within Ada tasks does not impact on programs safeness and correctness, which is vital in the environments where Ada is mostly used. Moreover, we compare the OpenMP tasking model with the proposal of Ada extensions to define parallel blocks, parallel loops and reductions. Overall, we conclude that the OpenMP tasking model can be safely used in such environments, being a promising approach to exploit fine-grain parallelism in Ada tasks, and we identify the issues which still need to be further researched. Abstract. The safety-critical real-time embedded domain increasingly demands the use of parallel architectures to fulfill performance requirements. Such architectures require the use of parallel programming models to exploit the underlying parallelism. This paper evaluates the applicability of using OpenMP, a widespread parallel programming model, with Ada, a language widely used in the safety-critical domain. Concretely, this paper shows that applying the OpenMP tasking model to exploit fine-grained parallelism within Ada tasks does not impact on programs safeness and correctness, which is vital in the environments where Ada is mostly used. Moreover, we compare the OpenMP tasking model with the proposal of Ada extensions to define parallel blocks, parallel loops and reductions. Overall, we conclude that the OpenMP tasking model can be safely used in such environments, being a promising approach to exploit fine-grain parallelism in Ada tasks, and we identify the issues which still need to be further researched.

show abstract