2 citations · 4 across the 4 of their papers we have counts for
4 papers · 1 filter
Space-Time Trade-off in Bounded Iterated Memory
Guillermo Toyos-Marfurt, Petr Kuznetsov
The celebrated asynchronous computability theorem (ACT) characterizes tasks solvable in the read-write shared-memory model using the unbounded full-information protocol, where in e…
Read-Write Memory and k-Set Consensus as an Affine Task
Eli Gafni, Yuan He, Petr Kuznetsov +1
The wait-free read-write memory model has been characterized as an iterated \emph{Immediate Snapshot} (IS) task. The IS task is \emph{affine}---it can be defined as a (sub)set of s…
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}…
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…