Re: [RFC PATCH v3 4/8] vhost: annotate async accesses

2022-04-22 Thread Maxime Coquelin
On 4/11/22 13:00, David Marchand wrote: vq->async is initialised and must be accessed under vq->access_lock. Top level "_thread_unsafe" functions could be checked at runtime (clang provides a lock aware assert()-like check), but they are simply skipped because those functions are not called i

[RFC PATCH v3 4/8] vhost: annotate async accesses

2022-04-11 Thread David Marchand
vq->async is initialised and must be accessed under vq->access_lock. Top level "_thread_unsafe" functions could be checked at runtime (clang provides a lock aware assert()-like check), but they are simply skipped because those functions are not called in-tree, and as a result, their annotations wo