Guava: A dialect of Java without data races

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

Volumn 35, Issue 10, 2000, Pages 382-400

  Bacon, D F ^a   Strom, R E ^a   Tarafdar, A ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

Data races; Java; Monitors; Thread safety

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER MONITORS; DATA STORAGE EQUIPMENT; MULTIPROCESSING SYSTEMS; PARALLEL PROCESSING SYSTEMS; PROGRAM COMPILERS; SEMANTICS;

PARALLEL THREADS; PROGRAMMING LANGUAGE GUAVA;

JAVA PROGRAMMING LANGUAGE;

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

References (27)

1. Structured multiprogramming
2. The programming language concurrent Pascal
3. The Solo operating system
4. Java's insecure parallelism
5. Promises: Limited specifications for analysis and manipulation
6. Object types against races
7. Types for safe locking
8. Type-based race detection for Java
9. Monitors: An operating system structuring concept
10. Islands: Aliasing protection in object-oriented languages
11. On optimistic methods for concurrency control
12. Polymorphic effect systems
13. Fixing the Java memory model
14. Synactic control of interference
15. Double-checked locking
16. Design and implementation of Modula
17. Modula: A language for modular multiprogramming