X

Author Profile

Dave Dice

Senior Research Scientist

Fence Strength

A memory model discussion about fence strength that spans 2 or more days or two or more participants strongly suggests that the most conservatively strong...

Towards an Efficient Pauseless Java GC with Selective HTM-Based Access Barriers - in ManLang 2017

Towards an Efficient Pauseless Java GC with Selective HTM-Based Access Barriers appears in ManLang 2017 -- formerly PPPJ  (http://d3s.mff.cuni.cz/conferences/ma...

Malthusian Locks

Malthusian Locks appears in EuroSys 2017. An extended version is in arxiv.Abstract: Applications running in modern multithreaded environments are sometimes over...

Transactional Pointers: Experiences with HTM-Based Reference Counting in C++

Transactional Pointers: Experiences with HTM-Based Reference Counting in C++ by Maria Carpen-Amarie , Dave Dice, Gaël Thomas and Pascal Felber appeared in NETYS...

An Inflatable SeqLock

The following is inspired by some discussions with John Rose on how we might implement atomic access to value type "tuples" for subsequent JDK releases. As I...

Mitigating the Java nanoTime coherence hotspot

Java's nanoTime() API guarantees a monotonic (really, non-retrograde) relative clock source. It's also expected to be causal in the following sense. Say thread...

Preemption tolerant MCS locks

A simple test-and-set based spin lock is a reasonable choice when contention is nil or low. Lock handover is relatively efficient and there's no need to...

Fast Non-intrusive Memory Reclamation for Highly-Concurrent Data Structures

Fast Non-intrusive Memory Reclamation for Highly-Concurrent Data Structures by Dave Dice, Maurice Herlihy and Alex Kogan, in ISMM 2016Abstract:Current memory...

Transact 2016

Appearing in Transact 2016: Lock Holder Preemption avoidance via Transactional Lock Elision (slides) and The Influence of Malloc Placement on TSX Hardware...