2 papers
cs.DC2025
Strong Linearizability without Compare&Swap: The Case of Bags
Faith Ellen, Gal Sela
Because strongly-linearizable objects provide stronger guarantees than linearizability, they serve as valuable building blocks for the design of concurrent data structures. Yet, ma…
cs.DC2025
A Study of Synchronization Methods for Concurrent Size
Hen Kas-Sharir, Gal Sela, Erez Petrank
The size of collections, maps, and data structures in general, constitutes a fundamental property. An implementation of the size method is required in most programming environments…