An Operational Model for Multiprocessors with Caches

Abstract : Modern multiprocessors are equipped with local caches, to enhance program performance. However, the presence of caches can lead to the violation of sequential consistency [7] assumptions regarding program order and write atomicity. With respect to such relaxed memory models [1], we provide an operational description of program execution (in the style of [4]) that accounts for cache effects. In particular, we provide an operational characterization of cache invalidation and update policies and an abstract characterization of cache consistency. The programming model consists of a simple imperative language extended with common synchronization primitives such as locks or barrier instructions. The main results show that by precluding certain data races or by placing certain synchronization constraints, sequentially consistent behavior can be obtained for multiprocessor execution even in the presence of local caches.
Type de document :
Communication dans un congrès
Cristian S. Calude; Vladimiro Sassone. 6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. Springer, IFIP Advances in Information and Communication Technology, AICT-323, pp.371-385, 2010, Theoretical Computer Science. 〈10.1007/978-3-642-15240-5_27〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01054446
Contributeur : Hal Ifip <>
Soumis le : mercredi 6 août 2014 - 16:24:48
Dernière modification le : mercredi 9 août 2017 - 12:03:17
Document(s) archivé(s) le : mercredi 26 novembre 2014 - 00:56:32

Fichier

03230370.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Salil Joshi, Sanjiva Prasad. An Operational Model for Multiprocessors with Caches. Cristian S. Calude; Vladimiro Sassone. 6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. Springer, IFIP Advances in Information and Communication Technology, AICT-323, pp.371-385, 2010, Theoretical Computer Science. 〈10.1007/978-3-642-15240-5_27〉. 〈hal-01054446〉

Partager

Métriques

Consultations de la notice

145

Téléchargements de fichiers

91