36 search results - page 2 / 8 » An implementation and semantics for transactional memory int... |
POPL
2009
ACM
13 years 11 months ago
2009
ACM
Haskell has a rich set of synchronization primitives for implemented-state concurrency abstractions, ranging from the very high level (Software Transactional Memory) to the very l...
FLOPS
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. This paper explores the feasibility of re-expressing concurrent algorithms with explicit locks in terms of lock free code written using Haskell's implementation of s...
HASKELL
2005
ACM
13 years 10 months ago
2005
ACM
Multi-core processors are coming, and we need ways to program them. The combination of purely-functional programming and explicit, monadic threads, communicating using transaction...
CAL
2006
13 years 5 months ago
2006
Abstract-- Transactional memory has great potential for simplifying multithreaded programming by allowing programmers to specify regions of the program that must appear to execute ...
CC
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We introduce the design and implementation of dynamic separation (DS) as a programming discipline for using transactional memory. Our approach is based on the programmer ...