Динамический анализ программ

Лекция будет посвящена динамическому анализу программ и, в частности, поиску гонок (data races). В рамках семинара будут рассмотрены следующие темы: динамический введение в теорию поиска гонок, анализ потока событий программы, требования по производительности; базовый алгоритм инструмента ThreadSanitizer, ускорение и параллелизация базового алгоритма ThreadSanitizer; war stories: опыт внедрения регулярного тестирования для поиска гонок в Google Russia.