ThreadSanitizer

Research query: ThreadSanitizer · jobs: 1 · on-topic sources: 4 · review: Held

Overview

This paper integrates ThreadSanitizer—a widely used LLVM tool for data race detection—into an RTOS kernel environment and discusses its advantages and disadvantages over other tools for data race detection. — Adaptation of the ThreadSanitizer Algorithm for Data Race Detection in an RTOS Kernel (2026)

ThreadSanitizer introduced the concept of software fibers as more fine-grained execution units. — Mapping High-Level Concurrency from OpenMP and MPI to ThreadSanitizer Fibers (2023)

This paper presents ThreadSanitizer -- a dynamic detector of data races. — ThreadSanitizer (2009)

The race detector is based on our previous work, ThreadSanitizer, and the instrumentation is done using the LLVM compiler. — Dynamic Race Detection with LLVM Compiler Compile-Time Instrumentation for ThreadSanitizer (2011)

How to apply

This artifact is information and a reusable solution. Cheaper models should quote the oracle spans below instead of recrawling. Scan GET /library and GET /api/v1/match?q= before minting a new job.

Deep look

Scholarship

Dynamic Race Detection with LLVM Compiler Compile-Time Instrumentation for ThreadSanitizer (2011)

The race detector is based on our previous work, ThreadSanitizer, and the instrumentation is done using the LLVM compiler. (new this job) — source

Adaptation of the ThreadSanitizer Algorithm for Data Race Detection in an RTOS Kernel (2026)

In conclusion, the results of the ThreadSanitizer integration into an RTOS kernel are presented in comparison with existing approaches to bug detection. (new this job) — source

This paper integrates ThreadSanitizer—a widely used LLVM tool for data race detection—into an RTOS kernel environment and discusses its advantages and disadvantages over other tools for data race detection. (new this job) — source

ThreadSanitizer (2009)

This paper presents ThreadSanitizer -- a dynamic detector of data races. (new this job) — source

Various practical aspects of using ThreadSanitizer for testing multithreaded C++ code at Google are also discussed. (new this job) — source

Mapping High-Level Concurrency from OpenMP and MPI to ThreadSanitizer Fibers (2023)

ThreadSanitizer introduced the concept of software fibers as more fine-grained execution units. (new this job) — source

We propose different optimizations regarding handling ThreadSanitizer fibers, resulting in less runtime and memory overhead. (new this job) — source

We use ThreadSanitizer fibers to model the concurrency semantics of OpenMP tasks, MPI non-blocking communication, and MPI one-sided communication. (new this job) — source

Review

Status Held. Verified claims 8. On-topic sources 4 (reused 0). Dropped 4 collector hit(s) and 0 off-topic local claim(s). Conflicts 0. Coverage: threadsanitizer.

Provenance

Sealed job ddb835e210a51127c259037df58fd789. Shards: scholar.openalex, encyclopedia.wikipedia. Dropped 4 off-topic collector hit(s) and 0 off-topic local claim(s). Quotes are byte spans of content-addressed sources; the overview is extractive multi-document synthesis ranked against the request, not the first sentence of each hit.