columbia / smt-mcLinks
The Parrot stable and deterministic multi-threading system.
☆25Updated 11 years ago
Alternatives and similar repositories for smt-mc
Users that are interested in smt-mc are comparing it to the libraries listed below
Sorting:
- ☆32Updated 7 years ago
- Diamond reactive programming platform☆25Updated 3 years ago
- Transparent Paxos☆44Updated 6 years ago
- A DSL for efficient Graph Analysis☆102Updated 6 years ago
- The StreamIt compiler infrastructure.☆71Updated 8 years ago
- GPUfs - File system support for NVIDIA GPUs☆94Updated 6 years ago
- an API and runtime environment for data processing with MapReduce for shared-memory multi-core & multiprocessor systems.☆96Updated last year
- Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming☆48Updated 9 years ago
- MapReduce for multi-core☆49Updated 11 years ago
- dthreads: Efficient Deterministic Multithreading☆52Updated 10 years ago
- ASCYLIB (with OPTIK) is a concurrent-search data-structure library with over 40 implementantions of linked lists, hash tables, skip lists…☆180Updated 7 years ago
- GPU model checker☆11Updated 6 years ago
- Automated multicore scalability testing tool☆88Updated 9 years ago
- The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.☆69Updated 9 years ago
- GPUVerify: a Verifier for GPU Kernels☆63Updated 2 years ago
- Traditional data-structure designs, whether lock-based or lock-free, provide parallelism via fine grained synchronization among threads. …☆30Updated 14 years ago
- MICA: A Fast In-memory Key-Value Store (see isca2015 branch for the ISCA2015 version)☆208Updated 9 years ago
- A Lightweight Graph Processing Framework for Multi-GPUs☆14Updated 10 years ago
- Sheriff consists of two tools: Sheriff-Detect, a false-sharing detector, and Sheriff-Protect, a false-sharing eliminator that you can lin…☆32Updated 7 years ago
- ☆26Updated 7 years ago
- Atlas: Programming for Persistent Memory☆76Updated 4 years ago
- Official public repository for TinySTM (tmware.org)☆48Updated 10 years ago
- Library wrapper and system-level tracing utilities☆47Updated 8 years ago
- ☆32Updated 7 years ago
- Tapir extension to LLVM for optimizing Parallel Programs☆135Updated 5 years ago
- A tool for measuring the cache-coherence latencies of a processor (i.e., the latencies of loads, stores, CAS, FAI, TAS, and SWAP).☆78Updated 3 years ago
- ssmem is a simple object-based memory allocator with epoch-based garbage collection☆34Updated 9 years ago
- A source-to-source compiler for automatic parallelization of C programs through code annotation.☆62Updated 5 years ago
- LiTL: Library for Transparent Lock Interposition☆83Updated 2 years ago
- doppioDB - A hardware accelerated database☆49Updated 8 years ago