Showing cs.DCShow all
3 papers · 1 filter
cs.DC2026
On the Limits of Causal Observation in Shared-Memory Systems
Gilde Valeria Rodríguez, Armando Castañeda, Miguel Piña
Reasoning about concurrent system correctness requires detecting real-time operation precedence (<_H). In asynchronous shared-memory systems, real-time precedence and information-f…
cs.DC2022
Modular Baskets Queue
Armando Castañeda, Miguel Piña
A modular version of the baskets queue of Hoffman, Shalev and Shavit is presented. It manipulates the head and tail using a novel object called load-link/increment-conditional, whi…
cs.DC2020
Fully Read/Write Fence-Free Work-Stealing with Multiplicity
Armando Castañeda, Miguel Piña
Work-stealing is a popular technique to implement dynamic load balancing in a distributed manner. In this approach, each process owns a set of tasks that have to be executed. The o…