https://github.com/luickk/basicthreaderrordetector
Very basic thread error detector based on DynamoRIO
https://github.com/luickk/basicthreaderrordetector
concurrency concurrency-testing
Last synced: 11 months ago
JSON representation
Very basic thread error detector based on DynamoRIO
- Host: GitHub
- URL: https://github.com/luickk/basicthreaderrordetector
- Owner: luickk
- Created: 2023-03-01T10:45:31.000Z (over 3 years ago)
- Default Branch: main
- Last Pushed: 2023-03-15T11:48:44.000Z (about 3 years ago)
- Last Synced: 2025-02-15T21:13:42.655Z (over 1 year ago)
- Topics: concurrency, concurrency-testing
- Language: C
- Homepage:
- Size: 46.9 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Basic Thread Error Detector based on DynamoRIO
The project is split into `instrument.c` which only contains purely technical (memory instrumentation, fn wrapping..) DynamorRIO api setup/config and `race_detector.c` which contains the race detector implementation. The race detector is based on [this](https://storage.googleapis.com/pub-tools-public-publication-data/pdf/35604.pdf) paper.
This project is a simplified but accurate representation of the in section 4.3, described "precise, slow" detection mode.
All events are "exported" in instrument.h and implemented by race_detector.c (fed to DynamoRIO by `instrument.c`).
The detector is fully build on a clock-vector before/after relations mechanism to detect races.
## Practicability
The project is able to detect basic write-write and write-read data races. Since DynamoRIO isn't super stable in multithreaded environments, the results can vary, so it's good practice to check the sets on potential differences(although there were no changes done to the checked program) if reproducibility is required.
## Clock Vector Based Race Detection
Clock Vector Based detection can get very complex, very quickly, thus this implementation doesn't quantities memory accesses but instead check after every access, thus the clock vector doesn't need to contain accurate timestamps(instead a memory access counter is used). This isn't very performant and the slowest, but also most simple method.
The mathematical operators and logic is described in [this](https://dl.acm.org/doi/pdf/10.1145/3018610.3018611)(section 3.12) paper quite well.
## Rough implementation summary
Most of the race detector's code comes down to collecting and preparation of data. The detector has per thread data and a global allocations/locks array(which stores context information about allocated memory that has to be checked, and lock states). The per thread data contains sets that store all reads/ writes relating to allocated memory, as well as all lock accesses and states. Checks are performed on every memory access to allocated memory.