columbia / smt-mcLinks
The Parrot stable and deterministic multi-threading system.
☆25Updated 12 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:
- Transparent Paxos☆45Updated 6 years ago
- ☆32Updated 8 years ago
- The StreamIt compiler infrastructure.☆71Updated 9 years ago
- Tapir extension to LLVM for optimizing Parallel Programs☆132Updated 5 years ago
- Diamond reactive programming platform☆26Updated 3 years ago
- an API and runtime environment for data processing with MapReduce for shared-memory multi-core & multiprocessor systems.☆95Updated last year
- ASCYLIB (with OPTIK) is a concurrent-search data-structure library with over 40 implementantions of linked lists, hash tables, skip lists…☆182Updated 7 years ago
- Library wrapper and system-level tracing utilities☆47Updated 8 years ago
- GPUfs - File system support for NVIDIA GPUs☆99Updated 7 years ago
- A DSL for efficient Graph Analysis☆103Updated 7 years ago
- The Contech analysis framework provides the means for generating and analyzing task graphs that enable computer architects and programmer…☆53Updated last month
- A tool for measuring the cache-coherence latencies of a processor (i.e., the latencies of loads, stores, CAS, FAI, TAS, and SWAP).☆79Updated 3 years ago
- MapReduce for multi-core☆50Updated 12 years ago
- Automated multicore scalability testing tool☆88Updated 9 years ago
- A C library to support applications that map Non-Volatile Memory into their address space for load/store access.☆58Updated 6 years ago
- Grappa: scaling irregular applications on commodity clusters☆159Updated 8 years ago
- Atlas: Programming for Persistent Memory☆76Updated 5 years ago
- Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming☆49Updated 10 years ago
- GPU model checker☆11Updated 6 years ago
- Official public repository for TinySTM (tmware.org)☆49Updated 11 years ago
- The Optimistic File System (OptFS) is a Linux ext4 variant that implements Optimistic Crash Consistency, a new approach to crash consiste…☆35Updated 12 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
- ssmem is a simple object-based memory allocator with epoch-based garbage collection☆34Updated 9 years ago
- A Lightweight Graph Processing Framework for Multi-GPUs☆14Updated 10 years ago
- MICA: A Fast In-memory Key-Value Store (see isca2015 branch for the ISCA2015 version)☆212Updated 9 years ago
- GPUVerify: a Verifier for GPU Kernels☆74Updated 3 years ago
- LiTL: Library for Transparent Lock Interposition☆84Updated 2 years ago
- SILT: A Memory-Efficient, High-Performance Key-Value Store☆177Updated 3 years ago
- A parallel, distributed simulator for multicores.☆184Updated 10 years ago
- The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.☆70Updated 9 years ago