Coordination avoidance in database systems

P Bailis, A Fekete, MJ Franklin, A Ghodsi… - Proceedings of the …, 2014 - dl.acm.org
Minimizing coordination, or blocking communication between concurrently executing
operations, is key to maximizing scalability, availability, and high performance in database …

Rethinking serializable multiversion concurrency control

JM Faleiro, DJ Abadi - arxiv preprint arxiv:1412.2324, 2014 - arxiv.org
Multi-versioned database systems have the potential to significantly increase the amount of
concurrency in transaction processing because they can avoid read-write conflicts …

The scalable commutativity rule: Designing scalable software for multicore processors

AT Clements, MF Kaashoek, N Zeldovich… - ACM Transactions on …, 2015 - dl.acm.org
What opportunities for multicore scalability are latent in software interfaces, such as system
call APIs? Can scalability challenges and opportunities be identified even before any …

Practical smart contract sharding with ownership and commutativity analysis

G Pîrlea, A Kumar, I Sergey - Proceedings of the 42nd ACM SIGPLAN …, 2021 - dl.acm.org
Sharding is a popular way to achieve scalability in blockchain protocols, increasing their
throughput by partitioning the set of transaction validators into a number of smaller …

[BUKU][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 …

Quantitative relaxation of concurrent data structures

TA Henzinger, CM Kirsch, H Payer, A Sezgin… - Proceedings of the 40th …, 2013 - dl.acm.org
There is a trade-off between performance and correctness in implementing concurrent data
structures. Better performance may be achieved at the expense of relaxing correctness, by …

Is Parallel Programming Hard, And, If So, What Can You Do About It?(Release v2023. 06.11 a)

PE McKenney - arxiv preprint arxiv:1701.00854, 2017 - arxiv.org
The purpose of this book is to help you program shared-memory parallel systems without
risking your sanity. Nevertheless, you should think of the information in this book as a …

{SEPH}: Scalable, Efficient, and Predictable Hashing on Persistent Memory

C Wang, J Hu, TY Yang, Y Liang… - 17th USENIX Symposium …, 2023 - usenix.org
With the merits of high density, non-volatility, and DRAM-scale latency/bandwidth, persistent
memory (PM) brings hope to high-performance storage systems, in which hashing-based …

A linearizability-based hierarchy for concurrent specifications

A Castañeda, S Rajsbaum, M Raynal - Communications of the ACM, 2022 - dl.acm.org
A Linearizability-based Hierarchy for Concurrent Specifications Page 1 86 COMMUNICATIONS
OF THE ACM | JANUARY 2023 | VOL. 66 | NO. 1 review articles IMA GE B Y CREA TIVENEK O …

[PDF][PDF] Resizable, scalable, concurrent hash tables via relativistic programming

J Triplett, PE McKenney, J Walpole - 2011 USENIX Annual Technical …, 2011 - usenix.org
We present algorithms for shrinking and expanding a hash table while allowing concurrent,
wait-free, linearly scalable lookups. These resize algorithms allow Read-Copy Update …