(Enter summary)
Abstract: An application developer rarely interacts with the memory
model provided by the bare machine; instead, the model
that is created by layering compiler and runtime system over
the hardware determines the abstraction for the programmer.
Sequential Consistency (SC) is a fundamental memory
model for multi-threaded environments. In an objectoriented
environment, the notion of consistency extends
beyond individual memory locations: Object Consistency
(OC) mandates that no intermediary state created... (Update)
Similar documents based on text: More All
0.4: Static Conflict Analysis for Multi-Threaded Object-Oriented.. - von Praun, Gross (2003)
(Correct)
0.4: Object Race Detection - von Praun, Gross (2001)
(Correct)
0.4: Markov Processes Involving q-Stirling Numbers - Crippa, Simon, Trunz (1994)
(Correct)
BibTeX entry: (Update)
@misc{ praun-compilerbased,
author = "Christoph von Praun and Thomas R. Gross",
title = "Compiler-Based Object Consistency",
url = "citeseer.ist.psu.edu/vonpraun01compilerbased.html" }
Citations (may not include all citations):
468
Memory consistency and event ordering in scalable shared-mem..
- Gharachorloo, Lenoski et al. - 1990
210
The amber system: Parallel programming on a network of multi..
- Chase, Amador et al. - 1989
154
Escape analysis for Java
- Choi, Gupta et al. - 1999
153
The Java Language Speci cation (context) - Gosling, Joy et al. - 2000
131
Concurrent object-oriented programming (context) - Agha - 1990
119
Compositional pointer and escape analysis for Java programs
- Whaley, Rinard - 1999
113
Midway: Shared memory parallel programming with entry consis..
- Bershad, Zekauskas - 1991
107
Scope consistency: A bridge between release consistency and ..
- Iftode, Singh et al. - 1996
79
The design and evaluation of a shared object system for dist..
- Scales, Lam - 1994
63
Removing unnecessary synchronization in Java
- Bogda, olzle - 1999
49
Thin locks: Featherweight synchronization for Java
- Bacon, Konuru et al. - 1998
45
ective synchronization removal for Java (context) - Ruf - 2000
40
SPEC JVM98 Benchmarks (context) - Performance, Corporation - 1996
39
dialect for high performance parallel computing (context) - Chien, Reddy et al. - 1996
36
Guava: A dialect of Java without data races
- Bacon, Strom et al. - 2000
[Article contains additional citations not shown here]
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