Speaker / Predavač
Naslov / Title
Data Race Detection with COEMS Tools
Sažetak / Abstract
We investigate the use of hardware-based tracing facilities for the purpose of detecting potential data races. Modern processors offer advanced facilities for introspection of control flow, such as the Intel Processor Trace (IntelPT), or the CoreSight TraceMacrocell on ARM processors. Information about data such as memory addresses has to either be logged explicitly by the running code through additional trace packets in the hardware trace (only available on ARM), or on a different software-based channel. Our lockset based data race detector is written in specification language TeSSLa and will be used in two practical scenarios related to the COEMS project. We discuss options for minimizing the amount of necessary instrumentation through the help of static analysis.
date/vreme: Tuesday, 19/02/2019, 12:00-13:00 h
venue/mesto: sala za sastanke na 3. spratu u KULI FTN