goodell / cppmemLinks
totally unofficial git repo containing sources for the CppMem tool available at http://svr-pes20-cppmem.cl.cam.ac.uk/cppmem/help.html and discussed in the Batty et al. paper at POPL 2011 (http://www.cl.cam.ac.uk/~pes20/cpp/popl085ap-sewell.pdf)
☆26Updated 12 years ago
Alternatives and similar repositories for cppmem
Users that are interested in cppmem are comparing it to the libraries listed below
Sorting:
- Automatically exported from code.google.com/p/google-concurrency-library☆35Updated 9 years ago
- Sample implementation of C++20 atomic_wait/notify☆59Updated 5 years ago
- ☆21Updated 6 years ago
- Fast, shared, upgradeable, non-recursive and non-fair mutex☆32Updated 7 years ago
- A set of benchmarking tools used to quantify the performance of BDE-style polymorphic allocators.☆33Updated 9 years ago
- EDSL for C++ to make just-in-time code generation easier☆86Updated 2 years ago
- A C++ memory pool that is Boost-friendly and performance oriented (zero-malloc).☆22Updated last week
- Compile-time-efficient proof-of-concept implementation for std::tuple☆94Updated 3 years ago
- Literal Logging for C++☆86Updated 7 years ago
- A proposal for a executor programming model for ISO C++☆140Updated 4 years ago
- Seamless llvm-mca CMake integration☆27Updated 5 years ago
- Implementation of hash_append proposal☆67Updated 8 years ago
- Task graph-based asynchronous programming system using C++ coroutine☆92Updated last year
- C++20 Coroutines and io_uring☆52Updated 2 years ago
- Helpers for preventing the static initialization order fiasco of global variables.☆46Updated 5 years ago
- A C++ library that simplifies working with tuples, variants, and more through argument list generation and the ability to convert from ru…☆62Updated 5 years ago
- C++20 liburing backed coroutine executor and event loop framework.☆66Updated 3 years ago
- C++ interface to CPU affinity management☆30Updated 7 years ago
- Hartmut Kaiser and Bryce Lelbach's version of Boost.Lockfree☆14Updated 14 years ago
- fast prime sieve and hash algorithm☆38Updated 2 months ago
- A C++ 14 implementation of graph data structures☆34Updated 8 years ago
- A proposal for a futures programming model for ISO C++☆22Updated 7 years ago
- Effcee is a C++ library for stateful pattern matching of strings, inspired by LLVM's FileCheck☆101Updated 2 weeks ago
- Slides and presentations☆69Updated 3 years ago
- ☆108Updated last year
- ☆26Updated 5 years ago
- A C++ coroutine library for writing asynchronous distributed applications using Boost ASIO, Qt, gRPC, ROS2, TAO, ..., as communication f…☆40Updated last week
- C++ Scattered Containers☆67Updated 8 years ago
- Effective Memory Reclamation☆58Updated 5 years ago
- Boost.Sort☆53Updated last week