Analyzing the CRF Java memory model

Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC

Volumn , Issue , 2001, Pages 21-28

  Yang, Yue ^a   Gopalakrishnan, Ganesh ^a   Lindstrom, Gary ^a  

^a University of Utah   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; DATA STRUCTURES; JAVA PROGRAMMING LANGUAGE; MULTIPROGRAMMING; PARALLEL PROCESSING SYSTEMS; PROGRAM DEBUGGING; RANDOM ACCESS STORAGE; SEMANTICS;

COMMIT RECONCILE FENCE MEMORY MODEL; JAVA MEMORY MODEL; MULTITHREADED PROGRAMMING; SOFTWARE MODEL CHECKING TECHNIQUE; SOFTWARE VERIFICATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0035695794     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. Fixing the Java Memory Model
2. Improving the java memory model using CRF
3. Semantics of multithreaded java
4. Commit-Reconcile & Fences (CRF): A New Memory Model for Architects and Compiler Writers
5. Formal specification of abstract memory models
6. The Murφ verification system
7. How to make a multiprocessor computer that correctly executes multiprocess programs
8. Shared memory consistency models: A tutorial
9. The power of processor consistency
10. PRAM: A scalable shared memory
11. Model checking for programming languages using Verisoft
12. Model checking JAVA programs using JAVA PathFinder
13. Bandera: Extracting finite-state models from Java source code
14. Java model checking
15. An executable specification and verifier for relaxed memory order
16. Java consistency: Non-operational characterizations for Java memory behavior