2678 search results - page 12 / 536 » Operational Semantics of Transactions |
132
click to vote
ESOP
2004
Springer
15 years 11 months ago
2004
Springer
A transaction defines a locus of computation that satisfies important concurrency and failure properties; these so-called ACID properties provide strong serialization guarantees ...
175
click to vote
CACM
2008
15 years 6 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 ...
160
click to vote
MICRO
2008
IEEE
15 years 5 months ago
2008
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 primit...
144
click to vote
RTSS
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper, issues involved in the design of a real-time database which maintains data temporal consistency are discussed. The concept of data-deadline is introduced and time co...
140
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
nt programs require high-level abstractions in order to manage complexity and enable compositional reasoning. In this paper, we introduce a novel concurrency abstraction, dubbed t...