rusnikola / wfe
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:
- Quick sort code using AVX2 instructions☆68Updated 7 years ago
- ☆13Updated 2 years ago
- SIMD recipes, for various platforms (collection of code snippets)☆48Updated 3 years ago
- Tasking 2.0☆16Updated 3 years ago
- measure entropy of memory allocators☆12Updated 3 years ago
- Software transactional memory system developed at Wyatt Technology☆28Updated 5 years ago
- Some variations on Lemire's Fast Random Integer Generation in an Interval☆15Updated 5 years ago
- A small DFA for under 16 states☆51Updated 6 years ago
- Multiplication using AVX512 and AVX512IFMA instructions☆23Updated 9 years ago
- A low-latency malloc implementation☆25Updated 4 years ago
- stateless model checking for thread libraries, kernels, and transactional memory☆10Updated 6 years ago
- Hyaline Reclamation (PLDI '21, PODC '19)☆21Updated 3 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- Bloom filter alternative (C++)☆18Updated 6 years ago
- SIMDized check which bytes are in a set☆28Updated 6 years ago
- ☆22Updated 5 months ago
- A binary serialisation format inspired by YAML, MessagePack and nvlists.☆32Updated 4 years ago
- Shuffle-based predicate matcher and all-round branch free swiss army chainsaw☆17Updated 6 years ago
- ssmem is a simple object-based memory allocator with epoch-based garbage collection☆34Updated 8 years ago
- ☆23Updated 2 years ago
- A proof-of-concept for a fast regex matcher using lossy NFA matching on SIMD☆12Updated 5 years ago
- Local-affinity first NUMA-aware allocator with optional fallback.☆24Updated 4 years ago
- Sequence data structure with efficient random access insert and erase☆13Updated last year
- An extension of triple-buffering to multiple-consumer scenarios☆7Updated 2 weeks ago
- ☆13Updated 6 years ago
- ☆12Updated last year
- A small test for multithreaded C++ stack unwinding on unixes☆16Updated 5 years ago
- A TLA+ formalization of the algorithm described in "Paxos Made Simple"☆21Updated 3 months ago
- Counting the collisions with perl hash tables per function☆12Updated 5 years ago
- A cross-platform RISC-V interpreter that implements the RV32IMA instruction set.☆24Updated 2 years ago