• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

PAIS Lab seminar: Static analysis for data race detection // P. Andrianov

February 10th, 2014 — 18:30
HSE Kirpichnaya building, aud. 902

Pavel Andrianov

Linux Verification Center, ISP RAS

Static analysis for data race detection


Detection of errors in multithreaded programs is very difficult task. The causes of majority of these errors are race conditions, when simultaneous access to shared data from different threads is possible. For example, analysis of error fixes in Linux kernel during a year shows, that errors related to race conditions are the most numerous class and constitute about 17% from all errors. The talk is about static verification method which can automatically detect race conditions. The method is based on configurable program analysis, implemented in CPAchecker tool, which allows to compose several types of analysis.

Slides:   RaceDetection.pdf




 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!