ruigulala / ConAnalysis
Concurrency Bug Vulnerability Analysis
☆12Updated 7 years ago
Alternatives and similar repositories for ConAnalysis:
Users that are interested in ConAnalysis are comparing it to the libraries listed below
- ☆26Updated 5 years ago
- the Stanford Transactional Applications for Multi-Processing; a benchmark suite for transactional memory research☆42Updated 3 years ago
- GCC port of TM system Mnemosyne☆30Updated 6 years ago
- Simulator for comparing memory allocation policies for caches.☆19Updated 5 years ago
- A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if yo…☆60Updated 11 years ago
- Transparent Paxos☆44Updated 5 years ago
- Graspan-G is a GPU-based version of Graspan.☆9Updated 3 years ago
- ☆41Updated 3 years ago
- Efficiently Detecting Concurrency Bugs in Persistent Memory Programs (ASPLOS 2022)☆8Updated 3 years ago
- This is the open-source site for XFDetector (ASPLOS'20)☆11Updated 4 years ago
- A Filesystem Semi-Microkernel.☆39Updated last year
- ☆20Updated 7 years ago
- An RDMA-powered, fast, and scalable Paxos protocol☆25Updated 5 years ago
- This is a C++ implementation of Graspan.☆32Updated last year
- Proactive-adaptive arbitration between shipping compute and shipping data☆18Updated 3 years ago
- ☆49Updated last year
- WHISPER is a comprehensive benchmark suite for emerging persistent memory technologies.☆48Updated 6 years ago
- ☆31Updated last year
- Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems☆15Updated 8 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).☆76Updated 3 years ago
- Fast In-memory Transaction Processing using Hybrid RDMA Primitives☆66Updated 6 years ago
- This repository contains the source code for our ACM SIGMOD '21 paper (Maximizing Persistent Memory Bandwidth Utilization for OLAP Worklo…☆21Updated 2 years ago
- Strata: A Cross Media File System☆71Updated last year
- Characterizing and Modeling Non-Volatile Memory Systems [MICRO'20, TopPicks'21]☆33Updated 3 years ago
- Hodor-PKU☆23Updated 3 years ago
- µSuite: A Benchmark Suite for Microservices☆43Updated 4 years ago
- LITE Kernel RDMA Support for Datacenter Applications. SOSP 2017.☆107Updated 4 years ago
- ☆25Updated last year
- ☆13Updated 3 years ago
- A Memory-Disaggregated Managed Runtime.☆65Updated 3 years ago