Sheriff consists of two tools: Sheriff-Detect, a false-sharing detector, and Sheriff-Protect, a false-sharing eliminator that you can link with your code to eliminate false sharing.
☆32Jul 6, 2018Updated 8 years ago
Alternatives and similar repositories for sheriff
Users that are interested in sheriff are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Predator: Predictive False Sharing Detection☆21Apr 27, 2014Updated 12 years ago
- Evidence-based dynamic analysis: a fast checker for memory errors.☆21Apr 22, 2017Updated 9 years ago
- An empirical study on patch correctness☆15Nov 5, 2022Updated 3 years ago
- Mordor is a high performance I/O library based on fibers.☆21Sep 9, 2017Updated 8 years ago
- A fast and accurate reuse distance analyzer for multi-threaded applications. It leverages existing hardware features in commodity CPUs.☆21Feb 3, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Another dynamically-typed, lightweight programming language☆12May 5, 2015Updated 11 years ago
- A simple interpreter featuring a tracing JIT☆16Mar 28, 2011Updated 15 years ago
- 抓取服务器上的符合特定规则的html，作为一个入口页展示出来☆25Jul 27, 2012Updated 13 years ago
- APL-like functions for use from Lua.☆18Mar 23, 2015Updated 11 years ago
- This is the implementation repository of our SOSP'24 paper: CHIME: A Cache-Efficient and High-Performance Hybrid Index on Disaggregated M…☆27Nov 7, 2024Updated last year
- Collates markdown into one file☆17Feb 1, 2018Updated 8 years ago
- NumaMMA is a lightweight memory profiler for parallel applications☆32Jun 10, 2025Updated last year
- An application that can detect a driver drowsing by tracking the eye region and immediately alerts the driver.Additionaly in the event of…☆11Aug 31, 2023Updated 2 years ago
- A simple script to plot the Roofline model for given HW platforms and applications☆10Mar 17, 2026Updated 3 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A reading group for system verification papers☆10Sep 28, 2023Updated 2 years ago
- Rust crate for parsing/formatting Python literals☆18Apr 7, 2021Updated 5 years ago
- A false sharing detection and repair tool☆14Jan 31, 2026Updated 5 months ago
- In this repository you will find the open source code for the MKA daemon implemented by Technica Engineering Gmbh. The GPL version suppo…☆20Jun 18, 2026Updated 2 weeks ago
- 基于folly、wangle和proxygen的c++11基础库☆11Apr 29, 2018Updated 8 years ago
- GRIN is a proposed standard graph retrieval interface in GraphScope.☆16Mar 25, 2024Updated 2 years ago
- This use case shows how Connext DDS can be used by Autonomous Vehicle developers to leverage RTI’s extensive experience with autonomous r…☆15Jul 18, 2024Updated last year
- ☆20May 24, 2025Updated last year
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆18Oct 16, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Enable user-mode access to ARMv7/Linux performance counters☆42Sep 13, 2016Updated 9 years ago
- A Web Interface for the Tokio Console.☆19Feb 4, 2025Updated last year
- Documentation accompanying my research project at TU Dresden☆16Jan 12, 2021Updated 5 years ago
- Automated Mirror of Parabix - Note: the repository does not accept github pull requests at this moment. Please submit your patches at the…☆17Aug 12, 2021Updated 4 years ago
- Automatically detects cache lines in a portable cross-platform way. This code is pure C89.☆18Jul 20, 2010Updated 15 years ago
- Akka examples☆32Jun 5, 2011Updated 15 years ago
- Vulnerable Windows Driver with exploits which were used for demonstration purposes on Hunting and exploiting bugs in kernel drivers prese…☆13Jan 29, 2013Updated 13 years ago
- Tools and APIs to develop weavers for the LARA language (LARA Compiler, LARA Interpreter, Weaver Generator, etc...)☆16Jun 30, 2026Updated last week
- OCaml-TLS exposed to C☆25Feb 27, 2018Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Software Analysis and Verification Group☆15Apr 29, 2026Updated 2 months ago
- C++ implement a simple CNN framework to train mnist data. Done!☆10Mar 29, 2022Updated 4 years ago
- Simple, single-file, nibble-based, adaptive rANS library with SSE2-accelerated modeling☆24Jan 23, 2019Updated 7 years ago
- Benchmark SGLang on SLURM☆24Apr 20, 2026Updated 2 months ago
- Fast Binary Translator for the Kernel☆28Sep 23, 2013Updated 12 years ago
- LuaJC ported to the ASM framework☆15Oct 13, 2016Updated 9 years ago
- Source code for the Shifted Hamming Distance (SHD) filtering mechanism for sequence alignment. Described in the Bioinformatics journal pa…☆36Mar 29, 2020Updated 6 years ago