From patchwork Tue May 30 08:42:35 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: =?utf-8?q?Thomas_Hellstr=C3=B6m?= X-Patchwork-Id: 13259469 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from gabe.freedesktop.org (gabe.freedesktop.org [131.252.210.177]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.lore.kernel.org (Postfix) with ESMTPS id 36388C7EE23 for ; Tue, 30 May 2023 08:42:57 +0000 (UTC) Received: from gabe.freedesktop.org (localhost [127.0.0.1]) by gabe.freedesktop.org (Postfix) with ESMTP id 7D26210E2FC; Tue, 30 May 2023 08:42:56 +0000 (UTC) Received: from mga12.intel.com (mga12.intel.com [192.55.52.136]) by gabe.freedesktop.org (Postfix) with ESMTPS id D4DD210E2FC; Tue, 30 May 2023 08:42:54 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=intel.com; i=@intel.com; q=dns/txt; s=Intel; t=1685436174; x=1716972174; h=from:to:cc:subject:date:message-id:mime-version: content-transfer-encoding; bh=lyfmCvnG+qcYlefJ9jmg7kvAQnjNvwOH9lOOLTpYWKw=; b=X9FkODN/LwD6GvCBeL83ICjaF8ivGAiNlYUDzHbmp00YCVIkDlg7OIdf A6fszXD2aFJkQITmCz3ymA0jtYRZ3zisM79FEA5MkO7k/gKjErEOzlYqg jhXifL9JwUv779BAGsvVTXUE21ZiU7mynjiG0OwPMwDsckUeMuSQyy2BC M60vuqkCfdbXnFTt3g8cGWhJgNDytepw3H1S3q9HXXl6sTI6r7s90o22A auzDL1tIIQIxrJ2+Pfzcm0gPZEbxsbX9UxlJxu+rnz22rnG0LFR9NY9Zw rMMqH+XfXOFfBF9HsT0/JcxBalKyA+nyjAqZD4grib0/F2VZvhgpqaM3C w==; X-IronPort-AV: E=McAfee;i="6600,9927,10725"; a="334477303" X-IronPort-AV: E=Sophos;i="6.00,203,1681196400"; d="scan'208";a="334477303" Received: from orsmga003.jf.intel.com ([10.7.209.27]) by fmsmga106.fm.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 30 May 2023 01:42:53 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=McAfee;i="6600,9927,10725"; a="656764137" X-IronPort-AV: E=Sophos;i="6.00,203,1681196400"; d="scan'208";a="656764137" Received: from jhogberg-mobl1.ger.corp.intel.com (HELO thellstr-mobl1.intel.com) ([10.249.254.79]) by orsmga003-auth.jf.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 30 May 2023 01:42:51 -0700 From: =?utf-8?q?Thomas_Hellstr=C3=B6m?= To: intel-xe@lists.freedesktop.org Subject: [RFC PATCH] Documentation/gpu: Add a VM_BIND async draft document. Date: Tue, 30 May 2023 10:42:35 +0200 Message-Id: <20230530084235.279863-1-thomas.hellstrom@linux.intel.com> X-Mailer: git-send-email 2.39.2 MIME-Version: 1.0 X-BeenThere: dri-devel@lists.freedesktop.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Direct Rendering Infrastructure - Development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: Matthew Brost , =?utf-8?q?Thomas_Hellstr=C3=B6m?= , linux-kernel@vger.kernel.org, dri-devel@lists.freedesktop.org, Danilo Krummrich Errors-To: dri-devel-bounces@lists.freedesktop.org Sender: "dri-devel" Add a motivation for and description of asynchronous VM_BIND operation Signed-off-by: Thomas Hellström Acked-by: Nirmoy Das --- Documentation/gpu/drm-vm-bind-async.rst | 138 ++++++++++++++++++++++++ 1 file changed, 138 insertions(+) create mode 100644 Documentation/gpu/drm-vm-bind-async.rst diff --git a/Documentation/gpu/drm-vm-bind-async.rst b/Documentation/gpu/drm-vm-bind-async.rst new file mode 100644 index 000000000000..7f7f8f7ddfea --- /dev/null +++ b/Documentation/gpu/drm-vm-bind-async.rst @@ -0,0 +1,138 @@ +==================== +Asynchronous VM_BIND +==================== + +Nomenclature: +============= + +* VRAM: On-device memory. Sometimes referred to as device local memory. + +* vm: A GPU address space. Typically per process, but can be shared by + multiple processes. + +* VM_BIND: An operation or a list of operations to modify a vm using + an IOCTL. The operations include mapping and unmapping system- or + VRAM memory. + +* syncobj: A container that abstracts synchronization objects. The + synchronization objects can be either generic, like dma-fences or + driver specific. A syncobj typically indicates the type of the + underlying synchronization object. + +* in-syncobj: Argument to a VM_BIND IOCTL, the VM_BIND operation waits + for these before starting. + +* out-syncbj: Argument to a VM_BIND_IOCTL, the VM_BIND operation + signals these when the bind operation is complete. + +* memory fence: A synchronization object, different from a dma-fence + that uses the value of a specified memory location to determine + signaled status. A memory fence can be awaited and signaled by both + the GPU and CPU. Memory fences are sometimes referred to as + user-fences. + +* long-running workload: A workload that may take more than the + current stipulated dma-fence maximum signal delay to complete and + which therefore needs to set the VM or the GPU execution context in + a certain mode that disallows completion dma-fences. + +* UMD: User-mode driver. + +* KMD: Kernel-mode driver. + + +Synchronous / Asynchronous VM_BIND operation +============================================ + +Synchronous VM_BIND +___________________ +With Synchronous VM_BIND, the VM_BIND operations all complete before the +ioctl returns. A synchronous VM_BIND takes neither in-fences nor +out-fences. Synchronous VM_BIND may block and wait for GPU operations; +for example swapin or clearing, or even previous binds. + +Asynchronous VM_BIND +____________________ +Asynchronous VM_BIND accepts both in-syncobjs and out-syncobjs. While the +IOCTL may return immediately, the VM_BIND operations wait for the in-syncobjs +before modifying the GPU page-tables, and signal the out-syncobjs when +the modification is done in the sense that the next execbuf that +awaits for the out-syncobjs will see the change. Errors are reported +synchronously assuming that the asynchronous part of the job never errors. +In low-memory situations the implementation may block, performing the +VM_BIND synchronously, because there might not be enough memory +immediately available for preparing the asynchronous operation. + +If the VM_BIND IOCTL takes a list or an array of operations as an argument, +the in-syncobjs needs to signal before the first operation starts to +execute, and the out-syncobjs signal after the last operation +completes. Operations in the operation list can be assumed, where it +matters, to complete in order. + +To aid in supporting user-space queues, the VM_BIND may take a bind context +AKA bind engine identifier argument. All VM_BIND operations using the same +bind engine can then be assumed, where it matters, to complete in +order. No such assumptions can be made between VM_BIND operations +using separate bind contexts. + +The purpose of an Asynchronous VM_BIND operation is for user-mode +drivers to be able to pipeline interleaved vm modifications and +execbufs. For long-running workloads, such pipelining of a bind +operation is not allowed and any in-fences need to be awaited +synchronously. + +Also for VM_BINDS for long-running VMs the user-mode driver should typically +select memory fences as out-fences since that gives greater flexibility for +the kernel mode driver to inject other operations into the bind / +unbind operations. Like for example inserting breakpoints into batch +buffers. The workload execution can then easily be pipelined behind +the bind completion using the memory out-fence as the signal condition +for a gpu semaphore embedded by UMD in the workload. + +Multi-operation VM_BIND IOCTL error handling and interrupts +======================================== + +The VM_BIND operations of the ioctl may error due to lack of resources +to complete and also due to interrupted waits. In both situations UMD +should preferrably restart the IOCTL after taking suitable action. If +UMD has overcommited a memory resource, an -ENOSPC error will be +returned, and UMD may then unbind resources that are not used at the +moment and restart the IOCTL. On -EINTR, UMD should simply restart the +IOCTL and on -ENOMEM user-space may either attempt to free known +system memory resources or abort the operation. If aborting as a +result of a failed operation in a list of operations, some operations +may still have completed, and to get back to a known state, user-space +should therefore attempt to unbind all virtual memory regions touched +by the failing IOCTL. +Unbind operations are guaranteed not to cause any errors due to +resource constraints. +In between a failed VM_BIND ioctl and a successful restart there may +be implementation defined restrictions on the use of the VM. For a +description why, please see KMD implementation details under [error +state saving]_. + + +KMD implementation details +========================== + +.. [error state saving] Open: When the VM_BIND ioctl returns an error, some + or even parts of an operation may have been + completed. If the ioctl is restarted, in order + to know where to restart, the KMD can + either put the VM in an error state and save + one instance of the needed restart state + internally. In this case, KMD needs to block + further modifications of the VM state that may + cause additional failures requiring a restart + state save, until the error has been fully resolved. + If the uAPI instead defines a pointer to a + UMD allocated cookie in the IOCTL struct, it + could also choose to store the restart state + in that cookie. + + The restart state may, for example, be the + number of successfully completed operations. + + Easiest for UMD would of course be if KMD did + a full unwind on error so that no error state + needs to be saved.