Showing cs.DCShow all
3 papers · 1 filter
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…
cs.DC2024
Concurrent aggregate queries
Gal Sela, Erez Petrank
Concurrent data structures serve as fundamental building blocks for concurrent computing. Many concurrent counterparts have been designed for basic sequential mechanisms; however,…