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.
Type de document :
Communication dans un congrès
Ching-Hsien Hsu; Xiaoming Li; Xuanhua Shi; Ran Zheng. 10th International Conference on Network and Parallel Computing (NPC), Sep 2013, Guiyang, China. Springer, Lecture Notes in Computer Science, LNCS-8147, pp.13-26, 2013, Network and Parallel Computing. 〈10.1007/978-3-642-40820-5_2〉
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01513782
Contributeur : Hal Ifip <>
Soumis le : mardi 25 avril 2017 - 14:33:48
Dernière modification le : vendredi 3 novembre 2017 - 22:24:06
Document(s) archivé(s) le : mercredi 26 juillet 2017 - 14:13:00

Fichier

978-3-642-40820-5_2_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Chen Ding, Lei Liu. Access Annotation for Safe Program Parallelization. Ching-Hsien Hsu; Xiaoming Li; Xuanhua Shi; Ran Zheng. 10th International Conference on Network and Parallel Computing (NPC), Sep 2013, Guiyang, China. Springer, Lecture Notes in Computer Science, LNCS-8147, pp.13-26, 2013, Network and Parallel Computing. 〈10.1007/978-3-642-40820-5_2〉. 〈hal-01513782〉

Partager

Métriques

Consultations de la notice

78

Téléchargements de fichiers

29