8 citations · 13 across the 3 of their papers we have counts for
3 papers
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,…
Pot: Deterministic transactional execution
Tiago M. Vale, João A. Silva, Ricardo J. Dias +1
This paper presents Pot, a system that leverages the concept of preordered transactions to achieve deterministic multithreaded execution of programs that use Transactional Memory.…
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…