메뉴 건너뛰기




Volumn , Issue , 2008, Pages 63-74

Semantics of transactional memory and automatic mutual exclusion

Author keywords

operational semantics; STM; transactional memory

Indexed keywords

ATOMIC BLOCKS; CONCURRENT PROGRAMMING; CONFLICT DETECTION; EFFICIENT IMPLEMENTATION; IMPLEMENTATION STRATEGIES; IN-PLACE UPDATE; LANGUAGE CONSTRUCTS; LANGUAGE FEATURES; MUTUAL EXCLUSIONS; NON-TRIVIAL; OPERATIONAL SEMANTICS; OPTIMISTIC CONCURRENCY; PROGRAMMING MODELS; ROLL BACK; SOFTWARE TRANSACTIONAL MEMORY; STM; TRANSACTIONAL MEMORY; TYPE SYSTEMS;

EID: 84865626596     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1328438.1328449     Document Type: Conference Paper
Times cited : (96)

References (29)
  • 1
    • 33745425614 scopus 로고    scopus 로고
    • Types for safe locking: Static race detection for Java
    • Martin Abadi, Cormac Flanagan, and Stephen N. Freund. Types for safe locking: Static race detection for Java. ACM Trans. Program. Lang. Syst., 28(2):207-255, 2006.
    • (2006) ACM Trans. Program. Lang. Syst. , vol.28 , Issue.2 , pp. 207-255
    • Abadi, M.1    Flanagan, C.2    Freund, S.N.3
  • 3
    • 0025433676 scopus 로고
    • Weak ordering - A new definition
    • Sarita V. Adve and Mark D. Hill. Weak ordering - a new definition. SIGARCH Comput. Archit. News, 18(3a):2-14, 1990.
    • (1990) SIGARCH Comput. Archit. News , vol.18 , Issue.3 A , pp. 2-14
    • Adve, S.V.1    Hill, M.D.2
  • 13
    • 0012583283 scopus 로고    scopus 로고
    • Featherweight Java: A minimal core calculus for Java and GJ
    • Atsushi Igarashi, Benjamin C. Pierce, and Philip Wadler. Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst., 23(3):396-450, 2001.
    • (2001) ACM Trans. Program. Lang. Syst. , vol.23 , Issue.3 , pp. 396-450
    • Igarashi, A.1    Pierce, B.C.2    Wadler, P.3
  • 17
    • 34547500273 scopus 로고    scopus 로고
    • Technical Report 1571, U. Wisconsin-Madison, Version 1.0
    • Ben Liblit. An operational semantics for LogTM. Technical Report 1571, U. Wisconsin-Madison, 2006. Version 1.0.
    • (2006) An Operational Semantics for LogTM
    • Liblit, B.1
  • 19
    • 17044378871 scopus 로고    scopus 로고
    • The Java memory model
    • ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
    • Jeremy Manson, William Pugh, and Sarita V. Adve. The Java memory model. In POPL '05: Proc. 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 378-391, 2005b.
    • (2005) POPL '05: Proc. 32nd , pp. 378-391
    • Manson, J.1    Pugh, W.2    Adve, S.V.3


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