From: sashiko-bot@kernel.org
To: "Anthony Krowiak" <akrowiak@linux.ibm.com>
Cc: kvm@vger.kernel.org, linux-s390@vger.kernel.org,
"Heiko Carstens" <hca@linux.ibm.com>,
"Vasily Gorbik" <gor@linux.ibm.com>,
"Alexander Gordeev" <agordeev@linux.ibm.com>
Subject: Re: [PATCH v4 03/15] s390/vfio-ap: Functions to initialize/release vfio device migration data
Date: Tue, 07 Jul 2026 09:18:01 +0000 [thread overview]
Message-ID: <20260707091801.DC7F91F00A3A@smtp.kernel.org> (raw)
In-Reply-To: <20260707090226.3206695-4-akrowiak@linux.ibm.com>
Thank you for your contribution! Sashiko AI review found 4 potential issue(s) to consider:
New issues:
- [High] Self-deadlock in the error path of `vfio_ap_mdev_probe()` due to holding `matrix_dev->mdevs_lock` while calling `vfio_put_device()`.
- [High] AB-BA lock inversion between `matrix_dev->mdevs_lock` and the VFIO core's `dev_set->lock`.
- [Medium] Advertising `VFIO_MIGRATION_STOP_COPY` with stub callbacks that return `-EOPNOTSUPP` breaks userspace expectations.
Pre-existing issues:
- [Critical] If `vfio_ap_mdev_set_kvm` returns `-EPERM`, it leaves a dangling pointer in `kvm->arch.crypto.pqap_hook`, leading to a Use-After-Free.
--
--- Patch [3]: [PATCH v4 03/15] s390/vfio-ap: Functions to initialize/release vfio device migration data ---
commit fd0c4839e5d26823861a00cf7c060331ae1fd632
Author: Anthony Krowiak <akrowiak@linux.ibm.com>
s390/vfio-ap: Functions to initialize/release vfio device migration data
Provides the functions that initialize and release the data structures
used during live guest migration.
> diff --git a/drivers/s390/crypto/vfio_ap_migration.c b/drivers/s390/crypto/vfio_ap_migration.c
> index 239168c4b7fff..5b6d48ccf332c 100644
> --- a/drivers/s390/crypto/vfio_ap_migration.c
> +++ b/drivers/s390/crypto/vfio_ap_migration.c
[ ... ]
> @@ -54,3 +55,77 @@ struct vfio_ap_config {
> size_t config_sz;
> struct vfio_ap_queue_info qinfo[] __counted_by(num_queues);
> };
> +
> +static struct file *vfio_ap_set_state(struct vfio_device *vdev,
> + enum vfio_device_mig_state new_state)
> +{
> + return NULL;
> +}
> +
> +static int vfio_ap_get_state(struct vfio_device *vdev,
> + enum vfio_device_mig_state *current_state)
> +{
> + return -EOPNOTSUPP;
> +}
> +
> +static int vfio_ap_get_data_size(struct vfio_device *vdev,
> + unsigned long *stop_copy_length)
> +{
> + return -EOPNOTSUPP;
> +}
> +
> +static const struct vfio_migration_ops vfio_ap_migration_ops = {
> + .migration_set_state = vfio_ap_set_state,
> + .migration_get_state = vfio_ap_get_state,
> + .migration_get_data_size = vfio_ap_get_data_size,
> +};
> +
> +/**
> + * vfio_ap_init_migrations_capabilities - initialize migration capabilities
> + *
> + * @matrix_mdev: pointer to object containing the mdev state
> + */
> +void vfio_ap_init_migration_capabilities(struct ap_matrix_mdev *matrix_mdev)
> +{
> + matrix_mdev->vdev.migration_flags = VFIO_MIGRATION_STOP_COPY;
> + matrix_mdev->vdev.mig_ops = &vfio_ap_migration_ops;
> +}
[Severity: Medium]
Does advertising VFIO_MIGRATION_STOP_COPY here break userspace expectations
when the callbacks like vfio_ap_get_state() unconditionally return -EOPNOTSUPP?
If userspace queries the device state via
VFIO_DEVICE_FEATURE_MIG_DEVICE_STATE, wouldn't the -EOPNOTSUPP response
cause the setup or migration to unexpectedly abort?
[ ... ]
> diff --git a/drivers/s390/crypto/vfio_ap_ops.c b/drivers/s390/crypto/vfio_ap_ops.c
> index 71d3e2c2e07c6..8132902148669 100644
> --- a/drivers/s390/crypto/vfio_ap_ops.c
> +++ b/drivers/s390/crypto/vfio_ap_ops.c
[ ... ]
> @@ -797,19 +809,30 @@ static int vfio_ap_mdev_probe(struct mdev_device *mdev)
> if (IS_ERR(matrix_mdev))
> return PTR_ERR(matrix_mdev);
>
> + mutex_lock(&matrix_dev->mdevs_lock);
> +
> + /*
> + * Migration capabilities must be initialized before calling
> + * vfio_register_emulated_iommu_dev; otherwise, the VFIO core
> + * will see mig_ops as NULL during the registration. This could
> + * prevent the VFIO core from properly setting up migration
> + * infrastructure like debugfs entries.
> + */
> + vfio_ap_init_migration_capabilities(matrix_mdev);
> +
> ret = vfio_register_emulated_iommu_dev(&matrix_mdev->vdev);
[Severity: High]
Does acquiring matrix_dev->mdevs_lock before calling
vfio_register_emulated_iommu_dev() create a lock inversion?
Since vfio_register_emulated_iommu_dev() acquires dev_set->lock, this sets
the lock order to mdevs_lock -> dev_set->lock.
Later, when userspace opens the device, the core holds dev_set->lock before
invoking the open_device callback (vfio_ap_mdev_open_device). The callback
then attempts to acquire mdevs_lock, which reverses the order to
dev_set->lock -> mdevs_lock, potentially leading to a deadlock.
> if (ret)
> goto err_put_vdev;
> matrix_mdev->req_trigger = NULL;
> matrix_mdev->cfg_chg_trigger = NULL;
> dev_set_drvdata(&mdev->dev, matrix_mdev);
> - mutex_lock(&matrix_dev->mdevs_lock);
> list_add(&matrix_mdev->node, &matrix_dev->mdev_list);
> mutex_unlock(&matrix_dev->mdevs_lock);
> return 0;
>
> err_put_vdev:
> vfio_put_device(&matrix_mdev->vdev);
[Severity: High]
Is there a self-deadlock risk here in the error path?
If vfio_register_emulated_iommu_dev() fails, we jump to err_put_vdev while
matrix_dev->mdevs_lock is still held. Calling vfio_put_device() here will
synchronously trigger the release callback (vfio_ap_mdev_release_dev), which
attempts to acquire the same non-recursive mdevs_lock again.
> + mutex_unlock(&matrix_dev->mdevs_lock);
> return ret;
> }
>
> @@ -2052,19 +2075,39 @@ static int vfio_ap_mdev_reset_qlist(struct list_head *qlist)
>
> static int vfio_ap_mdev_open_device(struct vfio_device *vdev)
> {
> - struct ap_matrix_mdev *matrix_mdev =
> - container_of(vdev, struct ap_matrix_mdev, vdev);
> + struct ap_matrix_mdev *matrix_mdev;
> + int ret;
>
> if (!vdev->kvm)
> return -EINVAL;
>
> - return vfio_ap_mdev_set_kvm(matrix_mdev, vdev->kvm);
> + mutex_lock(&matrix_dev->mdevs_lock);
> + matrix_mdev = container_of(vdev, struct ap_matrix_mdev, vdev);
> + ret = vfio_ap_init_migration_data(matrix_mdev);
> + mutex_unlock(&matrix_dev->mdevs_lock);
> +
> + if (ret)
> + return ret;
> +
> + ret = vfio_ap_mdev_set_kvm(matrix_mdev, vdev->kvm);
[Severity: Critical]
This isn't a bug introduced by this patch, but does a failure in
vfio_ap_mdev_set_kvm() leave a dangling pointer that leads to a
use-after-free?
In vfio_ap_mdev_set_kvm(), kvm->arch.crypto.pqap_hook is immediately
overwritten with &matrix_mdev->pqap_hook:
down_write(&kvm->arch.crypto.pqap_hook_rwsem);
kvm->arch.crypto.pqap_hook = &matrix_mdev->pqap_hook;
up_write(&kvm->arch.crypto.pqap_hook_rwsem);
If it then detects that another mdev is already assigned to this KVM,
it returns -EPERM but skips resetting the hook. Since matrix_mdev->kvm
remains NULL, vfio_ap_mdev_unset_kvm() won't clean this up on teardown.
If the second mdev is freed, wouldn't the active KVM guest trigger a
use-after-free if it executes a PQAP instruction using the stale hook?
> + if (ret) {
> + /* Clean up migration data on failure */
> + mutex_lock(&matrix_dev->mdevs_lock);
> + vfio_ap_release_migration_data(matrix_mdev);
> + mutex_unlock(&matrix_dev->mdevs_lock);
> + }
> +
> + return ret;
> }
--
Sashiko AI review · https://sashiko.dev/#/patchset/20260707090226.3206695-1-akrowiak@linux.ibm.com?part=3
next prev parent reply other threads:[~2026-07-07 9:18 UTC|newest]
Thread overview: 29+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-07-07 9:02 [PATCH v4 00/15] s390/vfio-ap: Add live guest migration support Anthony Krowiak
2026-07-07 9:02 ` [PATCH v4 01/15] s390/vfio-ap: Provide function to get the number of queues assigned to mdev Anthony Krowiak
2026-07-07 9:02 ` [PATCH v4 02/15] s390/vfio-ap: Data structures for facilitating vfio device migration Anthony Krowiak
2026-07-07 9:09 ` sashiko-bot
2026-07-07 9:02 ` [PATCH v4 03/15] s390/vfio-ap: Functions to initialize/release vfio device migration data Anthony Krowiak
2026-07-07 9:18 ` sashiko-bot [this message]
2026-07-07 9:02 ` [PATCH v4 04/15] s390/vfio-ap: Reset migration state in VFIO_DEVICE_RESET ioctl handler Anthony Krowiak
2026-07-07 9:15 ` sashiko-bot
2026-07-07 9:02 ` [PATCH v4 05/15] s390-vfio-ap: Callback to get/set vfio device mig state during guest migration Anthony Krowiak
2026-07-07 9:18 ` sashiko-bot
2026-07-07 9:02 ` [PATCH v4 06/15] s390/vfio-ap: Transition guest migration state from STOP to STOP_COPY Anthony Krowiak
2026-07-07 9:24 ` sashiko-bot
2026-07-07 9:02 ` [PATCH v4 07/15] s390/vfio-ap: File ops called to save the vfio device migration state Anthony Krowiak
2026-07-07 9:22 ` sashiko-bot
2026-07-07 9:02 ` [PATCH v4 08/15] s390/vfio-ap: Transition device migration state from STOP to RESUMING Anthony Krowiak
2026-07-07 9:23 ` sashiko-bot
2026-07-07 9:02 ` [PATCH v4 09/15] s390/vfio-ap: Add method to set a new guest AP configuration Anthony Krowiak
2026-07-07 9:24 ` sashiko-bot
2026-07-07 9:02 ` [PATCH v4 10/15] s390/vfio-ap: File ops called to resume the vfio device migration Anthony Krowiak
2026-07-07 9:26 ` sashiko-bot
2026-07-07 9:02 ` [PATCH v4 11/15] s390/vfio-ap: Transition device migration state to STOP Anthony Krowiak
2026-07-07 9:34 ` sashiko-bot
2026-07-07 9:02 ` [PATCH v4 12/15] s390/vfio-ap: Transition device migration state from STOP to RUNNING and vice versa Anthony Krowiak
2026-07-07 9:33 ` sashiko-bot
2026-07-07 9:02 ` [PATCH v4 13/15] s390/vfio-ap: Callback to get the size of data to be migrated during guest migration Anthony Krowiak
2026-07-07 9:32 ` sashiko-bot
2026-07-07 9:02 ` [PATCH v4 14/15] s390/vfio-ap: Add 'migratable' feature to sysfs 'features' attribute Anthony Krowiak
2026-07-07 9:02 ` [PATCH v4 15/15] s390/vfio-ap: Add live guest migration chapter to vfio-ap.rst Anthony Krowiak
2026-07-07 9:27 ` sashiko-bot
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20260707091801.DC7F91F00A3A@smtp.kernel.org \
--to=sashiko-bot@kernel.org \
--cc=agordeev@linux.ibm.com \
--cc=akrowiak@linux.ibm.com \
--cc=gor@linux.ibm.com \
--cc=hca@linux.ibm.com \
--cc=kvm@vger.kernel.org \
--cc=linux-s390@vger.kernel.org \
--cc=sashiko-reviews@lists.linux.dev \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox