From: Matthew Brost <matthew.brost@intel.com>
To: Arvind Yadav <arvind.yadav@intel.com>
Cc: <intel-xe@lists.freedesktop.org>,
<himal.prasad.ghimiray@intel.com>,
<thomas.hellstrom@linux.intel.com>, <pallavi.mishra@intel.com>
Subject: Re: [RFC v2 7/9] drm/xe/vm: Prevent binding of purged buffer objects
Date: Tue, 2 Dec 2025 10:57:13 -0800 [thread overview]
Message-ID: <aS82icGw/SCOP+3j@lstrano-desk.jf.intel.com> (raw)
In-Reply-To: <20251201055309.854074-8-arvind.yadav@intel.com>
On Mon, Dec 01, 2025 at 11:20:17AM +0530, Arvind Yadav wrote:
> Add validation in xe_vm_bind_ioctl_validate_bo() to reject MAP and
> PREFETCH operations on purged buffer objects with -EINVAL.
>
> Problem:
> When a BO is purged (XE_MADV_PURGEABLE_PURGED state), its backing pages
> have been freed by the kernel. Without this check, VM_BIND operations
> would proceed:
>
> 1. DRM_XE_VM_BIND_OP_MAP: Attempts to create GPU mappings to freed memory
> - xe_vma_ops_alloc() creates VMA pointing to invalid BO
> - Page tables populated with stale/invalid addresses
> - GPU access leads to undefined behavior or hangs
>
> 2. DRM_XE_VM_BIND_OP_PREFETCH: Attempts to migrate non-existent pages
> - Triggers BO validation in TTM
> - ttm_bo_validate() fails or crashes (no backing store)
> - Wasted work for permanently invalid BO
>
> With this check:
> - MAP/PREFETCH immediately fail with -EINVAL at ioctl boundary
> - Clear error message at syscall (better UX than deferred GPU hang)
> - Prevents creation of invalid GPU page table entries
>
> v2:
> - Clarify that purged BOs are permanently invalid (i915 semantics)
> - Remove incorrect claim about madvise(WILLNEED) restoring purged BOs
>
> Cc: Matthew Brost <matthew.brost@intel.com>
> Cc: Thomas Hellström <thomas.hellstrom@linux.intel.com>
> Cc: Himal Prasad Ghimiray <himal.prasad.ghimiray@intel.com>
> Signed-off-by: Arvind Yadav <arvind.yadav@intel.com>
> ---
> drivers/gpu/drm/xe/xe_vm.c | 7 +++++++
> 1 file changed, 7 insertions(+)
>
> diff --git a/drivers/gpu/drm/xe/xe_vm.c b/drivers/gpu/drm/xe/xe_vm.c
> index d03e69524369..cc946bff9607 100644
> --- a/drivers/gpu/drm/xe/xe_vm.c
> +++ b/drivers/gpu/drm/xe/xe_vm.c
> @@ -3482,6 +3482,13 @@ static int xe_vm_bind_ioctl_validate_bo(struct xe_device *xe, struct xe_bo *bo,
> return -EINVAL;
> }
>
> + /* Purged BOs are permanently invalid; reject new MAP/PREFETCH. */
> + if (XE_IOCTL_DBG(xe,
> + xe_bo_is_purged(bo) &&
> + (op == DRM_XE_VM_BIND_OP_MAP ||
> + op == DRM_XE_VM_BIND_OP_PREFETCH)))
> + return -EINVAL;
I'd move this check to later in the bind pipeline once we have BO's
dma-resv lock to make this race free. I think vma_lock_and_validate is
likely the correct function after drm_exec_lock_obj but before
xe_bo_validate. Or you could just make xe_bo_validate fail if the object
is purged.
Matt
> +
> /*
> * Some platforms require 64k VM_BIND alignment,
> * specifically those with XE_VRAM_FLAGS_NEED64K.
> --
> 2.43.0
>
next prev parent reply other threads:[~2025-12-02 18:57 UTC|newest]
Thread overview: 35+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-12-01 5:50 [RFC v2 0/9] drm/xe/madvise: Add support for purgeable buffer objects Arvind Yadav
2025-12-01 5:50 ` [RFC v2 1/9] drm/xe/uapi: Add UAPI " Arvind Yadav
2025-12-01 23:00 ` Matthew Brost
2025-12-02 2:55 ` Yadav, Arvind
2025-12-01 5:50 ` [RFC v2 2/9] drm/xe/bo: Add purgeable bo state tracking and field madv to xe_bo Arvind Yadav
2025-12-01 23:02 ` Matthew Brost
2025-12-02 2:56 ` Yadav, Arvind
2025-12-02 18:52 ` Matthew Brost
2025-12-01 5:50 ` [RFC v2 3/9] drm/xe/bo: Prevent purging of shared buffer objects Arvind Yadav
2025-12-01 23:10 ` Matthew Brost
2025-12-02 3:42 ` Yadav, Arvind
2025-12-02 9:42 ` Thomas Hellström
2025-12-02 15:17 ` Matthew Brost
2025-12-02 18:22 ` Yadav, Arvind
2025-12-02 18:35 ` Matthew Brost
2025-12-01 5:50 ` [RFC v2 4/9] drm/xe/madvise: Implement purgeable buffer object support Arvind Yadav
2025-12-02 1:46 ` Matthew Brost
2025-12-02 4:01 ` Yadav, Arvind
2025-12-02 21:39 ` Matthew Brost
2025-12-03 14:01 ` Yadav, Arvind
2025-12-01 5:50 ` [RFC v2 5/9] drm/xe/bo: Handle CPU faults on purged buffer objects Arvind Yadav
2025-12-02 18:42 ` Matthew Brost
2025-12-02 18:48 ` Matthew Brost
2025-12-03 7:25 ` Yadav, Arvind
2025-12-03 16:24 ` Matthew Brost
2025-12-01 5:50 ` [RFC v2 6/9] drm/xe/bo: Prevent mmap of " Arvind Yadav
2025-12-02 18:54 ` Matthew Brost
2025-12-01 5:50 ` [RFC v2 7/9] drm/xe/vm: Prevent binding " Arvind Yadav
2025-12-02 18:57 ` Matthew Brost [this message]
2025-12-03 11:24 ` Yadav, Arvind
2025-12-01 5:50 ` [RFC v2 8/9] drm/xe/uapi: Add UAPI for purgeable bo state to madvise query response Arvind Yadav
2025-12-02 19:01 ` Matthew Brost
2025-12-03 3:54 ` Yadav, Arvind
2025-12-01 5:50 ` [RFC v2 9/9] drm/xe: Add support for querying purgeable BO states Arvind Yadav
2025-12-02 18:36 ` [RFC v2 0/9] drm/xe/madvise: Add support for purgeable buffer objects Souza, Jose
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=aS82icGw/SCOP+3j@lstrano-desk.jf.intel.com \
--to=matthew.brost@intel.com \
--cc=arvind.yadav@intel.com \
--cc=himal.prasad.ghimiray@intel.com \
--cc=intel-xe@lists.freedesktop.org \
--cc=pallavi.mishra@intel.com \
--cc=thomas.hellstrom@linux.intel.com \
/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