Core semantics of multithreaded Java

Authors:
Jeremy Manson;William Pugh
Affiliations:
Institute for Advanced Computer Science and Dept. of Computer Science, Univ. of Maryland, College Park;Institute for Advanced Computer Science and Dept. of Computer Science, Univ. of Maryland, College Park
Venue:
Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande
Year:
2001

Citing 6
Cited 10

Lazy release consistency for software distributed shared memory

ISCA '92 Proceedings of the 19th annual international symposium on Computer architecture
Fixing the Java memory model

JAVA '99 Proceedings of the ACM 1999 conference on Java Grande
Memory consistency and event ordering in scalable shared-memory multiprocessors

ISCA '90 Proceedings of the 17th annual international symposium on Computer Architecture
Improving the Java memory model using CRF

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Java Virtual Machine Specification

Java Virtual Machine Specification
The Java Language Specification

The Java Language Specification

Specifying multithreaded Java semantics for program verification

Proceedings of the 24th International Conference on Software Engineering
Specifying Java thread semantics using a uniform memory model

JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
Formal Reasoning about Hardware and Software Memory Models

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Analysis of Multithreaded Programs

SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Stack allocation and synchronization optimizations for Java using escape analysis

ACM Transactions on Programming Languages and Systems (TOPLAS)
On the design of global object space for efficient multi-threading Java computing on clusters

Parallel Computing - Special issue: Parallel and distributed scientific and engineering computing
Impact of Java Memory Model on Out-of-Order Multiprocessors

Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques
The Java memory model

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A termination analyzer for Java bytecode based on path-length

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Java has integrated multithreading to a far greater extent than most programming languages. It is also one of the only languages that specifies and requires safety guarantees for improperly synchronized programs. It turns out that understanding these issues is far more subtle and difficult than was previously thought. The existing specification makes guarantees that prohibit standard and proposed compiler optimizations; it also omits guarantees that are necessary for safe execution of much existing code. Some guarantees that are made (e.g., type safety) raise tricky implementation issues when running unsynchronized code on SMPs with weak memory models.This paper reviews those issues. It proposes a new core semantics for Java that allows for aggressive compiler optimization and addresses the safety and multithreading issues. Due to space constraints, certain side issues are addressed only in the full version of the semantics [8].