Skip to Main content Skip to Navigation
Conference papers

Access Annotation for Safe Program Parallelization

Abstract : The safety of speculative parallelization depends on monitoring all program access to shared data. The problem is especially difficult in software-based solutions. Till now, automatic techniques use either program instrumentation, which can be costly, or virtual memory protection, which incurs false sharing. In addition, not all access requires monitoring. It is worth considering a manual approach in which programmers insert access annotations to reduce the cost and increase the precision of program monitoring.This paper presents an interface for access annotation and two techniques to check the correctness of user annotation, i.e. whether all parallel executions are properly monitored and guaranteed to produce the sequential result. It gives a quadratic-time algorithm to check the exponential number of parallel interleavings. The paper then uses the annotation interface to parallelize several programs with uncertain parallelism. It demonstrates the efficiency of program monitoring by a performance comparison with OpenMP, which does not monitor data access or guarantee safety.
Document type :
Conference papers
Complete list of metadatas

Cited literature [25 references]  Display  Hide  Download

https://hal.inria.fr/hal-01513782
Contributor : Hal Ifip <>
Submitted on : Tuesday, April 25, 2017 - 2:33:48 PM
Last modification on : Thursday, November 29, 2018 - 1:34:01 PM
Long-term archiving on: : Wednesday, July 26, 2017 - 2:13:00 PM

File

978-3-642-40820-5_2_Chapter.pd...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Chen Ding, Lei Liu. Access Annotation for Safe Program Parallelization. 10th International Conference on Network and Parallel Computing (NPC), Sep 2013, Guiyang, China. pp.13-26, ⟨10.1007/978-3-642-40820-5_2⟩. ⟨hal-01513782⟩

Share

Metrics

Record views

137

Files downloads

218