dvyukov / relacyView external linksLinks
Automatically exported from code.google.com/p/relacy
☆247Feb 3, 2026Updated last week
Alternatives and similar repositories for relacy
Users that are interested in relacy are comparing it to the libraries listed below
Sorting:
- Lock-free Transactions without Rollbacks for Linked Data Structures☆23Sep 1, 2022Updated 3 years ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆38Sep 4, 2013Updated 12 years ago
- A C++ library providing various concurrent data structures and reclamation schemes.☆634Aug 7, 2025Updated 6 months ago
- An efficient and practical queueing for fast core-to-core communication http://psy-lob-saw.blogspot.co.uk/2013/11/spsc-iv-look-at-bqueue.…☆21Apr 27, 2017Updated 8 years ago
- Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the …☆2,607Updated this week
- Lightweight C++ task system☆82Aug 2, 2017Updated 8 years ago
- Configurable C++ platform adapter☆559Feb 14, 2019Updated 7 years ago
- UTF-8 grapheme counting library written in C99.☆18Jun 30, 2024Updated last year
- ASL libraries will be migrated here in the stlab namespace, new libraries will be created here.☆676Dec 20, 2025Updated last month
- A C++ library of Concurrent Data Structures☆2,729Oct 17, 2023Updated 2 years ago
- Explicit preconditions for function parameters☆16Aug 10, 2023Updated 2 years ago
- Asynchronous file I/O for Tokio☆48Jun 14, 2025Updated 7 months ago
- Linear vs binary search benchmark☆41Dec 12, 2019Updated 6 years ago
- Concurrent data structures in C++☆1,447Oct 1, 2020Updated 5 years ago
- The Herd toolsuite to deal with .cat memory models (version 7.xx)☆289Updated this week
- Bloom filter alternative (C++)☆18Nov 8, 2018Updated 7 years ago
- A benchmark to compare synchronization techniques for multicore programming☆348Jul 3, 2025Updated 7 months ago
- C++ micro benchmark library☆98Mar 1, 2017Updated 8 years ago
- Automatically exported from code.google.com/p/gosmith☆53Nov 16, 2015Updated 10 years ago
- Experimental deferred and unordered destruction library for C++☆914May 16, 2019Updated 6 years ago
- A memory allocator that automatically reduces the memory footprint of C/C++ applications.☆1,846Feb 6, 2026Updated last week
- Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…☆90Dec 6, 2025Updated 2 months ago
- LLVM IR generation "middle end" for LLVM-based go compiler.☆18Oct 11, 2022Updated 3 years ago
- ☆444Oct 25, 2025Updated 3 months ago
- Fast wait-free algorithms designed for shared memory systems☆45May 4, 2018Updated 7 years ago
- Adobe Source Libraries☆291Feb 6, 2026Updated last week
- Instant compile time C++ 11 metaprogramming library☆573Sep 7, 2022Updated 3 years ago
- A bounded multi-producer multi-consumer concurrent queue written in C++11☆1,475Mar 8, 2024Updated last year
- Unified Executors☆1,683Feb 6, 2026Updated last week
- A fast single-producer, single-consumer lock-free queue for C++☆4,482Jun 25, 2025Updated 7 months ago
- generic stack-based container☆110Feb 23, 2018Updated 7 years ago
- Concurrent work-stealing deque☆48Nov 5, 2018Updated 7 years ago
- Concurrent hash map for Rust☆17Sep 18, 2016Updated 9 years ago
- An unordered C++ data container providing fast iteration/insertion/erasure while maintaining pointer/iterator validity to non-erased elem…☆485Jan 2, 2026Updated last month
- A C++ library implementing linear algebra, text and file IO, UTF-N conversions, containers, image loading/saving, image quantization/filt…☆68Dec 7, 2025Updated 2 months ago
- Pathtracer pet project. Follow the interesting bits of its development in my blog.☆11Oct 4, 2023Updated 2 years ago
- This repo is a mirror of the official userspace-rcu git found at git://git.lttng.org/userspace-rcu.git. liburcu is a LGPLv2.1 userspace R…☆719Jan 26, 2026Updated 2 weeks ago
- CppCon 2019 Talk: slides and source code☆48Sep 27, 2019Updated 6 years ago
- A library for enabling task-based multi-threading. It allows execution of task graphs with arbitrary dependencies.☆978Mar 21, 2025Updated 10 months ago