<!DOCTYPE html><html><head> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> </head> <body> Am 20.11.24 um 18:36 schrieb Matthew Brost: <blockquote type="cite" cite="mid:Zz4eNeYuHulccROH@lstrano-desk.jf.intel.com"> <pre class="moz-quote-pre" wrap="">On Wed, Nov 20, 2024 at 02:31:50PM +0100, Christian König wrote: </pre> <blockquote type="cite"> <pre class="moz-quote-pre" wrap="">Am 19.11.24 um 00:37 schrieb Matthew Brost: </pre> <blockquote type="cite"> <pre class="moz-quote-pre" wrap="">Add a dma_fence_preempt base class with driver ops to implement preemption, based on the existing Xe preemptive fence implementation. Annotated to ensure correct driver usage. Cc: Dave Airlie <a class="moz-txt-link-rfc2396E" href="mailto:airlied@redhat.com"><airlied@redhat.com></a> Cc: Simona Vetter <a class="moz-txt-link-rfc2396E" href="mailto:simona.vetter@ffwll.ch"><simona.vetter@ffwll.ch></a> Cc: Christian Koenig <a class="moz-txt-link-rfc2396E" href="mailto:christian.koenig@amd.com"><christian.koenig@amd.com></a> Signed-off-by: Matthew Brost <a class="moz-txt-link-rfc2396E" href="mailto:matthew.brost@intel.com"><matthew.brost@intel.com></a> --- drivers/dma-buf/Makefile | 2 +- drivers/dma-buf/dma-fence-preempt.c | 133 ++++++++++++++++++++++++++++ include/linux/dma-fence-preempt.h | 56 ++++++++++++ 3 files changed, 190 insertions(+), 1 deletion(-) create mode 100644 drivers/dma-buf/dma-fence-preempt.c create mode 100644 include/linux/dma-fence-preempt.h diff --git a/drivers/dma-buf/Makefile b/drivers/dma-buf/Makefile index 70ec901edf2c..c25500bb38b5 100644 --- a/drivers/dma-buf/Makefile +++ b/drivers/dma-buf/Makefile @@ -1,6 +1,6 @@ # SPDX-License-Identifier: GPL-2.0-only obj-y := dma-buf.o dma-fence.o dma-fence-array.o dma-fence-chain.o \ - dma-fence-unwrap.o dma-resv.o + dma-fence-preempt.o dma-fence-unwrap.o dma-resv.o obj-$(CONFIG_DMABUF_HEAPS) += dma-heap.o obj-$(CONFIG_DMABUF_HEAPS) += heaps/ obj-$(CONFIG_SYNC_FILE) += sync_file.o diff --git a/drivers/dma-buf/dma-fence-preempt.c b/drivers/dma-buf/dma-fence-preempt.c new file mode 100644 index 000000000000..6e6ce7ea7421 --- /dev/null +++ b/drivers/dma-buf/dma-fence-preempt.c @@ -0,0 +1,133 @@ +// SPDX-License-Identifier: MIT +/* + * Copyright © 2024 Intel Corporation + */ + +#include <linux/dma-fence-preempt.h> +#include <linux/dma-resv.h> + +static void dma_fence_preempt_work_func(struct work_struct *w) +{ + bool cookie = dma_fence_begin_signalling(); + struct dma_fence_preempt *pfence = + container_of(w, typeof(*pfence), work); + const struct dma_fence_preempt_ops *ops = pfence->ops; + int err = pfence->base.error; + + if (!err) { + err = ops->preempt_wait(pfence); + if (err) + dma_fence_set_error(&pfence->base, err); + } + + dma_fence_signal(&pfence->base); + ops->preempt_finished(pfence); </pre> </blockquote> <pre class="moz-quote-pre" wrap=""> Why is that callback useful? </pre> </blockquote> <pre class="moz-quote-pre" wrap=""> In Xe, this is where we kick the resume worker and drop a ref to the preemption object, which in Xe is an individual queue, and in AMD it is a VM, right?</pre> </blockquote> Correct. The whole VM is preempted since we don't know which queue is using which BO. <blockquote type="cite" cite="mid:Zz4eNeYuHulccROH@lstrano-desk.jf.intel.com"> <pre class="moz-quote-pre" wrap="">wrt preemption object, I've reasoned this should work for an either per queue or VM driver design of preempt fences. This part likely could be moved into the preempt_wait callback though but would get a little goofy in the error case if preempt_wait is not called as the driver side would still need to cleanup a ref. Maybe I don't even need a ref though - have to think that through - but for general safety we typically like to take refs whenever a fence references a different object.</pre> </blockquote> The tricky part is that at least for us we need to do this *before* the fence is signaled. This way we can do something like: retry: mutex_lock(&lock); if (dma_fence_is_signaled(preemept_fence)) { mutex_unlock(&lock); flush_work(resume_work); gotot retry; } To make sure that we have a valid and working VM before we publish the user fence anywhere and preempting the VM will wait for this user fence to complete. <blockquote type="cite" cite="mid:Zz4eNeYuHulccROH@lstrano-desk.jf.intel.com"> <pre class="moz-quote-pre" wrap=""> </pre> <blockquote type="cite"> <blockquote type="cite"> <pre class="moz-quote-pre" wrap="">+ + dma_fence_end_signalling(cookie); +} + +static const char * +dma_fence_preempt_get_driver_name(struct dma_fence *fence) +{ + return "dma_fence_preempt"; +} + +static const char * +dma_fence_preempt_get_timeline_name(struct dma_fence *fence) +{ + return "ordered"; +} + +static void dma_fence_preempt_issue(struct dma_fence_preempt *pfence) +{ + int err; + + err = pfence->ops->preempt(pfence); + if (err) + dma_fence_set_error(&pfence->base, err); + + queue_work(pfence->wq, &pfence->work); +} + +static void dma_fence_preempt_cb(struct dma_fence *fence, + struct dma_fence_cb *cb) +{ + struct dma_fence_preempt *pfence = + container_of(cb, typeof(*pfence), cb); + + dma_fence_preempt_issue(pfence); +} + +static void dma_fence_preempt_delay(struct dma_fence_preempt *pfence) +{ + struct dma_fence *fence; + int err; + + fence = pfence->ops->preempt_delay(pfence); </pre> </blockquote> <pre class="moz-quote-pre" wrap=""> Mhm, why is that useful? </pre> </blockquote> <pre class="moz-quote-pre" wrap=""> This for attaching the preempt object's last exported fence which needs to be signaled before the preemption is issued. So for purely long running VM's, this function could be NULL. For VM's with user queues + dma fences, the driver returns the last fence from the convert user fence to dma-fence IOCTL. I realized my kernel doc doesn't explain this as well as it should, I have already made this more verbose locally and hopefully it clearly explains all of this.</pre> </blockquote> That part was actually obvious. But I would expected that to be push interface instead of a pull interface. E.g. the preemption fence would also provide something like a manager object which has a mutex, the last exported user fence and the necessary functionality to update this user fence. The tricky part is really to get this dance right between signaling the preemption fence and not allowing installing a new user fence before the resume worker has re-created the VM. <blockquote type="cite" cite="mid:Zz4eNeYuHulccROH@lstrano-desk.jf.intel.com"> <blockquote type="cite"> <blockquote type="cite"> <pre class="moz-quote-pre" wrap="">+ if (WARN_ON_ONCE(!fence || IS_ERR(fence))) + return; + + err = dma_fence_add_callback(fence, &pfence->cb, dma_fence_preempt_cb); </pre> </blockquote> <pre class="moz-quote-pre" wrap=""> You are running into the exactly same bug we had :) The problem here is that you can't call dma_fence_add_callback() from the enable_signaling callback. Background is that the fence_ops->enable_signaling callback is called with the spinlock of the preemption fence held. This spinlock can be the same as the one of the user fence, but it could also be a different one. Either way calling dma_fence_add_callback() would let lockdep print a nice warning. </pre> </blockquote> <pre class="moz-quote-pre" wrap=""> Hmm, I see the problem if you share a lock between the preempt fence and last exported fence but as long as these locks are seperate I don't see the issue. The locking order then is: preempt fence lock -> last exported fence lock.</pre> </blockquote> You would need to annotate that as nested lock for lockdep and the dma_fence framework currently doesn't allow that. <blockquote type="cite" cite="mid:Zz4eNeYuHulccROH@lstrano-desk.jf.intel.com"> <pre class="moz-quote-pre" wrap="">Lockdep does not explode in Xe but maybe can buy this is a little unsafe. We could always move preempt_delay to the worker, attach a CB, and rekick the worker upon the last fence signaling if you think that is safer. Of course we could always just directly wait on the returned last fence in the worker too.</pre> </blockquote> Yeah I that is basically what we do at the moment since you also need to make sure that no new user fence is installed while you wait for the latest to signal. Regards, Christian. <blockquote type="cite" cite="mid:Zz4eNeYuHulccROH@lstrano-desk.jf.intel.com"> <pre class="moz-quote-pre" wrap=""> </pre> <blockquote type="cite"> <pre class="moz-quote-pre" wrap="">I tried to solve this by changing the dma_fence code to not call enable_signaling with the lock held, we wanted to do that anyway to prevent a bunch of issues with driver unload. But I realized that getting this upstream would take to long. Long story short we moved handling the user fence into the work item. </pre> </blockquote> <pre class="moz-quote-pre" wrap=""> I did run into an issue when trying to make preempt_wait after return a fence + attach a CB, and signal this preempt fence from the CB. I got locking inversions almost worked through them but eventually gave up and stuck with the worker. Matt </pre> <blockquote type="cite"> <pre class="moz-quote-pre" wrap="">Apart from that looks rather solid to me. Regards, Christian. </pre> <blockquote type="cite"> <pre class="moz-quote-pre" wrap="">+ if (err == -ENOENT) + dma_fence_preempt_issue(pfence); +} + +static bool dma_fence_preempt_enable_signaling(struct dma_fence *fence) +{ + struct dma_fence_preempt *pfence = + container_of(fence, typeof(*pfence), base); + + if (pfence->ops->preempt_delay) + dma_fence_preempt_delay(pfence); + else + dma_fence_preempt_issue(pfence); + + return true; +} + +static const struct dma_fence_ops preempt_fence_ops = { + .get_driver_name = dma_fence_preempt_get_driver_name, + .get_timeline_name = dma_fence_preempt_get_timeline_name, + .enable_signaling = dma_fence_preempt_enable_signaling, +}; + +/** + * dma_fence_is_preempt() - Is preempt fence + * + * @fence: Preempt fence + * + * Return: True if preempt fence, False otherwise + */ +bool dma_fence_is_preempt(const struct dma_fence *fence) +{ + return fence->ops == &preempt_fence_ops; +} +EXPORT_SYMBOL(dma_fence_is_preempt); + +/** + * dma_fence_preempt_init() - Initial preempt fence + * + * @fence: Preempt fence + * @ops: Preempt fence operations + * @wq: Work queue for preempt wait, should have WQ_MEM_RECLAIM set + * @context: Fence context + * @seqno: Fence seqence number + */ +void dma_fence_preempt_init(struct dma_fence_preempt *fence, + const struct dma_fence_preempt_ops *ops, + struct workqueue_struct *wq, + u64 context, u64 seqno) +{ + /* + * XXX: We really want to check wq for WQ_MEM_RECLAIM here but + * workqueue_struct is private. + */ + + fence->ops = ops; + fence->wq = wq; + INIT_WORK(&fence->work, dma_fence_preempt_work_func); + spin_lock_init(&fence->lock); + dma_fence_init(&fence->base, &preempt_fence_ops, + &fence->lock, context, seqno); +} +EXPORT_SYMBOL(dma_fence_preempt_init); diff --git a/include/linux/dma-fence-preempt.h b/include/linux/dma-fence-preempt.h new file mode 100644 index 000000000000..28d803f89527 --- /dev/null +++ b/include/linux/dma-fence-preempt.h @@ -0,0 +1,56 @@ +/* SPDX-License-Identifier: MIT */ +/* + * Copyright © 2024 Intel Corporation + */ + +#ifndef __LINUX_DMA_FENCE_PREEMPT_H +#define __LINUX_DMA_FENCE_PREEMPT_H + +#include <linux/dma-fence.h> +#include <linux/workqueue.h> + +struct dma_fence_preempt; +struct dma_resv; + +/** + * struct dma_fence_preempt_ops - Preempt fence operations + * + * These functions should be implemented in the driver side. + */ +struct dma_fence_preempt_ops { + /** @preempt_delay: Preempt execution with a delay */ + struct dma_fence *(*preempt_delay)(struct dma_fence_preempt *fence); + /** @preempt: Preempt execution */ + int (*preempt)(struct dma_fence_preempt *fence); + /** @preempt_wait: Wait for preempt of execution to complete */ + int (*preempt_wait)(struct dma_fence_preempt *fence); + /** @preempt_finished: Signal that the preempt has finished */ + void (*preempt_finished)(struct dma_fence_preempt *fence); +}; + +/** + * struct dma_fence_preempt - Embedded preempt fence base class + */ +struct dma_fence_preempt { + /** @base: Fence base class */ + struct dma_fence base; + /** @lock: Spinlock for fence handling */ + spinlock_t lock; + /** @cb: Callback preempt delay */ + struct dma_fence_cb cb; + /** @ops: Preempt fence operation */ + const struct dma_fence_preempt_ops *ops; + /** @wq: Work queue for preempt wait */ + struct workqueue_struct *wq; + /** @work: Work struct for preempt wait */ + struct work_struct work; +}; + +bool dma_fence_is_preempt(const struct dma_fence *fence); + +void dma_fence_preempt_init(struct dma_fence_preempt *fence, + const struct dma_fence_preempt_ops *ops, + struct workqueue_struct *wq, + u64 context, u64 seqno); + +#endif </pre> </blockquote> <pre class="moz-quote-pre" wrap=""> </pre> </blockquote> </blockquote> </body> </html>