mbox

[RFC,v2,0/9] vhost lock annotations

Message ID 20220330134956.18927-1-david.marchand@redhat.com (mailing list archive)
Headers

Message

David Marchand March 30, 2022, 1:49 p.m. UTC 
  vhost internals involves multiple locks to protect data access by
multiple threads.

This series is a try at using clang thread safety checks [1] to catch
issues during compilation: EAL spinlock and rwlock are annotated and
vhost code is instrumented so that clang can statically check
correctness.

This is still a work in progress (some documentation and a release note
update are missing).

Those annotations are quite heavy to maintain because the full path of
code must be annotated, but I think it is worth using.


1: https://clang.llvm.org/docs/ThreadSafetyAnalysis.html