5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.DC2020
Lazy State Determination: More concurrency for contending linearizable transactions
Tiago M. Vale, João Leitão, Nuno Preguiça +3
The concurrency control algorithms in transactional systems limits concurrency to provide strong semantics, which leads to poor performance under high contention. As a consequence,…
cs.DC2015★ 5 cited
Preventing Atomicity Violations with Contracts
Diogo G. Sousa, Ricardo J. Dias, Carla Ferreira +1
Software developers are expected to protect concurrent accesses to shared regions of memory with some mutual exclusion primitive that ensures atomicity properties to a sequence of…