Results 41 to 50 of about 126,641 (259)

Avoiding Publication and Privatization Problems on Software Transactional Memory [PDF]

, 2011
This paper presents a new approach to exclude problems arising from dynamically switching between protected concurrent and unprotected single-threaded use of shared data when using software transactional memory in OO languages such as Java.
Machens, Holger, Turau, Volker
core   +1 more source

Software transactional distributed shared memory [PDF]

ACM SIGPLAN Notices, 2009
We have developed a transaction-based approach to distributed shared memory(DSM) that supports object caching and generates path expression prefetches. A path expression specifies a path through the heap that traverses the objects to be prefetched. To our knowledge, this is the first prefetching approach that can prefetch objects whose addresses have ...
Alokika Dash, Brian Demsky
openaire   +1 more source

FASTM: a log-based hardware transactional memory with fast abort recovery [PDF]

, 2009
Version management, one of the key design dimensions of Hardware Transactional Memory (HTM) systems, defines where and how transactional modifications are stored. Current HTM systems use either eager or lazy version management.
González Colás, Antonio María, Lupon Navazo, Marc, Magklis, Grigorios   +2 more
core   +1 more source

Insights into the Fallback Path of Best-Effort Hardware Transactional Memory Systems [PDF]

, 2016
DOI 10.1007/978-3-319-43659-3Current industry proposals for Hardware Transactional Memory (HTM) focus on best-effort solutions (BE-HTM) where hardware limits are imposed on transactions.
DJ Sorin, JM Mellor-Crummey, M Martin, MMK Martin, P Magnusson, T Harris, Y Afek   +6 more
core   +1 more source

On the Semantics of Snapshot Isolation [PDF]

, 2018
Snapshot isolation (SI) is a standard transactional consistency model used in databases, distributed systems and software transactional memory (STM).
A Cerone, A Raad, Brijesh Dongol, CH Papadimitriou, Gowtham Kaki, H Litz, H Litz, Jade Alglave, M Martin, O Lahav, RJ Dias, T Harris   +11 more
core   +2 more sources

Proving Opacity of Transactional Memory with Early Release

Foundations of Computing and Decision Sciences, 2015
Transactional Memory (TM) is an alternative way of synchronizing concurrent accesses to shared memory by adopting the abstraction of transactions in place of low-level mechanisms like locks and barriers.
Siek Konrad, Wojciechowski Paweł T.
doaj   +1 more source

HaTS: Hardware-Assisted Transaction Scheduler [PDF]

, 2020
In this paper we present HaTS, a Hardware-assisted Transaction Scheduler. HaTS improves performance of concurrent applications by classifying the executions of their atomic blocks (or in-memory transactions) into scheduling queues, according to their so ...
Chen, Zhanhao, Hassan, Ahmed, Kishi, Masoomeh Javidi, Nelson, Jacob, Palmieri, Roberto   +4 more
core   +1 more source

Performance Comparison of Various STM Concurrency Control Protocols Using Synchrobench [PDF]

, 2017
Writing concurrent programs for shared memory multiprocessor systems is a nightmare. This hinders users to exploit the full potential of multiprocessors.
Kumari, A, Monika, G, Peri, Sathya, Singh, A   +3 more
core   +2 more sources

Correctness of an STM Haskell implementation [PDF]

, 2012
A concurrent implementation of software transactional memory in Concurrent Haskell using a call-by-need functional language with processes and futures is given.
Bieniusa A., David Sabel, Hu L., Manfred Schmidt-Schauß, Schmidt-Schauß M., Schmidt-Schauß M., Shavit N., van Eekelen M. C. J. D.   +7 more
core   +3 more sources

Transactional Tasks: Parallelism in Software Transactions [PDF]

, 2016
Many programming languages, such as Clojure, Scala, and Haskell, support different concurrency models. In practice these models are often combined, however the semantics of the combinations are not always well-defined.
De Koster, Joeri, De Meuter, Wolfgang, Swalens, Janwillem   +2 more
core   +1 more source