Re: [PATCH v6 0/9] Lock annotations

On Tue, Feb 7, 2023 at 11:45 AM David Marchand wrote: > > 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

RE: [PATCH v6 0/9] Lock annotations

Re: [PATCH v6 0/9] Lock annotations > > Hello, > > On Thu, Feb 9, 2023 at 8:59 AM Xia, Chenbo wrote: > > > Subject: [PATCH v6 0/9] Lock annotations > > > > > > vhost internals involves multiple locks to protect data access by > > > multiple threa

Re: [PATCH v6 0/9] Lock annotations

Hello, On Thu, Feb 9, 2023 at 8:59 AM Xia, Chenbo wrote: > > Subject: [PATCH v6 0/9] Lock annotations > > > > vhost internals involves multiple locks to protect data access by > > multiple threads. > > > > This series uses clang thread safety checks [1] to

RE: [PATCH v6 0/9] Lock annotations

> -Original Message- > From: David Marchand > Sent: Tuesday, February 7, 2023 6:45 PM > To: dev@dpdk.org > Cc: maxime.coque...@redhat.com; step...@networkplumber.org; Xia, Chenbo > ; Hu, Jiayu ; Wang, YuanX > ; Ding, Xuan ; > m...@smartsharesystems.com > S

[PATCH v6 0/9] 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