Sciweavers

268 search results - page 4 / 54
» Language constructs for transactional memory
Sort
View
ASPLOS
2010
ACM
15 years 9 months ago
Speculative parallelization using software multi-threaded transactions
With the right techniques, multicore architectures may be able to continue the exponential performance trend that elevated the performance of applications of all types for decades...
Arun Raman, Hanjun Kim, Thomas R. Mason, Thomas B....
150
Voted
CONCUR
2009
Springer
15 years 9 months ago
Perspectives on Transactional Memory
Abstract. We examine the role of transactional memory from two perspectives: that of a programming language with atomic actions and that of implementations of the language. We argu...
Martín Abadi, Tim Harris
94
Voted
PLDI
2009
ACM
15 years 9 months ago
An implementation and semantics for transactional memory introspection in Haskell
Arnar Birgisson, Úlfar Erlingsson
120
Voted
IFM
2010
Springer
124views Formal Methods» more  IFM 2010»
15 years 1 months ago
Safe Commits for Transactional Featherweight Java
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
Thi Mai Thuong Tran, Martin Steffen
126
Voted
JUCS
2010
129views more  JUCS 2010»
15 years 1 months ago
An Extensible Interpreter Framework for Software Transactional Memory
: Software transactional memory (STM) is a new approach for coordinating concurrent threads, for which many different implementation strategies are currently being researched. In ...
Charlotte Herzeel, Pascal Costanza, Theo D'Hondt