On Tue, Jan 17, 2023 at 08:52:00AM -0500, Emanuele Giuseppe Esposito wrote: > This serie aims to enable clang Thread Safety Analysis (TSA) in QEMU.
It's worth covering what TSA is and why it's useful: Thread Safety Analysis "warns about potential race conditions in code. The analysis is completely static (i.e. compile-time); there is no run-time overhead" "Thread safety analysis works very much like a type system for multi-threaded programs. In addition to declaring the type of data (e.g. int, float, etc.), the programmer can (optionally) declare how access to that data is controlled in a multi-threaded environment. For example, if foo is guarded by the mutex mu, then the analysis will issue a warning whenever a piece of code reads or writes to foo without first locking mu." https://clang.llvm.org/docs/ThreadSafetyAnalysis.html
signature.asc
Description: PGP signature
