Guava swMATH ID: 22683 Software Authors: David F. Bacon, Robert E. Strom, Ashis Tarafdar Description: Guava: a dialect of Java without data races. We introduce Guava, a dialect of Java whose rules statically guarantee that parallel threads access shared data only through synchronized methods. Our dialect distinguishes three categories of classes: (1) monitors, which may be referenced from multiple threads, but whose methods are accessed serially; (2) values, which cannot be referenced and therefore are never shared; and (3) objects, which can have multiple references but only from within one thread, and therefore do not need to be synchronized. Guava circumvents the problems associated with today’s Java memory model, which must define behavior when concurrent threads access shared memory without synchronization.We present an overview of the syntax and the semantic rules of Guava. We discuss how implementations of Guava can exploit these rules to re-enable compiler optimizations inhibited by standard Java. We discuss how compilers for certain multiprocessor architectures can automatically generate certain programming idioms, such as double-check reads, as optimizations of serialized monitors. Homepage: https://dl.acm.org/citation.cfm?id=353197 Keywords: Concurrency; Monitors; Java; data races; thread safety; TOMS_publication Related Software: Modula; AtomCaml; PLAN; Atomizer; OCaml; QuakeTM; Linda; LIME; Erlang; Scala; muJava; ConTest; Eraser; Java PathFinder; Ada95; veriSoft Cited in: 1 Publication Standard Articles 1 Publication describing the Software Year Cited by 2 Authors 1 Grossman, Dan 1 Ringenburg, Michael F. Cited in 0 Serials Cited in 1 Field 1 Computer science (68-XX) Citations by Year