goodell / cppmem
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)
☆24Updated 12 years ago
Alternatives and similar repositories for cppmem:
Users that are interested in cppmem are comparing it to the libraries listed below
- A proposal for a futures programming model for ISO C++☆22Updated 6 years ago
- C++17 sports two low-level character conversion functions, std::from_chars and std::to_chars, but they have a usage model that can be ea…☆8Updated 5 years ago
- c++ wrapper around libpapi☆51Updated 7 years ago
- ☆17Updated 4 months ago
- Fast, shared, upgradeable, non-recursive and non-fair mutex☆30Updated 6 years ago
- Sample implementation of C++20 atomic_wait/notify☆59Updated 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…☆61Updated 4 years ago
- devector and batch_deque containers for C++. See more at: http://erenon.hu/double_ended☆15Updated 7 years ago
- ☆26Updated 4 years ago
- A Low-latency, Locality-conscious Memory Allocator with Stable Performance Scalability☆68Updated 11 years ago
- P1160 Add Test Polymorphic Memory Resource To Standard Library☆40Updated 4 months ago
- C++20 Coroutines and io_uring☆48Updated 2 years ago
- A collection of eclectic tools for measuring performance using the cycle counter and pinning threads.☆39Updated 8 months ago
- ☆21Updated 5 years ago
- a small lightweight std::execution work-alike☆57Updated this week
- Compile-time-efficient proof-of-concept implementation for std::tuple☆93Updated 3 years ago
- A proposal for a executor programming model for ISO C++☆138Updated 4 years ago
- Implementation of the P2300 specification☆8Updated 3 years ago
- Issues list for P2300☆25Updated 7 months ago
- A basic implementation of C++ Concepts in C++14 (CppCon 2016 Lightning Talks)☆37Updated 8 years ago
- Effective Memory Reclamation☆54Updated 5 years ago
- Code samples from the presentation "What do you mean by 'Cache Friendly'?"☆23Updated 4 years ago
- C++ asynchronous interface for gRPC based on https://github.com/3rdparty/eventuals.☆20Updated 2 years ago
- A simple replacement for std::unordered_map☆47Updated 6 months ago
- Examples and presentation for Pacific++/MeetingC++ talk "Benchmarking C++. From video games to algorithmic trading"☆17Updated 4 years ago
- Easily batch-build cmake projects!☆17Updated 9 months ago
- Boost.Sort☆52Updated 2 months ago
- Cache-friendly associative STL-like container with an Eytzinger (BFS) layout for C++☆31Updated 7 years ago
- C++20 SIMD Within A Register library☆29Updated 6 months ago
- pushmi project☆50Updated 5 years ago