SCOPUS 정보 검색 플랫폼

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn 35, Issue 10, 2000, Pages 1-12

Improving the Java memory model using CRF

(3) Maessen, J W a Arvind, a Shen, X b

a MASSACHUSETTS INSTITUTE OF TECHNOLOGY (United States)

b IBM T J WATSON RESEARCH CENTER (United States)

Author keywords

Commit reconcile fence; Compilation; Java; Memory models

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAM LISTINGS; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS; MULTITASKING; OPTIMIZATION; SYNCHRONIZATION;

BYTECODES; SOURCE-LEVEL OPERATIONS;

STORAGE ALLOCATION (COMPUTER);

EID: 0034446989 PISSN: None EISSN: None Source Type: Journal
DOI: 10.1145/354222.353172 Document Type: Article

Times cited : (22)

References (19)

1
- 0030382365
- Shared memory consistency models: A tutorial
- Dec
- (1996) IEEE Computer , pp. 66-76
- Adve, S.V.¹ Gharachorloo, K.²

2
- 0003236872
- A multithreaded substrate and compilation model for the implicitly parallel language pH
- August
- (1996) Proceedings of the Workshop on Languages and Compilers for Parallel Computing
- Arvind¹ Caro, A.² Maessen, J.-W.³ Aditya, S.⁴

3
- 0029721693
- DAG-consistent distributed shared memory
- Apr
- (1996) Proceedings of the 10th International Parallel Processing Symposium
- Blumofe, R.¹ Frigo, M.² Joerg, C.³ Leiserson, C.⁴ Randall, K.⁵

4
- 0033203859
- Escape analysis for Java
- October
- (1999) OOPSLA 1999 Conference Proceedings
- Choi, J.-D.¹ Gupta, M.² Serrano, M.³ Sreedhar, V.C.⁴ Midkiff, S.⁵

5
- 0003525466
- Technical Memo 16, CAPSL Laboratory, Department of Electrical and Computer Engineering, University of Delaware, Feb
- (1998) Location Consistency - A New Memory Model and Cache Coherence Protocol
- Gao, G.R.¹ Sarkar, V.²

6
- 0003512886
- Phd. thesis, Stanford University
- (1995) Memory Consistency Models for Shared-Memory Multiprocessors
- Gharachorloo, K.¹

7
- 0003514990
- Technion/CS Technical Report CS0922, Computer Science Department, Technion, Nov
- (1997) Java consistency: Non-operational characterizations for java memory behavior
- Gontmakher, A.¹ Schuster, A.²

8
- 0003518498
- Addison-Wesley, Menlo Park, CA
- (1996) The Java Language Specification
- Gosling, J.¹ Joy, B.² Steele, G.³

9
- 4243341459
- Java memory model mailing list

10
- 0018518477
- How to make a multiprocessor computer that correctly executes multiprocess programs
- Sept
- (1979) IEEE Transactions on Computers , vol.C-28 , Issue.9 , pp. 690-691
- Lamport, L.¹

11
- 0004220511
- Addison-Wesley, Menlo Park, CA
- (1997) The Java Virtual Machine Specification
- Lindholm, T.¹ Yellin, F.²

12
- 0004278278
- Morgan Kaufmann
- (1994) The PowerPC Architecture: A Specification for A New Family of RISC Processors
- May, C.¹ Silha, E.² Simpson, R.³ Warren, H.⁴

13
- 0003079366
- Fixing the Java memory model
- June
- (1999) Proceedings of the ACM Java Grande Conference
- Pugh, W.¹

14
- 0004243121
- Cambridge University Press
- (1999) Concurrent Programming in ML
- Reppy, J.H.¹

15
- 0005080614
- PhD thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Oct
- (1999) Design and Verification of Adaptive Cache Coherence Protocols
- Shen, X.¹

16
- 0032671416
- Commit-reconcile & fences (CRF): A new memory model for architects and compiler writers
- May
- (1999) Proceedings of the 26th International Symposium On Computer Architecture, Atlanta, Georgia
- Shen, X.¹ Arvind² Rudolph, L.³

17
- 0003691648
- Butterworth-Heinemann
- (1995) Alpha AXP Architecture Reference Manual (Second Edition)
- Sites, R.L.¹ Witek, R.T.²

18
- 0004328283
- Prentice-Hall
- (1994) The SPARC Architecture Manual (Version 9)
- Weaver, D.L.¹ Germond, T.²

19
- 0033203864
- Compositional pointer and escape analysis for Java programs
- October
- (1999) OOPSLA 1999 Conference Proceedings
- Whaley, J.¹ Rinard, M.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.