Skip to content

Commit 9035708

Browse files
Alex Williamsonawilliam
authored andcommitted
vfio/virtio: Convert list_lock from spinlock to mutex
The list_lock spinlock with IRQ disabling was copied from the mlx5 vfio-pci variant driver, where it is justified by a hardirq async command completion callback that accesses the protected lists. The virtio driver has no such interrupt context usage; all list_lock acquisitions occur in process context via file read/write operations or state transitions under state_mutex. Convert list_lock to a mutex to be consistent with peer vfio-pci variant drivers (hisilicon, pds, qat, xe) which all use mutexes for equivalent migration data protection. This also fixes a mismatched spin_lock()/spin_unlock_irq() pair in virtiovf_read_device_context_chunk() that could incorrectly enable interrupts. Reported-by: Jinhui Guo <[email protected]> Closes: https://lore.kernel.org/all/[email protected] Fixes: 0bbc82e ("vfio/virtio: Add support for the basic live migration functionality") Cc: [email protected] Assisted-by: Claude:claude-opus-4-6 Signed-off-by: Alex Williamson <[email protected]> Reviewed-by: Yishai Hadas <[email protected]> Link: https://lore.kernel.org/r/[email protected] Signed-off-by: Alex Williamson <[email protected]>
1 parent d977087 commit 9035708

2 files changed

Lines changed: 18 additions & 17 deletions

File tree

drivers/vfio/pci/virtio/common.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -68,7 +68,7 @@ struct virtiovf_migration_file {
6868
enum virtiovf_migf_state state;
6969
enum virtiovf_load_state load_state;
7070
/* synchronize access to the lists */
71-
spinlock_t list_lock;
71+
struct mutex list_lock;
7272
struct list_head buf_list;
7373
struct list_head avail_list;
7474
struct virtiovf_data_buffer *buf;

drivers/vfio/pci/virtio/migrate.c

Lines changed: 17 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -142,9 +142,9 @@ virtiovf_alloc_data_buffer(struct virtiovf_migration_file *migf, size_t length)
142142

143143
static void virtiovf_put_data_buffer(struct virtiovf_data_buffer *buf)
144144
{
145-
spin_lock_irq(&buf->migf->list_lock);
145+
mutex_lock(&buf->migf->list_lock);
146146
list_add_tail(&buf->buf_elm, &buf->migf->avail_list);
147-
spin_unlock_irq(&buf->migf->list_lock);
147+
mutex_unlock(&buf->migf->list_lock);
148148
}
149149

150150
static int
@@ -170,21 +170,21 @@ virtiovf_get_data_buffer(struct virtiovf_migration_file *migf, size_t length)
170170

171171
INIT_LIST_HEAD(&free_list);
172172

173-
spin_lock_irq(&migf->list_lock);
173+
mutex_lock(&migf->list_lock);
174174
list_for_each_entry_safe(buf, temp_buf, &migf->avail_list, buf_elm) {
175175
list_del_init(&buf->buf_elm);
176176
if (buf->allocated_length >= length) {
177-
spin_unlock_irq(&migf->list_lock);
177+
mutex_unlock(&migf->list_lock);
178178
goto found;
179179
}
180180
/*
181181
* Prevent holding redundant buffers. Put in a free
182-
* list and call at the end not under the spin lock
182+
* list and call at the end not under the mutex
183183
* (&migf->list_lock) to minimize its scope usage.
184184
*/
185185
list_add(&buf->buf_elm, &free_list);
186186
}
187-
spin_unlock_irq(&migf->list_lock);
187+
mutex_unlock(&migf->list_lock);
188188
buf = virtiovf_alloc_data_buffer(migf, length);
189189

190190
found:
@@ -295,6 +295,7 @@ static int virtiovf_release_file(struct inode *inode, struct file *filp)
295295
struct virtiovf_migration_file *migf = filp->private_data;
296296

297297
virtiovf_disable_fd(migf);
298+
mutex_destroy(&migf->list_lock);
298299
mutex_destroy(&migf->lock);
299300
kfree(migf);
300301
return 0;
@@ -308,7 +309,7 @@ virtiovf_get_data_buff_from_pos(struct virtiovf_migration_file *migf,
308309
bool found = false;
309310

310311
*end_of_data = false;
311-
spin_lock_irq(&migf->list_lock);
312+
mutex_lock(&migf->list_lock);
312313
if (list_empty(&migf->buf_list)) {
313314
*end_of_data = true;
314315
goto end;
@@ -329,7 +330,7 @@ virtiovf_get_data_buff_from_pos(struct virtiovf_migration_file *migf,
329330
migf->state = VIRTIOVF_MIGF_STATE_ERROR;
330331

331332
end:
332-
spin_unlock_irq(&migf->list_lock);
333+
mutex_unlock(&migf->list_lock);
333334
return found ? buf : NULL;
334335
}
335336

@@ -369,10 +370,10 @@ static ssize_t virtiovf_buf_read(struct virtiovf_data_buffer *vhca_buf,
369370
}
370371

371372
if (*pos >= vhca_buf->start_pos + vhca_buf->length) {
372-
spin_lock_irq(&vhca_buf->migf->list_lock);
373+
mutex_lock(&vhca_buf->migf->list_lock);
373374
list_del_init(&vhca_buf->buf_elm);
374375
list_add_tail(&vhca_buf->buf_elm, &vhca_buf->migf->avail_list);
375-
spin_unlock_irq(&vhca_buf->migf->list_lock);
376+
mutex_unlock(&vhca_buf->migf->list_lock);
376377
}
377378

378379
return done;
@@ -549,9 +550,9 @@ virtiovf_add_buf_header(struct virtiovf_data_buffer *header_buf,
549550
header_buf->length = sizeof(header);
550551
header_buf->start_pos = header_buf->migf->max_pos;
551552
migf->max_pos += header_buf->length;
552-
spin_lock_irq(&migf->list_lock);
553+
mutex_lock(&migf->list_lock);
553554
list_add_tail(&header_buf->buf_elm, &migf->buf_list);
554-
spin_unlock_irq(&migf->list_lock);
555+
mutex_unlock(&migf->list_lock);
555556
return 0;
556557
}
557558

@@ -616,9 +617,9 @@ virtiovf_read_device_context_chunk(struct virtiovf_migration_file *migf,
616617

617618
buf->start_pos = buf->migf->max_pos;
618619
migf->max_pos += buf->length;
619-
spin_lock(&migf->list_lock);
620+
mutex_lock(&migf->list_lock);
620621
list_add_tail(&buf->buf_elm, &migf->buf_list);
621-
spin_unlock_irq(&migf->list_lock);
622+
mutex_unlock(&migf->list_lock);
622623
return 0;
623624

624625
out_header:
@@ -687,7 +688,7 @@ virtiovf_pci_save_device_data(struct virtiovf_pci_core_device *virtvdev,
687688
mutex_init(&migf->lock);
688689
INIT_LIST_HEAD(&migf->buf_list);
689690
INIT_LIST_HEAD(&migf->avail_list);
690-
spin_lock_init(&migf->list_lock);
691+
mutex_init(&migf->list_lock);
691692
migf->virtvdev = virtvdev;
692693

693694
lockdep_assert_held(&virtvdev->state_mutex);
@@ -1077,7 +1078,7 @@ virtiovf_pci_resume_device_data(struct virtiovf_pci_core_device *virtvdev)
10771078
mutex_init(&migf->lock);
10781079
INIT_LIST_HEAD(&migf->buf_list);
10791080
INIT_LIST_HEAD(&migf->avail_list);
1080-
spin_lock_init(&migf->list_lock);
1081+
mutex_init(&migf->list_lock);
10811082

10821083
buf = virtiovf_alloc_data_buffer(migf, VIRTIOVF_TARGET_INITIAL_BUF_SIZE);
10831084
if (IS_ERR(buf)) {

0 commit comments

Comments
 (0)