439 search results - page 11 / 88 » Stretching transactional memory |
CONCUR
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. Dynamic separation is a new programming discipline for systems with transactional memory. We study it formally in the setting of a small calculus with transactions. We pr...
MICRO
2010
IEEE
13 years 1 months ago
2010
IEEE
Today's transactional memory systems implement the two-phase-locking (2PL) algorithm which aborts transactions every time a conflict happens. 2PL is a simple algorithm that pr...
SOSP
1997
ACM
13 years 8 months ago
1997
ACM
Abstract: Transactions and recoverable memories are powerful mechanisms for handling failures and manipulating persistent data. Unfortunately, standard recoverable memories incur a...
FMCAD
2007
Springer
14 years 26 days ago
2007
Springer
—We show how to verify the correctness of transactional memory implementations with a model checker. We show how to specify transactional memory in terms of the admissible interc...
PODC
2010
ACM
13 years 10 months ago
2010
ACM
Distributed transactional memory (TM) models based on globally-consistent contention management policies may abort many transactions that could potentially commit without violatin...