software transactional memory (STM) is a concurrency control mechanism analogous to database transactions for controlling access to shared memory in...
17 KB (2,117 words) - 01:35, 7 November 2024
placed within a transaction. Transactional memory is limited in that it requires a shared-memory abstraction. Although transactional memory programs cannot...
21 KB (2,277 words) - 16:47, 21 August 2024
Transactional Synchronization Extensions (TSX), also called Transactional Synchronization Extensions New Instructions (TSX-NI), is an extension to the...
26 KB (2,449 words) - 10:33, 30 May 2023
SXM is a software transactional memory system under development at Microsoft Research. The SXM API is exposed via managed code and is used to synchronize...
2 KB (85 words) - 19:00, 15 December 2019
Lock (computer science) (redirect from Lock (software engineering))
knowing about their internals. Simon Peyton Jones (an advocate of software transactional memory) gives the following example of a banking application: design...
28 KB (3,522 words) - 20:27, 27 November 2024
Optimistic concurrency control (category Transaction processing)
control method applied to transactional systems such as relational database management systems and software transactional memory. OCC assumes that multiple...
11 KB (1,073 words) - 16:19, 5 April 2024
Concurrent Haskell (category Free software programmed in Haskell)
system (OS) level threads, usually one per processor core. The software transactional memory (STM) extension to Glasgow Haskell Compiler (GHC) reuses the...
11 KB (1,177 words) - 07:01, 5 December 2024
topology to distributed computing, as well as hardware and software transactional memory. He is the An Wang Professor of Computer Science at Brown University...
6 KB (361 words) - 07:23, 13 September 2024
Distributed operating system (category History of software)
Sagas Transactional Memory Composable memory transactions Transactional memory: architectural support for lock-free data structures Software transactional...
44 KB (5,106 words) - 06:56, 19 October 2024
shared memory computability, and a winner of the 2012 Dijkstra Prize for the introduction and first implementation of software transactional memory. He is...
5 KB (374 words) - 14:56, 25 October 2024
Free and open-source software portal Lightning Memory-Mapped Database (LMDB) is an embedded transactional database in the form of a key-value store. LMDB...
31 KB (3,310 words) - 18:46, 19 October 2024
showing it could be used to create easy-to-apply yet efficient software transactional memory (STM). Greenwald points out that an advantage of DCAS vs CAS...
5 KB (736 words) - 12:42, 23 December 2022
Glasgow Haskell Compiler (category Cross-platform free software)
types, concurrent and parallel programming models (such as software transactional memory and data parallelism) and a profiler. Peyton Jones, and Marlow...
19 KB (1,872 words) - 07:28, 5 December 2024
Torvald Riegel (Technische Universitaet Dresden), for his thesis Software Transactional Memory Building Blocks 2013 Asia Slowinska (Vrije Universiteit Amsterdam)...
17 KB (1,309 words) - 03:58, 13 November 2024
32-bit microcontroller integrated circuits by STMicroelectronics Software transactional memory, a method of handling concurrency in multithreaded systems Stepper...
3 KB (445 words) - 12:09, 13 October 2024
Concurrent computing (redirect from Software concurrency)
concurrent systems. Software transactional memory borrows from database theory the concept of atomic transactions and applies them to memory accesses. Concurrent...
29 KB (2,970 words) - 22:39, 20 December 2024
List of databases using MVCC (category Lists of software)
JBoss Cache – v 3.0 Ehcache – v 1.6.0-beta4 Clojure – language software transactional memory Apache Jackrabbit Oak Berkeley DB Reference Guide: Degrees of...
8 KB (529 words) - 19:53, 24 October 2024
"stm-containers" adapts the algorithm for use in the context of software transactional memory. A Javascript HAMT library based on the Clojure implementation...
6 KB (613 words) - 22:49, 23 December 2024
Kenji; et al. "scala-stm: A library-based Software Transactional Memory (STM) for Scala, coupled with transactional sets and maps". GitHub. Archived from...
17 KB (1,953 words) - 20:32, 19 December 2024
approval, including the fifth and final part of TS 18661, a software transactional memory specification, and parallel library extensions. ANSI C is now...
18 KB (1,776 words) - 07:08, 14 December 2024
Storm: a fast transactional dataplane for remote data structures: https://dl.acm.org/doi/abs/10.1145/3319647.3325827 Storm: a fast transactional dataplane...
7 KB (729 words) - 19:44, 12 November 2024
achieve acceptable performance. However, the emerging field of software transactional memory promises standard abstractions for writing efficient non-blocking...
19 KB (2,385 words) - 18:21, 5 November 2024
Concurrency control (category Transaction processing)
Variable used in a concurrent system Software transactional memory – Concurrency control mechanism in software Transactional Synchronization Extensions – Extension...
24 KB (2,976 words) - 21:42, 15 December 2024
Glossary of computer science (redirect from List of computer software terms)
transaction processing (transaction management), and various transactional applications (e.g., transactional memory and software transactional memory)...
214 KB (23,805 words) - 16:22, 5 November 2024
main memory. In software engineering, in-memory processing is a software architecture where a database is kept entirely in random-access memory (RAM)...
16 KB (1,944 words) - 06:55, 21 December 2024
Notable in-memory database system software includes: "Data models & modeling · ArangoDB v3.4.2 Documentation". docs.arangodb.com. Retrieved 2019-01-27...
15 KB (189 words) - 03:11, 18 December 2024
Partitioned global address space Parallel programming model Software transactional memory Official website UPC at LBNL UPC at GWU Archived 2012-07-08...
4 KB (267 words) - 18:41, 1 July 2023
computations such as error handling, nondeterminism, parsing and software transactional memory. They are defined as ordinary datatypes, but Haskell provides...
50 KB (4,569 words) - 04:06, 11 October 2024
PyPy (category 2007 software)
support for numerical calculations and software transactional memory support to allow better parallelism. Free software portal Computer programming portal...
17 KB (1,679 words) - 04:37, 17 November 2024
returned by the runST above. The STM monad is an implementation of Software Transactional Memory in Haskell. It is implemented in the GHC compiler, and allows...
30 KB (3,537 words) - 04:24, 27 February 2024