Access Annotation for Safe Program Parallelization - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Access Annotation for Safe Program Parallelization


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.
Fichier principal
Vignette du fichier
978-3-642-40820-5_2_Chapter.pdf (206.63 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01513782 , version 1 (25-04-2017)





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⟩
81 View
84 Download



Gmail Facebook X LinkedIn More