Results 11 to 20 of about 126,641 (259)
Analytical/ML Mixed Approach for Concurrency Regulation in Software Transactional Memory [PDF]
, 2014 In this article we exploit a combination of analytical and Machine Learning (ML) techniques in order to build a performance model allowing to dynamically tune the level of concurrency of applications based on Software Transactional Memory (STM).
Diego Rughetti +3 more
openalex +4 more sources
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
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
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
Control of Autonomic Parallelism Adaptation on Software Transactional Memory [PDF]
International Symposium on High Performance Computing Systems and Applications, 2016 International audienceParallel programs need to manage the trade-off between the time spent in synchronization and computation. A high parallelism may decrease computing time while increase synchronization cost among threads.
Delaval, Gwenaël +4 more
core +4 more sources