Browsing CS Technical Reports by Author "Adve, Sarita V"
Now showing items 1-7 of 7
-
Comparison of Hardware and Software Cache Coherence Schemes
Adve, Sarita V; Adve, Vikram S; Vernon, Mary K; Hill, Mark D (University of Wisconsin-Madison Department of Computer Sciences, 1991) -
Designing Memory Consistency Models for Shared-Memory Multiprocessors
Adve, Sarita V (University of Wisconsin-Madison Department of Computer Sciences, 1993) -
Specifying System Requirements for Memory Consistency Models
Gharachorloo, Kourosh; Adve, Sarita V; Gupta, Anoop; Hennessy, John L; Hill, Mark D (University of Wisconsin-Madison Department of Computer Sciences, 1993) -
Sufficient Conditions for Implementing the Data-Race-Free-1 Memory Model
Adve, Sarita V; Hill, Mark D (University of Wisconsin-Madison Department of Computer Sciences, 1992) -
Sufficient System Requirements for Supporting the PLpc Memory Model
Adve, Sarita V; Gharachorloo, Kourosh; Gupta, Anoop; Hennessy, John L; Hill, Mark D (University of Wisconsin-Madison Department of Computer Sciences, 1993) -
A Unified Formalization of Four Shared-Memory Models
Adve, Sarita V; Hill, Mark D (University of Wisconsin-Madison Department of Computer Sciences, 1991) -
Weak Ordering - A New Definition and Some Implications
Adve, Sarita V; Hill, Mark D (University of Wisconsin-Madison Department of Computer Sciences, 1989)A model for correct program behavior commonly and often implicitly assumed by programmers is that of sequential consistency, which guarantees that all memory accesses execute atomically and in program order. An alternative ...