rusnikola / wfeLinks
Wait-Free Eras (PPoPP '20)
☆10Updated 5 years ago
Alternatives and similar repositories for wfe
Users that are interested in wfe are comparing it to the libraries listed below
Sorting:
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- Quick sort code using AVX2 instructions☆69Updated 8 years ago
- stateless model checking for thread libraries, kernels, and transactional memory☆10Updated 6 years ago
- ☆13Updated 2 years ago
- A small DFA for under 16 states☆51Updated 7 years ago
- Software transactional memory system developed at Wyatt Technology☆29Updated 5 years ago
- ☆13Updated 6 years ago
- ☆23Updated 9 months ago
- SIMD recipes, for various platforms (collection of code snippets)☆49Updated 4 years ago
- Multiplication using AVX512 and AVX512IFMA instructions☆23Updated 9 years ago
- A small test for multithreaded C++ stack unwinding on unixes☆16Updated 5 years ago
- A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic☆12Updated last year
- A low-latency malloc implementation☆25Updated 4 years ago
- A workshop for comparing buddy allocator algorithms☆16Updated 7 years ago
- A cross-platform RISC-V interpreter that implements the RV32IMA instruction set.☆24Updated 3 years ago
- A TLA+ formalization of the algorithm described in "Paxos Made Simple"☆21Updated 7 months ago
- ☆28Updated 2 years ago
- Hyaline Reclamation (PLDI '21, PODC '19)☆22Updated 4 years ago
- a small C++ lattice library☆15Updated 5 years ago
- 8-bit Xor Filter in C99☆61Updated 5 years ago
- A SIMD-based C++ library providing rank/select queries over mutable bitmaps.☆35Updated 2 years ago
- Counting the collisions with perl hash tables per function☆12Updated 6 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 5 years ago
- ☆23Updated 2 years ago
- Information about AVX-512 support on recent Intel processors☆45Updated 3 years ago
- A basic implementation of the Small Primes Number-Theoretic Transform (NTT) multiplication algorithm.☆24Updated 7 years ago
- TP-PARSEC: A Task Parallel PARSEC Benchmark Suite☆11Updated 4 years ago
- A binary serialisation format inspired by YAML, MessagePack and nvlists.☆32Updated 5 years ago
- Collection of techniques for (binary) string searching☆24Updated 5 years ago
- Lace - implementation of work-stealing in C☆53Updated last month