jfbastien / no-sane-compilerLinks
No sane compiler would optimize atomics: the presentation
☆106Updated 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
- checkedthreads: no race condition goes unnoticed! Simple API, automatic load balancing, Valgrind-based checking☆294Updated 11 years ago
- A C++ library for concurrent programming☆71Updated 4 years ago
- A library for Study Group 14 of Working Group 21 (C++)☆35Updated 7 years ago
- bit & sketches data structures☆60Updated 6 years ago
- A Fast, Multicore-Scalable, Low-Fragmentation Memory Allocator☆163Updated last month
- A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren☆58Updated 3 years ago
- Many functions in C for sorting the nibbles in an 8-byte word☆33Updated 10 years ago
- ☆329Updated 9 years ago
- An-source C library developed and used at AppNexus.☆110Updated 5 years ago
- Benchmark showing the we can randomly hash strings very quickly with good universality☆137Updated 6 months ago
- Semantic syntax highlighting and hyperlinking of C/C++ source code with libclang. (Demo: https://oberon00.github.io/synth)☆169Updated 8 years ago
- Experiments with array layouts for comparison-based searching☆84Updated last year
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆179Updated 6 years ago
- A dependency-based coroutine scheduler☆45Updated 8 years ago
- Demonstration of LLVM's opt-viewer tool☆71Updated 8 years ago
- Propositional Encodings in C++11☆18Updated 6 years ago
- Binary floating-point to decimal string conversion algorithm.☆104Updated 7 years ago
- Support for Currying and Function Composition in C++☆61Updated 10 years ago
- Material for a workshop on monads with C++14☆97Updated 10 years ago
- transducers in C++ 14☆40Updated 10 years ago
- Missed optimizations in C compilers☆341Updated 7 years ago
- A work-in-progress JIT-powered regex engine☆112Updated 7 years ago
- Functional Utilities for C++☆40Updated 10 years ago
- BSD-licensed C99/POSIX library code shared between tarsnap, scrypt, kivaloo, spiped, and bsdiff.☆115Updated this week
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 9 years ago
- Persistent immutable data structures for C++☆284Updated 9 years ago
- fast SIMD-able JIT regular expression compiler☆196Updated 10 years ago