The Wayback Machine - http://web.archive.org/web/20221127041955/https://github.com/topics/transactional-memory

#

transactional-memory

Here are 28 public repositories matching this topic...

mtak- / swym

Efficient transactional memory in rust.

rust transactional-memory software-transactional-memory

Updated Aug 2, 2021
Rust

hspp

BowenFu / hspp

Sponsor

hspp: An experimental library to bring Haskell Style Programming to C++.

haskell parser-combinators cpp functional-programming concurrency transactional-memory stm monad concurrent-programming cpp17 monadic-interface cpp-library do-notation software-transactional-memory monadic cpp20 parser-combinator

Updated Oct 24, 2022
C++

TimWSpence / cats-stm

An STM implementation for Cats Effect

cats scala functional-programming transactional-memory monad software-transactional-memory cats-effect

Updated Nov 24, 2022
Scala

smarr / SOMns

SOMns: A Newspeak for Concurrency Research

java language debugging csp research interpreter actors truffle newspeak som smalltalk concurrency transactional-memory

Updated Nov 16, 2022
Java

DeuceSTM / DeuceSTM

Java Software Transactional Memory

java transactional-memory

Updated Jun 16, 2020
Java

readablesystems / sto

Software Transactional Objects

database cpp concurrency transactional-memory measurement parallel-programming tpcc inmemory-db transaction-processing

Updated Sep 1, 2022
C++

pramalhe / RedoDB

The world's first wait-free KV store with generic durable linearizable transactions

rocksdb transactional-memory non-volatile-memory persistent-memory lock-free wait-free key-value-store

Updated Feb 26, 2022
C++

picotm / picotm

Portable Integrated Customizable and Open Transaction Manager

linux fault-tolerance concurrency transactional-memory posix concurrent-programming transactions operating-systems picotm

Updated Jul 2, 2020
C

caizixian / rtm-bench

Sponsor

Artifact for our ISMM 2021 Paper "Understanding and Utilizing Hardware Transactional Memory Capacity"

benchmark transactional-memory rtm tsx htm

Updated Jun 24, 2021
C

BazookaMusic / TSXGuard

A header only thread synchronization library using Intel RTM (Restricted Transactional Memory)

synchronization transactional-memory lock-free threads cplusplus-11 hardware-transactional-memory intel-tsx intel-rtm

Updated Sep 2, 2022
C++

ashvardanian / consistent_set

If only std::set was a DBMS: templated ACID in-memory exception-free thread-safe containers in a header-only library

metaprogramming concurrency transactional-memory in-memory acid in-memory-database

Updated Nov 21, 2022
C++

sidmishraw / stm-reworked-go

An optimistic software transactional memory in Go

golang transactional-memory stm software-transactional-memory

Updated Dec 7, 2017
Go

lematt1991 / ICFP15-Coq-Proofs

Proofs of correctness for "Partial Aborts for Software Transactional Memory" formalized in Coq

coq transactional-memory proof theorem-proving stm software-transactional-memory

Updated May 26, 2016
Coq

jswalens / stm-in-clojure

Meta-circular Clojure STM implementation

clojure research concurrency transactional-memory transaction teaching parallelism stm software-transactional-memory

Updated Nov 17, 2014
Clojure

jswalens / transactional-actors

Transactional Actors for Clojure

clojure research actor-model concurrency transactional-memory transaction parallelism stm actor software-transactional-memory

Updated Sep 19, 2017
Java

jswalens / transactional-futures

Transactional Futures and Promises for Clojure. Experimental.

clojure research concurrency transactional-memory transaction parallelism stm future futures software-transactional-memory

Updated Nov 4, 2015
Java

picotm / picotm-demo

picotm Demo Application. This application reads, processes and visualizes data. Where possible, thread communication and error handling is build on top of picotm transactions.

linux fault-tolerance concurrency transactional-memory transactions picotm

Updated Oct 27, 2018
M4

jaopaulolc / PhTM-Star

transactional-memory parallel-programming

Updated Dec 27, 2019
C++

PunchShadow / STAMP-Lock

Coarse-grained lock version of STAMP(Stanford Transactional Applications for Multi-Processing) benchmark suite

transactional-memory benchmark-suite

Updated Jun 14, 2022
C

poolmaster / stm

software transactional memory with HW-acceleration

transactional-memory

Updated Aug 1, 2017
C

Improve this page

Add a description, image, and links to the transactional-memory topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the transactional-memory topic, visit your repo's landing page and select "manage topics."