RE: [PATCH v4 0/9] vhost lock annotations

> From: David Marchand [mailto:david.march...@redhat.com] > Sent: Thursday, 19 January 2023 19.46 > > vhost internals involves multiple locks to protect data access by > multiple threads. > > This series uses clang thread safety checks [1] to catch issues during > compilation: EAL spinlock, seqlo

[PATCH v4 0/9] vhost lock annotations

vhost internals involves multiple locks to protect data access by multiple threads. This series uses clang thread safety checks [1] to catch issues during compilation: EAL spinlock, seqlock and rwlock are annotated and vhost code is instrumented so that clang can statically check correctness. Tho