Title
Eliminating read barriers through procrastination and cleanliness
Abstract
Managed languages typically use read barriers to interpret forwarding pointers introduced to keep track of copied objects. For example, in a multicore environment with thread-local heaps and a global, shared heap, an object initially allocated on a local heap may be copied to a shared heap if it becomes the source of a store operation whose target location resides on the shared heap. As part of the copy operation, a forwarding pointer may be established in the original object to point to the copied object. This level of indirection avoids the need to update all of the references to the object that has been copied. In this paper, we consider the design of a managed runtime that eliminates read barriers. Our design is premised on the availability of a sufficient degree of concurrency to stall operations that would otherwise necessitate the copy. Stalled actions are deferred until the next local collection, avoiding exposing forwarding pointers to the mutator. In certain important cases, procrastination is unnecessary -- lightweight runtime techniques can sometimes be used to allow objects to be eagerly copied when their set of incoming references is known, or when it can be determined that having multiple copies would not violate program semantics. We evaluate our techniques on 3 platforms: a 16-core AMD64 machine, a 48-core Intel SCC, and an 864-core Azul Vega 3. Experimental results over a range of parallel benchmarks indicate that our approach leads to notable performance gains (20 - 32% on average) without incurring any additional complexity.
Year
DOI
Venue
2012
10.1145/2258996.2259005
ISMM
Keywords
Field
DocType
lightweight runtime technique,multiple copy,shared heap,thread-local heap,original object,managed runtime,copy operation,exposing forwarding pointer,local heap,forwarding pointer,functional language,functional languages,concurrent programming
Pointer (computer programming),Indirection,Programming language,Functional programming,Concurrency,Computer science,Parallel computing,Heap (data structure),Real-time computing,Concurrent computing,Multi-core processor,Semantics
Conference
Volume
Issue
ISSN
47
11
0362-1340
Citations 
PageRank 
References 
3
0.42
16
Authors
3
Name
Order
Citations
PageRank
K. C. Sivaramakrishnan1689.12
Lukasz Ziarek229135.09
Suresh Jagannathan343523.83