8 citations · 16 across the 6 of their papers we have counts for
5 papers · 1 filter
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,…
Time-Aware Publish/Subscribe for Networks of Mobile Devices
João A. Silva, Hervé Paulino, João M. Lourenço +2
Smart mobile devices are increasingly ubiquitous and are the primary source of user-generated content, and current communication infrastructures are failing in keeping up with the…
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…
Control and Debugging of Distributed Programs Using Fiddle
Joao Lourenco, Jose C. Cunha, Vitor Moreira
The main goal of Fiddle, a distributed debugging engine, is to provide a flexible platform for developing debugging tools. Fiddle provides a layered set of interfaces with a minima…