[RFC PATCH 01/29] dma-fence: Add dma_fence_preempt base class
Matthew Brost
matthew.brost at intel.com
Thu Nov 21 18:41:55 UTC 2024
On Thu, Nov 21, 2024 at 11:04:47AM +0100, Christian König wrote:
> Am 20.11.24 um 18:36 schrieb Matthew Brost:
> > On Wed, Nov 20, 2024 at 02:31:50PM +0100, Christian König wrote:
> > > Am 19.11.24 um 00:37 schrieb Matthew Brost:
> > > > 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<airlied at redhat.com>
> > > > Cc: Simona Vetter<simona.vetter at ffwll.ch>
> > > > Cc: Christian Koenig<christian.koenig at amd.com>
> > > > Signed-off-by: Matthew Brost<matthew.brost at intel.com>
> > > > ---
> > > > 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);
> > > Why is that callback useful?
> > >
> > 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?
>
> Correct. The whole VM is preempted since we don't know which queue is using
> which BO.
>
Right. In Xe we don't know which queue is using a BO either - we trigger
all queues preempt fences attached to the VM effectively preempting the
entire VM. Per VM preempt fence or per queue preempt fence is a driver
choice (I can see arguments for both cases) is the point here and any
base class shouldn't dictate what a driver wants to do.
> > 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.
>
> The tricky part is that at least for us we need to do this *before* the
> fence is signaled.
Hmm, I'm a little confused by this. Do you think the code as is missing
somehthing or opposed to keeping the preempt_finished vfunc?
>
> 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;
> }
>
This snippet is from your convert user fence to dma fence IOCTL? I think
this makes sense given your design of the conver user to dma fence IOCTL
not actually doing a resume - I landed making that IOCTL basically
another version of the resume worker for simplicity but that may change
if we find locking the entire VM is too costly.
>
> 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.
>
Agree the VM needs be in valid state befor publish a user fence as a dma
fence given a resume requires memory allocations thus breaking dma
fencing rules.
> >
> > > > +
> > > > + 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);
> > > Mhm, why is that useful?
> > >
> > 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.
>
> 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.
>
Hmm, I rather like the pull interface. In Xe this is dma-fence chain
attached to the VM. It safe pull given our covert IOCTL takes the VM's
dma-resv locks / notifier locks before publishing the user fence.
In your design couldn't you use spin lock in the last step of publishing
a user fence which checks for sw signaling on the preempt fence, if it
enabled restart the IOCTL waiting the resume worker? Then in this vfunc
pull the fence under the spin lock?
Not opposed to a push interface though if you really think this the way
to go. Quite certain I could make that work for Xe too.
> 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.
>
Yes, indeed this is tricky.
> > > > + if (WARN_ON_ONCE(!fence || IS_ERR(fence)))
> > > > + return;
> > > > +
> > > > + err = dma_fence_add_callback(fence, &pfence->cb, dma_fence_preempt_cb);
> > > 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.
> > >
> > 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.
>
> You would need to annotate that as nested lock for lockdep and the dma_fence
> framework currently doesn't allow that.
>
This definitely works as is - I've tested this. If dma-fence's lock was
embedded within the dma-fence, then ofc lockdep would complain without
nesting. It isn't though - the spin lock is passed in as argument so
lockdep can identify the locks for 'preempt fence lock' and 'last
exported fence' as independent locks.
> > 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.
>
> 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.
>
After I typed this realized waiting on 'last fence' in the worker is a no
go given we want to pipeline preemptions in Xe (e.g. issue all queues
preemption commands to firmware in parallel as these are async
operations which may be fast in cases and slow in others). I think
having preempt vfunc done directly in a dma-fence CB is a must.
Matt
> Regards,
> Christian.
>
> >
> > > 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.
> > >
> > 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
> >
> > > Apart from that looks rather solid to me.
> > >
> > > Regards,
> > > Christian.
> > >
> > > > + 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
More information about the Intel-xe
mailing list