See this document in CiteSeerX!

Compiler-Based Object Consistency (2001)  (Make Corrections)  
Christoph von Praun, Thomas R. Gross



  Home/Search   Context   Related

 
View or download:
lst.inf.ethz.ch/resear...WC3_2001.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  lst.inf.ethz.ch/resear...WC3_2001 (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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