Skip to search formSkip to main contentSkip to account menu
  • Publications
  • Influence
Transactional Locking II
TLDR
This paper introduces the transactional locking II (TL2) algorithm, a software transactional memory (STM) algorithm based on a combination of commit-time locking and a novel global version-clock based validation technique, which is ten-fold faster than a single lock.
View via Publisher
The art of multiprocessor programming
TLDR
This talk will survey the area ofTransactional memory, a computational model in which threads synchronize by optimistic, lock-free transactions, with a focus on open research problems.
View on ACM
Software transactional memory
TLDR
STM is used to provide a general highly concurrent method for translating sequential object implementations to non-blocking ones based on implementing a k-word compare&swap STM-transaction, and outperforms Herlihy’s translation method for sufficiently large numbers of processors.
View on ACM
The topological structure of asynchronous computability
TLDR
This work introduces a new formalism for tasks, based on notions from classical algebraic and combinatorial topology, in which a task''s possible input and output values are each associated with high-dimensional geometric structures called simplicial complexes, and characterize computability in terms of the topological properties of these complexes.
View on ACM
Flat combining and the synchronization-parallelism tradeoff
TLDR
This work uses flat-combining to devise, among other structures, new linearizable stack, queue, and priority queue algorithms that greatly outperform all prior algorithms.
View on ACM
Atomic snapshots of shared memory
TLDR
A general formulation of atonuc wzap~hot rnenzory, a shared memory partitioned into words written (apduted) by individual processes, or instantaneously read (scanned) in its entirety is introduced.
View on ACM
Deep Learning is Robust to Massive Label Noise
TLDR
It is shown that deep neural networks are capable of generalizing from training data for which true labels are massively outnumbered by incorrect labels, and that training in this regime requires a significant but manageable increase in dataset size that is related to the factor by which correct labels have been diluted.
View PDF on arXiv
The asynchronous computability theorem for t-resilient tasks
TLDR
The main theorem characterizes computability y in terms of the topological properties of a simplicial complex so that a given task is computable only if it can be associated with a complex that is simply connected with trivial homology groups.
View on ACM
A Lazy Concurrent List-Based Set Algorithm
We present a novel “lazy” list-based implementation of a concurrent set object. It is based on an optimistic locking scheme for inserts and removes and includes a simple wait-free membership test.…
View via Publisher
The Art of Multiprocessor Programming, Revised Reprint
TLDR
This revised edition of The Art of Multiprocessor Programming incorporates much-demanded updates throughout the book, based on feedback and corrections reported from classrooms since 2008.
...
...
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License