Bradley Eric Richards  Home/Search
Context Related
| wisc.edu/pub/tech...CSTR961322.ps.Z wisc.edu/techreports/rep...tr1322.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: wisc.edu (more) From: cs.ualberta.ca/~ra...dsmbiblio006 (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Distributed Shared-Memory (DSM ) computers, which partition physical memory among a collection of workstation-like computing nodes, are emerging as the way to implement parallel computers, as they promise scalability and high performance. Shared-memory DSM machines use a coherence protocol to manage the replication of data and to ensure that a parallel program sees a consistent view of memory. Applications have very different patterns of communication and no single, general-purpose protocol... (Update)
Context of citations to this paper: More
.... use of protocols to implement on the fly, apparent race detection schemes has been studied extensively by Richards in his dissertation [77]. A possible drawback of such schemes is that since apparent races are not guaranteed to be true races, these protocols may force...
Cited by: More
Language And Compiler Mechanisms For Parallel Programming With .. - Raghavachari (1998) (Correct)
Active bibliography (related documents): More All
0.6: Automatic Detection Of Nondeterminacy, And Scalar Optimizations In .. - Ghosh (1992) (Correct)
0.5: Race Condition Detection For Debugging Shared-Memory Parallel.. - Netzer (1991) (Correct)
0.5: Compile-time Support for Efficient Data Race Detection in.. - Mellor-Crummey (1992) (Correct)
Similar documents based on text: More All
0.5: Towards Limit Computable Mathematics - Susumu Hayashi And (Correct)
0.4: Experience with a Language for Writing Coherence.. - Chandra, Dahlin.. (1997) (Correct)
0.1: A Survey of Methods and Tools Used for Reliability Evaluation of.. - Lannoy (2002) (Correct)
BibTeX entry: (Update)
B. Richards. Memory Systems for Parallel Programming. PhD thesis, Computer Sciences Departiment, University of Wisconsin -- Madison, 1996. http://citeseer.ist.psu.edu/richards96memory.html More
@phdthesis{ richards96memory,
author = "B. E. Richards",
title = "Memory Systems for Parallel Programming",
year = "1996",
url = "citeseer.ist.psu.edu/richards96memory.html" }
Citations (may not include all citations):917 and the ordering of events in a distributed system (context) - Lamport, clocks - 1978
835 High Performance Fortran Language Specification - Fortran - 1993
723 Memory Coherence in Shared Virtual Memory Systems - Li, Hudak - 1989
478 The Stanford DASH Multiprocessor (context) - Lenoski, Laudon et al. - 1992
422 Implementation and Performance of Munin - Carter, Bennett et al. - 1991
422 Implementation and Performance of Munin - Carter, Bennett et al. - 1991
406 TreadMarks: Distributed Shared Memory on Standard Workstatio.. - Keleher, Dwarkadas et al. - 1993
406 Treadmarks: Distributed Shared Memory on Standard Workstatio.. - Keleher, Dwarkadas et al. - 1994
362 The Stanford FLASH Multiprocessor (context) - Kuskin - 1994
357 The Directory-Based Cache Coherence Protocol for the DASH Mu.. (context) - Lenoski, Laudon et al. - 1990
326 TreadMarks: Shared Memory Computing on Networks of Workstati.. - Amza, Cox et al. - 1996
268 Tempest and Typhoon: User-Level Shared Memory - Reinhardt, Larus et al. - 1994
248 Orca: A Language For Parallel Programming of Distributed Sys.. - Bal, Kaashoek et al. - 1992
212 The MIT Alewife Machine: Architecture and Performance - Agarwal, Bianchini et al. - 1995
204 Munin: Distributed Shared Memory Based on Type-Specific Memo.. - Bennett, Carter et al. - 1990
173 Protocol Verification as a Hardware Design Aid - Dill, Drexler et al. - 1992
170 LimitLESS Directories: A Scalable Cache Coherence Scheme - Chaiken, Kubiatowicz et al. - 1991
156 An Evaluation of Directory Schemes for Cache Coherence - Agarwal, Simoni et al. - 1988
138 SPLASH: Stanford Parallel Applications for Shared Memory (context) - Singh, Weber et al. - 1992
133 A Unified Formalization of Four SharedMemory Models - Adve, Hill - 1993
131 Fine-grain Access Control for Distributed Shared Memory - Schoinas, Falsafi et al. - 1994
130 Memory Consistency and Event Ordering in Scalable Shared-Mem.. (context) - Gharachorloo, Lenoski et al. - 1990
122 Firefly: a Multiprocessor Workstation (context) - Thacker, Stewart - 1987
113 Midway: Shared Memory Parallel Programming with Entry Consis.. - Bershad, Zekauskas - 1991
110 Portable Programs for Parallel Processors (context) - Boyle, Butler et al. - 1987
95 Application-Specific Protocols for User-Level Shared Memory - Falsafi, Lebeck et al. - 1994
94 Real-time Concurrent Collection on Stock Multiprocessors - Appel, Ellis et al. - 1988
94 Run-Time Parallelization and Scheduling of Loops (context) - Saltz, Mirchandaney et al. - 1991
77 STiNG: A CC-NUMA Computer System for the Commercial Marketpl.. - Lovett, Clapp - 1996
74 Evaluation of Release Consistent Software Distributed Shared.. - Dwarkadas, Keleher et al. - 1993
61 Where is Time Spent in Message-Passing and Shared-Memory Pro.. - Chandra, Larus et al. - 1994
58 An Empirical Comparison of Monitoring Algorithms for Access .. (context) - Dinning, Schonberg - 1990
52 Decoupled Hardware Support for Distributed Shared Memory (context) - Reinhardt, Pfile et al. - 1996
48 Static Analysis of Low-Level Synchronization (context) - Callahan, Subhlok - 1989
44 Teapot: Language Support for Writing Memory Coherence Protoc.. (context) - Chandra, Richards et al. - 1996
42 Making Asynchronous Parallelism Safe for the World (context) - Jr - 1990
41 Improving the Accuracy of Data Race Detection - Netzer, Miller - 1991
38 Distributed Shared Memory with Versioned Objects - Feeley, Levy - 1992
36 Data-Parallel Programming Language (context) - Larus, Large-Grain - 1993
31 Debugging Fortran on a Shared Memory Machine (context) - Allen, Padua - 1987
31 fly Detection of Data Races for Programs with Nested Fork-Jo.. (context) - Mellor-Crummey - 1991
28 Fly Detection of Access Anomalies - Schonberg - 1989
28 Virtual Memory Primitives for User Programs - Appel, Li - 1991
26 Automatic Detection of Nondeterminacy in Parallel Programs (context) - Emrath, Padua - 1989
24 ACM Letters on Programming Languages and Systems (context) - Netzer, Miller et al. - 1992
24 Parallel Program Debugging with On-the-fly Anomaly Detection (context) - Hood, Kennedy et al. - 1990
24 Tools for the Efficient Development of Efficient Parallel Pr.. (context) - Nudler, Rudolph - 1986
20 Detecting Data Races in Parallel Program Executions - Netzer, Miller - 1990
19 Anomaly Detection in Concurrent Software by Static Data Flow.. (context) - Taylor, Osterweil - 1980
18 Performance Evaluation of Hybrid Hardware and Software Distr.. (context) - Chandra, Gharachorloo et al. - 1993
17 LCM: Memory System Support for Parallel Language Implementat.. - Larus, Richards et al. - 1994
16 Verifying a Multiprocessor Cache Controller Using Random Cas.. (context) - Wood, Gibson et al. - 1990
16 Race Condition Detection for Debugging SharedMemory Parallel.. - Netzer - 1991
16 LCM: Memory System Support for Parallel Language Implementat.. - Larus, Richards et al. - 1994
16 The Control Mechanism for the Myrias Parallel Computer Syste.. (context) - Beltrametti, Bobey et al. - 1988
12 PTOOL: A Semi-Automatic Parallel Programming Assistant (context) - Allen, Baumgartner et al. - 1986
11 Tempest Interface Specification (context) - Reinhardt - 1995
9 An Efficient Cache-based Access Anomaly Detection Scheme (context) - Min, Choi - 1994
7 Techniques for Debugging Parallel Programs with Flowback Ana.. (context) - Choi, Miller et al. - 1988
6 A Large-Grain Data-Parallel Programming Language (context) - Larus, Richards et al. - 1996
5 Anomaly Reporting: A Tool for Debugging and Developing Paral.. (context) - Appelbe, McDowell - 1985
3 An Evaluation of Cache Coherence Protocols for MIN-Based Mul.. (context) - Baylor, McAuliffe et al. - 1991
1 Data Race Detection in Release-Consistent DSM (context) - Perkovi'c, Keleher - 1996
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.wisc.edu.html): More
Precise Interprocedural Dataflow Analysis with.. - Sagiv, Reps, Horwitz (1995) (Correct)
A Comparison of Trace-Sampling Techniques for Multi-Megabyte .. - Kessler, HIll, Wood (1994) (Correct)
Parallel Processing on Dynamic Resources with CARMI - Pruyne (1995) (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