1147 search results - page 13 / 230 » Virtualizing Transactional Memory |
SOSP
1997
ACM
15 years 2 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
15 years 7 months 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...
109
click to vote
PODC
2010
ACM
15 years 5 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...
120
click to vote
JCIT
2007
15 years 1 months ago
2007
The embedded system has less fast CPU and lower memory than PC(Personal Computer) or Workstation system. Therefore, the embedded operating system is designed to efficiently use th...
109
click to vote
MICRO
2010
IEEE
14 years 11 months ago
2010
IEEE
Most Hardware Transactional Memory (HTM) implementations choose fixed version and conflict management policies at design time. While eager HTM systems store transactional state in-...