[图书][B] Shared-memory synchronization

ML Scott, T Brown - 2013 - Springer
This monograph grows out of nearly 40 years of experience in synchronization and
concurrent data structures. Though written primarily from the perspective of systems …

Wait-free dynamic transactions for linked data structures

P LaBorde, L Lebanoff, C Peterson, D Zhang… - Proceedings of the 10th …, 2019 - dl.acm.org
Transactional data structures support threads executing a sequence of operations
atomically. Dynamic transactions allow operands to be generated on the fly and allows …

Enabling concurrency on smart contracts using multiversion ordering

A Zhang, K Zhang - Web and Big Data: Second International Joint …, 2018 - Springer
Blockchain-based platforms, such as Ethereum, allow transactions in blocks to call user-
defined scripts named smart contracts. In the blockchain network, after being generated by a …

Check-wait-pounce: Increasing transactional data structure throughput by delaying transactions

L Lebanoff, C Peterson, D Dechev - … Conference, DAIS 2019, Held as Part …, 2019 - Springer
Transactional data structures allow data structures to support transactional execution, in
which a sequence of operations appears to execute atomically. We consider a paradigm in …

Read-uncommitted transactions for smart contract performance

V Cook, Z Painter, C Peterson… - 2019 IEEE 39th …, 2019 - ieeexplore.ieee.org
Smart contract transactions demonstrate issues of performance and correctness that
application programmers must work around. Although the blockchain consensus …

Deferred runtime pipelining for contentious multicore software transactions

S Mu, S Angel, D Shasha - … of the Fourteenth EuroSys Conference 2019, 2019 - dl.acm.org
DRP is a new concurrency control protocol for software transactional memory that achieves
high throughput, even for skewed workloads that exhibit high contention. DRP builds on …

A transactional correctness tool for abstract data types

C Peterson, D Dechev - ACM Transactions on Architecture and Code …, 2017 - dl.acm.org
Transactional memory simplifies multiprocessor programming by providing the guarantee
that a sequential block of code in the form of a transaction will exhibit atomicity and isolation …

Loft: Lock-free transactional data structures

A Elizarov, G Golan-Gueta, E Petrank - Proceedings of the 24th …, 2019 - dl.acm.org
Concurrent data structures are widely used in modern multicore architectures, providing
atomicity (linearizability) for each concurrent operation. However, it is often desirable to …

Lock-free transactional adjacency list

Z Painter, C Peterson, D Dechev - International Workshop on Languages …, 2017 - Springer
Adjacency lists are frequently used in graphing or map based applications. Although
efficient concurrent linked-list algorithms are well known, it can be difficult to adapt these …

Transactional Composition of Nonblocking Data Structures

W Cai, H Wen, ML Scott - Proceedings of the 35th ACM Symposium on …, 2023 - dl.acm.org
This paper introduces nonblocking transaction composition (NBTC), a new methodology for
atomic composition of nonblocking operations on concurrent data structures. Unlike …