Guava

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.


References in zbMATH (referenced in 4 articles , 1 standard article )

Showing results 1 to 4 of 4.
Sorted by year (citations)

  1. Skyrme, Alexandre; Rodriguez, Noemi; Ierusalimschy, Roberto: A survey of support for structured communication in concurrency control models (2014) ioport
  2. Carver, Richard H.; Lei, Yu: A class library for implementing, testing, and debugging concurrent programs (2010) ioport
  3. Ringenburg, Michael F.; Grossman, Dan: AtomCaml: first-class atomicity via rollback (2005)
  4. David F. Bacon, Robert E. Strom, Ashis Tarafdar: Guava: a dialect of Java without data races (2000) not zbMATH