Runtime Detection of Data Races in OCaml with ThreadSanitizer
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
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.
Syllabus
[OCaML'23] Runtime Detection of Data Races in OCaml with ThreadSanitizer
Taught by
ACM SIGPLAN
Related Courses
Computer ArchitecturePrinceton University via Coursera High Performance Scientific Computing
University of Washington via Coursera Parallel Programming Concepts
openHPI Введение в параллельное программирование с использованием OpenMP и MPI
Tomsk State University via Coursera Parallel programming
École Polytechnique Fédérale de Lausanne via Coursera