Sciweavers

2703 search results - page 39 / 541
» Optimizing memory transactions
Sort
View
PPOPP
2009
ACM
14 years 9 months ago
A comprehensive strategy for contention management in software transactional memory
In Software Transactional Memory (STM), contention management refers to the mechanisms used to ensure forward progress-to avoid livelock and starvation, and to promote throughput ...
Michael F. Spear, Luke Dalessandro, Virendra J. Ma...
DC
2010
13 years 8 months ago
Model checking transactional memories
Model checking software transactional memories (STMs) is difficult because of the unbounded number, length, and delay of concurrent transactions and the unbounded size of the memo...
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
VLDB
1990
ACM
143views Database» more  VLDB 1990»
14 years 21 days ago
Synthesizing Database Transactions
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
Xiaolei Qian
ADBIS
2008
Springer
90views Database» more  ADBIS 2008»
13 years 10 months ago
An Advanced Transaction Model for Recovery Processing of Integration Processes
Integration processes are increasingly used in order to integrate distributed and heterogeneous systems. Although transactional behavior of workflows has been discussed extensively...
Matthias Böhm, Dirk Habich, Wolfgang Lehner, ...
MICRO
2007
IEEE
137views Hardware» more  MICRO 2007»
14 years 2 months ago
Implementing Signatures for Transactional Memory
Transactional Memory (TM) systems must track the read and write sets—items read and written during a transaction—to detect conflicts among concurrent transactions. Several TM...
Daniel Sanchez, Luke Yen, Mark D. Hill, Karthikeya...