Distributed, Parallel, and Cluster Computing · Computer Science
Lock-Free Locks Revisited
Naama Ben-David, Guy E. Blelloch, Yuanhao Wei
2022-02-01
Distributed, Parallel, and Cluster Computing · Computer Science
Local Mutual Exclusion for Dynamic, Anonymous, Bounded Memory Message Passing Systems
Joshua J. Daymude, Andréa W. Richa, Christian Scheideler
2022-02-25
Distributed, Parallel, and Cluster Computing · Computer Science
Mutable Locks: Combining the Best of Spin and Sleep Locks
Romolo Marotta, Davide Tiriticco, Pierangelo Di Sanzo, Alessandro Pellegrini +2
2023-06-02
Programming Languages · Computer Science
A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering
Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
2011-10-20
Distributed, Parallel, and Cluster Computing · Computer Science
ALock: Asymmetric Lock Primitive for RDMA Systems
Amanda Baran, Jacob Nelson-Slivon, Lewis Tseng, Roberto Palmieri
2024-04-30
Distributed, Parallel, and Cluster Computing · Computer Science
An Adaptive Approach to Recoverable Mutual Exlcusion
Sahil Dhoked, Neeraj Mittal
2020-08-04
Distributed, Parallel, and Cluster Computing · Computer Science
On the Runtime of Local Mutual Exclusion for Anonymous Dynamic Networks
Anya Chaturvedi, Joshua J. Daymude, Andréa W. Richa
2025-05-23
Distributed, Parallel, and Cluster Computing · Computer Science
Adaptive and Fair Transformation for Recoverable Mutual Exclusion
Sahil Dhoked, Neeraj Mittal
2021-10-19
Programming Languages · Computer Science
Recursive Mutexes in Separation Logic
Ke Du, William Mansky, Paolo G. Giarrusso, Gregory Malecha
2026-02-02
Distributed, Parallel, and Cluster Computing · Computer Science
Protecting Locks Against Unbalanced Unlock()
Vivek Shahare, Milind Chabbi, Nikhil Hegde
2023-04-25
Distributed, Parallel, and Cluster Computing · Computer Science
Optimal Memory-Anonymous Symmetric Deadlock-Free Mutual Exclusion
Zahra Aghazadeh, Damien Imbs, Michel Raynal, Gadi Taubenfeld +1
2018-10-10
Distributed, Parallel, and Cluster Computing · Computer Science
Supporting Lock-Free Composition of Concurrent Data Objects
Daniel Cederman, Philippas Tsigas
2009-10-05
Distributed, Parallel, and Cluster Computing · Computer Science
Fast and Fair Randomized Wait-Free Locks
Naama Ben-David, Guy E. Blelloch
2022-11-01
Distributed, Parallel, and Cluster Computing · Computer Science
Fast and Scalable Group Mutual Exclusion
Shreyas Gokhale, Neeraj Mittal
2019-07-09
Distributed, Parallel, and Cluster Computing · Computer Science
Constant RMR Recoverable Mutex under System-wide Crashes
Prasad Jayanti, Siddhartha Jayanti, Anup Joshi
2023-02-03
Cryptography and Security · Computer Science
TOPLOC: A Locality Sensitive Hashing Scheme for Trustless Verifiable Inference
Jack Min Ong, Matthew Di Ferrante, Aaron Pazdera, Ryan Garner +4
2025-06-03
Performance · Computer Science
Delegation with Trust<T>: A Scalable, Type- and Memory-Safe Alternative to Locks
Noaman Ahmad, Ben Baenen, Chen Chen, Jakob Eriksson
2024-08-22