546 search results - page 5 / 110 » An operational happens-before memory model |
CACM
2008
14 years 9 months ago
2008
TxLinux is the first operating system to use hardware transactional memory (HTM) as a synchronization primitive, and the first to manage HTM in the scheduler. TxLinux, which is a ...
PVM
2007
Springer
15 years 3 months ago
2007
Springer
llc is a language based on C where parallelism is expressed using compiler directives. The llc compiler produces MPI code which can be ported to both shared and distributed memory ...
82
Voted
IPPS
2010
IEEE
14 years 7 months ago
2010
IEEE
From the point of view of an operating system, a computer is managed and optimized in terms of the application programming model and the management of system resources. For the TF...
107
click to vote
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptio...
ISCA
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper quantifies the effect of architectural design decisions on the performance of TxLinux. TxLinux is a Linux kernel modified to use transactions in place of locking prim...