Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Towards General and Exact Distributed Invalidation
Authors: Michael O'Boyle ; Rupert W. Ford ; Elena A. Stohr
Date:Nov 2003
Publication Title:Journal of Parallel and Distributed Computing
Publication Type:Journal Article
Volume No:63(11) Page Nos:1123-1137
This paper develops and proves an exact distributed invalidation algorithm for programs with general array accesses, arbitrary parallelisation and migratory writes. We present an efficient constructive algorithm that globally combines locally gathered information to insert coherence calls in such a manner to eliminate invalidation traffic without loss of locality and places the minimal number of coherence calls. Experimental results across a range of benchmarks show that it outperforms hardware based sequential and release consistency approaches and decreases application execution time by up to 12%. This is due to eliminating over 99% of the invalidation traffic in all benchmarks. This dramatic reduction in invalidation traffic reduces the total amount of network traffic by up to 28% and the number of network words transmitted by up to 19%.
Links To Paper
1st Link
Bibtex format
author = { Michael O'Boyle and Rupert W. Ford and Elena A. Stohr },
title = {Towards General and Exact Distributed Invalidation},
journal = {Journal of Parallel and Distributed Computing},
year = 2003,
month = {Nov},
volume = {63(11)},
pages = {1123-1137},
url = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh