Results 11 to 20 of about 79,892 (211)
PIM-STM: Software Transactional Memory for Processing-In-Memory Systems [PDF]
International Conference on Architectural Support for Programming Languages and Operating SystemsProcessing-In-Memory (PIM) is a novel approach that augments existing DRAM memory chips with lightweight logic. By allowing to offload computations to the PIM system, this architecture allows for circumventing the data-bottleneck problem that affects ...
André Lopes +2 more
openalex +3 more sources
Fault Tolerant Distributed Python Software Transactional Memory
Advances in Electrical and Computer Engineering, 2020 Much of the previous research has been done on distributed software transactional memories targeting data centers in Internet clouds, which resulted in nondeterministic and nonrealtime middleware solutions mainly written in Java and C++.
POPOVIC, M. +3 more
doaj +2 more sources
Revisiting software transactional memory in Haskell [PDF]
ACM SIGPLAN Symposium/Workshop on Haskell, 2016 Software Transactional Memory (STM) has become very popular in Haskell. Currently, there are nearly 500 packages on Haskell’s package archive that directly use STM.
Matthew Le, Ryan Yates, Matthew Fluet
openalex +2 more sources
Deadline-aware scheduling for Software Transactional Memory
2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN), 2011 Software Transactional Memory (STM) is an optimistic concurrency control mechanism that simplifies the development of parallel programs. Still, the interest of STM has not yet been demonstrated for reactive applications that require bounded response time for some of their operations.
Walther Maldonado +5 more
openalex +4 more sources
Formal Verification of Python Software Transactional Memory Based on Timed Automata
Acta Polytechnica Hungarica, 2019 Nowadays Software Transactional Memories (STMs) are used in safety-critical software, such as computational-chemistry simulation programs. To the best of our knowledge, the existing STMs were not developed using rigorous model-driven development process,
Branislav Kordic +2 more
openalex +2 more sources
Software Transactional Memory in Pure Python [PDF]
SciPy, 2017 There has been a growing interest in programming models for concurrency. Strategies for dealing with shared data amongst parallel threads of execution include immutable (as in Erlang) and locked (as in Python) data structures.
Dillon Niederhut
openalex +2 more sources
Remote Transaction Commit: Centralizing Software Transactional Memory Commits
IEEE Transactions on Computers, 2016 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hassan, Ahmed +2 more
openaire +3 more sources
Encyclopedia of Database Systems, 2009 This thesis presents technology overview of software transactional memory and related technologies. Concurrent programming is one of the hardest tasks a programmer can face. The classic solution is the use of locking, which limits concurrent accesses to shared data structures. Unfortunately, locking suffers from a multitude of problems.
K. Fraser
semanticscholar +4 more sources
Opacity of Memory Management in Software Transactional Memory [PDF]
, 2013 Opacity of Transactional Memory is proposed to be established by incremental validation. Quiescence in terms of epoch-based memory reclamation is applied to deal with doomed transactions causing memory access violations. This method unfortunately involves increased memory consumption and does not cover reclamations outside of transactions.
Holger Machens, Volker Turau
openalex +3 more sources