75 citations · 160 across the 38 of their papers we have counts for
Showing 2014 · cs.DCShow all
3 papers · 2 filters
cs.DC2014★ 2 cited
On Partial Wait-Freedom in Transactional Memory
Petr Kuznetsov, Srivatsan Ravi
Transactional memory (TM) is a convenient synchronization tool that allows concurrent threads to declare sequences of instructions on shared data as speculative \emph{transactions}…
cs.DC2014
Inherent Limitations of Hybrid Transactional Memory
Dan Alistarh, Justin Kopinsky, Petr Kuznetsov +2
Several Hybrid Transactional Memory (HyTM) schemes have recently been proposed to complement the fast, but best-effort, nature of Hardware Transactional Memory (HTM) with a slow, r…
cs.DC2014
Strong Equivalence Relations for Iterated Models
Zohir Bouzid, Eli Gafni, Petr Kuznetsov
The Iterated Immediate Snapshot model (IIS), due to its elegant geometrical representation, has become standard for applying topological reasoning to distributed computing. Its mod…