jfbastien / no-sane-compilerLinks
No sane compiler would optimize atomics: the presentation
☆107Updated 8 years ago
Alternatives and similar repositories for no-sane-compiler
Users that are interested in no-sane-compiler are comparing it to the libraries listed below
Sorting:
- multi-way atomic compare-and-swap with x64/TSX☆86Updated 8 years ago
- A collection of clang plugins for safer C programming☆91Updated 6 years ago
- compile time assembly interpreter☆85Updated 7 years ago
- A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren☆58Updated 3 years ago
- A Fast, Multicore-Scalable, Low-Fragmentation Memory Allocator☆163Updated last month
- checkedthreads: no race condition goes unnoticed! Simple API, automatic load balancing, Valgrind-based checking☆294Updated 11 years ago
- bit & sketches data structures☆60Updated 6 years ago
- Semantic syntax highlighting and hyperlinking of C/C++ source code with libclang. (Demo: https://oberon00.github.io/synth)☆169Updated 9 years ago
- Many functions in C for sorting the nibbles in an 8-byte word☆33Updated 10 years ago
- A C++ library for concurrent programming☆71Updated 4 years ago
- ☆329Updated 9 years ago
- A library for Study Group 14 of Working Group 21 (C++)☆35Updated 7 years ago
- Benchmark showing the we can randomly hash strings very quickly with good universality☆137Updated 6 months ago
- A dependency-based coroutine scheduler☆45Updated 8 years ago
- An-source C library developed and used at AppNexus.☆110Updated 5 years ago
- Demonstration of LLVM's opt-viewer tool☆71Updated 8 years ago
- fast SIMD-able JIT regular expression compiler☆197Updated 10 years ago
- Experiments with array layouts for comparison-based searching☆84Updated last year
- Support for Currying and Function Composition in C++☆61Updated 10 years ago
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆184Updated 6 years ago
- Propositional Encodings in C++11☆18Updated 6 years ago
- transducers in C++ 14☆40Updated 10 years ago
- Binary floating-point to decimal string conversion algorithm.☆104Updated 7 years ago
- High-performance multicore-scalable data structures and benchmarks☆142Updated 6 years ago
- Functional Utilities for C++☆40Updated 10 years ago
- Missed optimizations in C compilers☆341Updated 7 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 9 years ago
- Embedding x86 assembly code in C++ with metaprogramming using a domain specific language.☆188Updated 9 years ago
- Generates benchmark data for two different data structures, then renders some graphs.☆112Updated 5 years ago
- Persistent immutable data structures for C++☆283Updated 9 years ago