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 metadata

Cited literature [25 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
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


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



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⟩



Record views


Files downloads