poster

Inference and declaration of independence: impact on deterministic task parallelism

Authors:

Dimitrios S. NikolopoulosAuthors Info & Claims

PACT '12: Proceedings of the 21st international conference on Parallel architectures and compilation techniques

Pages 453 - 454

https://doi.org/10.1145/2370816.2370892

Published: 19 September 2012 Publication History

Get Access

Abstract

We present a set of static techniques that reduce runtime overheads in task-parallel programs with implicit synchronization. We use a static dependence analysis to detect non-conflicting tasks and remove unnecessary runtime checks. We further reduce overheads by statically optimizing task creation and management of runtime metadata. We implemented these optimizations in SCOOP, a source-to-source compiler for such a programming model and runtime system. We evaluate SCOOP on 10 representative benchmarks and show that our approach can improve performance by 12% on average.

References

[1]

M. J. Best et al. Synchronization via scheduling: Techniques for efficiently managing shared state. In PLDI'11.

Digital Library

Google Scholar

[2]

R. L. Bocchino et al. Safe nondeterminism in a deterministic-by-default parallel language. In POPL, 2011.

Digital Library

Google Scholar

[3]

J. Perez et al. A dependency-aware task-based programming environment for multi-core architectures. In ICCC, 2008.

Crossref

Google Scholar

[4]

G. Tzenakis et al. BDDT: block-level dynamic dependence analysis for deterministic task-based parallelism. In PPoPP. Poster paper.

Digital Library

Google Scholar

Cited By

View all

Parasyris KVassiliadis VAntonopoulos CLalis SBellas N(2017)Significance-Aware Program Execution on Unreliable HardwareACM Transactions on Architecture and Code Optimization10.1145/305898014:2(1-25)Online publication date: 28-Apr-2017
https://dl.acm.org/doi/10.1145/3058980
Vassiliadis VChalios CParasyris KAntonopoulos CLalis SBellas NVandierendonck HNikolopoulos D(2016)Exploiting Significance of Computations for Energy-Constrained Approximate ComputingInternational Journal of Parallel Programming10.1007/s10766-016-0409-644:5(1078-1098)Online publication date: 24-Mar-2016
https://doi.org/10.1007/s10766-016-0409-6

Index Terms

Inference and declaration of independence: impact on deterministic task parallelism
1. Software and its engineering
  1. Software notations and tools
    1. Compilers

Recommendations

Inference and Declaration of Independence in Task-Parallel Programs
APPT 2013: Revised Selected Papers of the 10th International Symposium on Advanced Parallel Processing Technologies - Volume 8299

The inherent difficulty of thread-based shared-memory programming has recently motivated research in high-level, task-parallel programming models. Recent advances of Task-Parallel models add implicit synchronization, where the system automatically ...
Static Compiler Analyses for Application-specific Optimization of Task-Parallel Runtime Systems

Achieving high performance in task-parallel runtime systems, especially with high degrees of parallelism and fine-grained tasks, requires tuning a large variety of behavioral parameters according to program characteristics. In the current state of the ...
A work-stealing scheduler for X10's task parallelism with suspension
PPOPP '12

The X10 programming language is intended to ease the programming of scalable concurrent and distributed applications. X10 augments a familiar imperative object-oriented programming model with constructs to support light-weight asynchronous tasks as well ...

Comments

Information & Contributors

Information

Published In

PACT '12: Proceedings of the 21st international conference on Parallel architectures and compilation techniques

September 2012

512 pages

ISBN:9781450311823

DOI:10.1145/2370816

General Chairs:
Pen-Chung Yew
University of Minnesota
,
Sangyeun Cho
University of Pittsburgh
,
Program Chairs:
Luiz DeRose
Cray, Inc.
,
David J. Lilja
University of Minnesota

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 September 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Poster

Conference

PACT '12

Sponsor:

IFIP WG 10.3
SIGARCH
IEEE CS TCPP
IEEE CS TCAA

PACT '12: International Conference on Parallel Architectures and Compilation Techniques

September 19 - 23, 2012

Minnesota, Minneapolis, USA

Acceptance Rates

Overall Acceptance Rate 121 of 471 submissions, 26%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
128
Total Downloads

Downloads (Last 12 months)7
Downloads (Last 6 weeks)0

Reflects downloads up to 25 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Parasyris KVassiliadis VAntonopoulos CLalis SBellas N(2017)Significance-Aware Program Execution on Unreliable HardwareACM Transactions on Architecture and Code Optimization10.1145/305898014:2(1-25)Online publication date: 28-Apr-2017
https://dl.acm.org/doi/10.1145/3058980
Vassiliadis VChalios CParasyris KAntonopoulos CLalis SBellas NVandierendonck HNikolopoulos D(2016)Exploiting Significance of Computations for Energy-Constrained Approximate ComputingInternational Journal of Parallel Programming10.1007/s10766-016-0409-644:5(1078-1098)Online publication date: 24-Mar-2016
https://doi.org/10.1007/s10766-016-0409-6

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Inference and Declaration of Independence in Task-Parallel Programs

Static Compiler Analyses for Application-specific Optimization of Task-Parallel Runtime Systems

A work-stealing scheduler for X10's task parallelism with suspension