filmov
tv
A Race Detector Unfurled -- Kavya Joshi
Показать описание
Talk by Kavya Joshi.
Race detectors are seriously cool tools that make writing race-free concurrent code easy — they detect the ever so elusive race conditions in a program. The Go race detector is one such tool that ships with Go, thereby making the magic of race detection trivially accessible to you and me.
This talk will present the subtleties of race detection and explore how the Go race detector does it. We will delve into the race detector's use of vector clocks (from distributed systems!) to detect data races, including its implementation. Finally, we will touch upon the clever optimizations that make the tool practical for use in the real world.
Race detectors are seriously cool tools that make writing race-free concurrent code easy — they detect the ever so elusive race conditions in a program. The Go race detector is one such tool that ships with Go, thereby making the magic of race detection trivially accessible to you and me.
This talk will present the subtleties of race detection and explore how the Go race detector does it. We will delve into the race detector's use of vector clocks (from distributed systems!) to detect data races, including its implementation. Finally, we will touch upon the clever optimizations that make the tool practical for use in the real world.
A Race Detector Unfurled -- Kavya Joshi
Building Go Executables: Race Detector Runtime Overheads
Golang race detector. Neven Miculinic, Kraken Systems.
9 Eraser A Dynamic Data Race Detector for Multithreaded Programs
SmartTrack: Efficient Predictive Race Detection
9 Eraser A Dynamic Data Race Detector for Multithreaded Programs Part 2
A True Positives Theorem for a Static Race Detector
RacerD - Compositional Static Race Detection
Neven Miculinic - Data race detection - WebCamp Zagreb 2019
Chapter 9: Multicore Systems (Part VIII) -- Data Race Detection Algorithms
[POPL'23] Dynamic Race Detection with O(1) Samples
TMPA-2014: Lightweight Static Analysis for Data Race Detection in Operating System Kernels
High-Coverage, Unbounded Sound Predictive Race Detection
17 June 1500 SmartTrack Efficient Predictive Race Detection
2011 LLVM Developers’ Meeting: K. Serebryany “Finding races and memory errors ...”
[OOPSLA] Scalable Race Detection for Android Applications
goroutines in go | go concurrency | concurrency vs parallelism
GoLab 2017 - Giovanni Bajo - The Go Race Detector
[MUC++] Felix Mößbauer - 'Dynamic Instrumentation of Code for Data-Race Detection' (Virtua...
GOLang Tips - 17 How GO concurrency is different from other languages #golang
What are Race Conditions? Race Conditions Explained with Real Examples & Go Code
Curso Go: 23 - Data Race y Race Detector
Time, Clocks and Ordering of Events in a Dist. System by Dan Rubenstein [PWL NYC]
Race Condition In GoLang
Комментарии