546 search results - page 6 / 110 » An operational happens-before memory model |
MICRO
2008
IEEE
14 years 9 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...
ICPP
1995
IEEE
15 years 1 months ago
1995
IEEE
Data-parallel primitives for performing operations on the PM1 quadtree and the bucket PMR quadtree are presented using the scan model. Algorithms are described for building these ...
ICA3PP
2005
Springer
15 years 3 months ago
2005
Springer
Shared Memory is an interesting communication paradigm for SMP machines and clusters. Weak consistency models have been proposed to improve efficiency of shared memory applications...
119
click to vote
SENSYS
2010
ACM
14 years 7 months ago
2010
ACM
Enix is a lightweight dynamic operating system for tightly constrained platforms for wireless sensor networks (WSN). Enix provides a cooperative threading model, which is applicab...
PLDI
2012
ACM
13 years 1 days ago
2012
ACM
Modern architectures implement relaxed memory models which may reorder memory operations or execute them non-atomically. Special instructions called memory fences are provided, al...