Re: [RFC PATCH v3 2/8] vhost: annotate virtqueue access lock

2022-04-22 Thread David Marchand
On Thu, Apr 21, 2022 at 5:25 PM Maxime Coquelin wrote: > On 4/11/22 13:00, David Marchand wrote: > > This change simply annotates existing paths of the code leading to > > manipulations of the vq->access_lock. > > > > One small change is required: vhost_poll_enqueue_completed was getting > > a que

Re: [RFC PATCH v3 2/8] vhost: annotate virtqueue access lock

2022-04-21 Thread Maxime Coquelin
On 4/11/22 13:00, David Marchand wrote: This change simply annotates existing paths of the code leading to manipulations of the vq->access_lock. One small change is required: vhost_poll_enqueue_completed was getting a queue_id to get hold of the vq, while its callers already knew of the vq. F

[RFC PATCH v3 2/8] vhost: annotate virtqueue access lock

2022-04-11 Thread David Marchand
This change simply annotates existing paths of the code leading to manipulations of the vq->access_lock. One small change is required: vhost_poll_enqueue_completed was getting a queue_id to get hold of the vq, while its callers already knew of the vq. For the annotation sake, vq is now directly pa