| 
|
Quote: use Flanagan and Abadi's race-free type system to prove that Guava objects are never concurrently accessed
topics >
all references >
references a-b >
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
safe use of pointers
Topic:
memory management by regions or memory pool
Topic:
race conditions
Topic:
function signature
Topic:
concurrent operations
Quotation Skeleton
We now formalize the type checking rules that … system of Flanagan and Abadi [CONCUR '99, ESOP '99]. A particularization … In Guava, every variable has a region type, … to Flanagan and Abadi's permissions and protection annotations. … [p. 392] These checking rules guarantee that whenever a … could become shared if another thread were to … to use a two-phase lock protocol in which … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: in Guava every variable has a region type and every method has a region type signature Quote: read methods of Guava monitors can execute concurrently
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: safe use of pointers (102 items)
Topic: memory management by regions or memory pool (17 items)
Topic: race conditions (30 items)
Topic: function signature (21 items)
Topic: concurrent operations (22 items)