See this document in CiteSeerX!

A Compiler Algorithm to Reduce Invalidation Latency in Virtual Shared Memory Systems (1996)  (Make Corrections)  (6 citations)
M.F.P. O'Boyle, A.P. Nisbet, R.W. Ford
Proc. of the 1996 Conf. on Parallel Architectures and Compilation Techniques



  Home/Search   Context   Related

 
View or download:
dcs.ed.ac.uk/home/mob/pact96.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  dcs.ed.ac.uk/home/mob/papers (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: This paper presents a new compiler algorithm to eliminate invalidation traffic in virtual shared memory using a hybrid distributed invalidation scheme. It aggressively exploits static scheduling and data layout to accurately determine only those instances when invalidation is necessary, thus avoiding the additional read misses of previous schemes. Equations determining precisely what data should be invalidated are presented and followed by the derivation of approximations aminable to compiler... (Update)

Context of citations to this paper:   More

...has been completed. The algorithm determines the array sections to be invalidated or made exclusive under the distributed invalidation [7] optimisation for sequential consistency. Current research is extending this algorithm to consider the more general case of non owner...

.... then we can let w(e) 0 (loops could be fused) This situation can appear in some cases when generating code with the owner computes rule [12]. 3.3 Loop fusion with two types and no fusion preventing edges Suppose that G = V; E = F [ F ; T ) is such that T = fS; Pg (only two...

Cited by:   More
Exact Distributed Invalidation - Ford, O'Boyle, Stöhr (2000)   (Correct)
Research Proposal - O'Boyle   (Correct)
On the Complexity of Loop Fusion - Darte (1999)   (Correct)

Similar documents (at the sentence level):
76.2%:   A Compiler Algorithm to Reduce Invalidation Latency in Virtual.. - O'Boyle (1996)   (Correct)
7.9%:   Compiler Reduction of Invalidation Traffic in Virtual.. - O'Boyle, Ford, Nisbet (1996)   (Correct)

Active bibliography (related documents):   More   All
0.3:   Fine Grain Synchronisation in VSM Architectures - Ford, Nisbet   (Correct)
0.3:   A Graph Based Approach to Barrier Synchronisation Minimisation - Stöhr, O'Boyle (1997)   (Correct)
0.3:   Optimizing Locality of Programs - Bodin, Kervella, O'Boyle   (Correct)

Similar documents based on text:   More   All
0.4:   An Adaptive AVI-based Cache Invalidation Scheme for Mobile.. - Joe Chun-Hung Yuen (2000)   (Correct)
0.4:   Reducing Coherence Overhead in Shared-Bus Multiprocessors - Sangyeun Cho (1996)   (Correct)
0.4:   Cache Coherency in Location-dependent Information Services.. - Xu, Tang, Lee, Hu (1999)   (Correct)

Related documents from co-citation:   More   All
2:   A Guide to the Theory of NP-Completeness (context) - Gary, Johnson et al. - 1979
2:   The shortest common supersequence problem over a binary alphabet is NP-complete (context) - Raiha, Ukkonen - 1981
2:   The complexity of some problems on subsequences and supersequences (context) - Maier - 1978

BibTeX entry:   (Update)

M.O'Boyle, R.W. Ford, and A.P. Nisbet. A compiler algorithm to reduce invalidation latency in virtual shared memory systems. In Proceedings of Parallel Architectures and Compilation Techniques, Boston, USA, October 1996. http://citeseer.ist.psu.edu/article/oboyle96compiler.html   More

@inproceedings{ oboyle96compiler,
    author = "M. F. P. {O'Boyle} and A. P. Nisbet and R. W. Ford",
    title = "A Compiler Algorithm to Reduce Invalidation Latency in Virtual Shared Memory Systems",
    booktitle = "Proc. of the 1996 Conf. on Parallel Architectures and Compilation Techniques",
    pages = "248--257",
    year = "1996",
    url = "citeseer.ist.psu.edu/article/oboyle96compiler.html" }
Citations (may not include all citations):
415   Efficiently Computing Static Single Assignment Form and the .. - Cytron, Ferrante et al. - 1991
132   Data flow Analysis of Array and Scalar References - Feautrier - 1991
92   Cooperative Shared Memory: Software and Hardware for Scalabl.. - Larus, Reinhardt - 1993
50   Compiler Directed Cache Management in Multiprocessors (context) - Cheong, Veidenbaum - 1990
45   Gated SSA-Based Demand-Driven Symbolic Analysis for Parallel.. - Tu, Padua - 1995
45   Dynamic Self Invalidation: Reducing Coherence Overhead in Sh.. - Lebeck, Wood - 1995
33   KAP User's Guide (context) - Associates - 1988
21   Life-Span Strategy - A Compiler-Based Approach to Cache Cohe.. (context) - Cheong - 1992
20   A Compiler-Directed Cache Coherence Scheme with Improves Int.. - Choi - 1994
18   Automatic Software Cache Coherence through Vectorisation - Darnell, Mellor-Crumney et al. - 1992
16   Cache Coherence Using Local Knowledge - Darnell, Kennedy
16   A Compiler Directed Cache Coherence Scheme with Fast and Par.. (context) - Louri, Sung - 1992
7   User-Level VSM Optimisation and its Application - Ford, Nisbet et al.
4   An Evaluation of a Compiler Optimization for Improving the P.. (context) - Mounes-Toussi, Lilja et al. - 1994
4   Spinning on Coherency: A New VSM Optimisation for Write-Inva.. - Nisbet, Ford - 1996
3   Evaluation of Compiler Optimisations for Fortran D on MIMD D.. (context) - Hirananadi, Kennedy - 1992
3   Synchronisation Minimisation in a SPMD Execution Model (context) - Kervella, Bodin - 1995
3   A Compiler Algorithm that Reduces Latency in Ownership-Based.. (context) - Skeppstedt, Stenstrom - 1995
3   A Compiler Strategy for SVM, the Third Workshop on Languages.. (context) - Bodin, O'Boyle - 1995
1   Compiler Reduction of Invalidation Traffic in Virtual Shared.. - Ford, Nisbet - 1996

Documents on the same site (http://www.dcs.ed.ac.uk/home/mob/papers.html):
Compiler Transformation of Pointers to Explicit Array.. - Franke, O'Boyle   (Correct)
A Graph Based Approach to Barrier Synchronisation Minimisation - Stöhr, O'Boyle (1997)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC