Java: Memory consistency and process coordination

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1499, Issue , 1998, Pages 201-215

  Higham, Lisa ^a   Kawash, Jalal ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

Critical section problem; Java; Java virtual machine; Memory consistency models; Non terminating systems; Process coordination; Producer consumer problem

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; SEMANTICS;

CRITICAL SECTIONS; JAVA; JAVA VIRTUAL MACHINES; MEMORY CONSISTENCY MODELS; PROCESS COORDINATION; PRODUCER/CONSUMER PROBLEM;

JAVA PROGRAMMING LANGUAGE;

EID: 84947926478     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0056484     Document Type: Conference Paper

References (19)

1. M. Ahamad, R. Bazzi, R. John, P. Kohli, and G. Neiger. The power of processor consistency. In Proc. 5th ACM Symp. on Parallel Algorithms and Architectures, pages 251-260, June 1993. Also available as College of Computing, Georgia Institute of Technology technical report GIT-CC-92/34.
2. E. W. Dijkstra. Cooperating sequential processes. Technical Report EWD-123, Technological University, Eindhoven, the Netherlands, 1965. Reprinted in [4].
3. M. Dubois, C. Scheurich, and E Briggs. Memory access buffering in multiprocessors. Proc. of the 13th Annual Int'l Symp. on Computer Architecture, pages 434-442, June 1986.
4. F. Genuys, editor. Programming Languages. Academic Press, 1968.
5. A. Gontmakher and A. Schuster. Java consistency: Non-operational characterizations of Java memory behavior. Technical Report CS0922, Computer Science Department, Technion, November 1997.
6. A. Gontmakher and A. Schuster. Characterizations of Java memory behavior. In Proc. of the 12th lnt'l Parallel Processing Symp., April 1998.
7. J. Goodman. Cache consistency and sequential consistency. Technical Report 61, IEEE Scalable Coherent Interface Working Group, March 1989.
8. J. Gosling, B. Joy, and G. Steele. The Java Language Specifications. Addison-Wesley, 1996.
9. L. Higham and J. Kawash. Critical sections and producer/consumer queues in weak memory systems. In Proc. of the 1997 Int'l Symp. on Parallel Architectures, Algorithms, and Networks, pages 56-63, December 1997.
10. L. Higham and J. Kawash. Java: Memory consistency and process coordination. Technical Report 98/622/13, Department of Computer Science, The University of Calgary, April 1998.
11. L. Higham, J. Kawash, and N. Verwaal. Defining and comparing memory consistency models. In Proc. of the 10th Int'l Conf. on Parallel and Distributed Computing Systems, pages 349-356, October 1997.
12. L. Higham, J. Kawash, and N. Verwaal. Weak memory consistency models part I: Definitions and comparisons. Technical Report 98/612/03, Department of Computer Science, The University of Calgary, January 1998. Submitted for publication.
13. L. Higham, J. Kawash, and N. Verwaal. Weak memory consistency models part II: Process coordination problems. Technical Report 98/613/04, Department of Computer Science, The University of Calgary, January 1998. Submitted for publication.
14. J. Kawash. Process coordination issues in systems with weak memory consistency. Ph.D. dissertation draft, The University of Calgary.
15. L. Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Trans. on Computers, C-28(9):690-691, September 1979.
16. T. Lindholm and E Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1996.
17. R.J. Lipton and J. S. Sandberg. PRAM: A scalable shared memory. Technical Report 180-88, Department of Computer Science, Princeton University, September 1988.
18. M. Raynal. Algorithms for Mutual Exclusion. The MIT Press, 1986.
19. D. L. Weaver and T. Germond, editors. The SPARCArchitecture Manual version 9. Prentice-Hall, 1994.