Runtime Detection of Data Races in OCaml with ThreadSanitizer

Runtime Detection of Data Races in OCaml with ThreadSanitizer

Explore the challenges and solutions for detecting data races in parallel OCaml code using ThreadSanitizer (TSan) in this conference talk from OCaML'23. Delve into the core principles of data race detection, understand the complexities of applying TSan to OCaml, and learn about the necessary adaptations to the runtime system. Discover how to implement TSan in your own OCaml projects, gaining insights into its capabilities and limitations. Gain valuable knowledge on improving the reliability and safety of parallel OCaml programs through runtime detection of concurrent access issues.