Re: [Mesa-dev] [RFC] Linux Graphics Next: Explicit fences everywhere and no BO fences - initial proposal

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Tue, May 4, 2021 at 12:16 PM Marek Olšák <maraeo@xxxxxxxxx> wrote:
>
> I see some mentions of XNACK and recoverable page faults. Note that all gaming AMD hw that has userspace queues doesn't have XNACK, so there is no overhead in compute units. My understanding is that recoverable page faults are still supported without XNACK, but instead of the compute unit replaying the faulting instruction, the L1 cache does that. Anyway, the point is that XNACK is totally irrelevant here.
>
> Marek
>
> On Tue., May 4, 2021, 08:48 Christian König, <ckoenig.leichtzumerken@xxxxxxxxx> wrote:
>>
>> Am 04.05.21 um 13:13 schrieb Daniel Vetter:
>> > On Tue, May 4, 2021 at 12:53 PM Christian König
>> > <ckoenig.leichtzumerken@xxxxxxxxx> wrote:
>> >> Am 04.05.21 um 11:47 schrieb Daniel Vetter:
>> >>> [SNIP]
>> >>>> Yeah, it just takes to long for the preemption to complete to be really
>> >>>> useful for the feature we are discussing here.
>> >>>>
>> >>>> As I said when the kernel requests to preempt a queue we can easily expect a
>> >>>> timeout of ~100ms until that comes back. For compute that is even in the
>> >>>> multiple seconds range.
>> >>> 100ms for preempting an idle request sounds like broken hw to me. Of
>> >>> course preemting something that actually runs takes a while, that's
>> >>> nothing new. But it's also not the thing we're talking about here. Is this
>> >>> 100ms actual numbers from hw for an actual idle ringbuffer?
>> >> Well 100ms is just an example of the scheduler granularity. Let me
>> >> explain in a wider context.
>> >>
>> >> The hardware can have X queues mapped at the same time and every Y time
>> >> interval the hardware scheduler checks if those queues have changed and
>> >> only if they have changed the necessary steps to reload them are started.
>> >>
>> >> Multiple queues can be rendering at the same time, so you can have X as
>> >> a high priority queue active and just waiting for a signal to start and
>> >> the client rendering one frame after another and a third background
>> >> compute task mining bitcoins for you.
>> >>
>> >> As long as everything is static this is perfectly performant. Adding a
>> >> queue to the list of active queues is also relatively simple, but taking
>> >> one down requires you to wait until we are sure the hardware has seen
>> >> the change and reloaded the queues.
>> >>
>> >> Think of it as an RCU grace period. This is simply not something which
>> >> is made to be used constantly, but rather just at process termination.
>> > Uh ... that indeed sounds rather broken.
>>
>> Well I wouldn't call it broken. It's just not made for the use case we
>> are trying to abuse it for.
>>
>> > Otoh it's just a dma_fence that'd we'd inject as this unload-fence.
>>
>> Yeah, exactly that's why it isn't much of a problem for process
>> termination or freeing memory.
>>
>> > So by and large everyone should already be able to cope with it taking a
>> > bit longer. So from a design pov I don't see a huge problem, but I
>> > guess you guys wont be happy since it means on amd hw there will be
>> > random unsightly stalls in desktop linux usage.
>> >
>> >>>> The "preemption" feature is really called suspend and made just for the case
>> >>>> when we want to put a process to sleep or need to forcefully kill it for
>> >>>> misbehavior or stuff like that. It is not meant to be used in normal
>> >>>> operation.
>> >>>>
>> >>>> If we only attach it on ->move then yeah maybe a last resort possibility to
>> >>>> do it this way, but I think in that case we could rather stick with kernel
>> >>>> submissions.
>> >>> Well this is a hybrid userspace ring + kernel augmeted submit mode, so you
>> >>> can keep dma-fences working. Because the dma-fence stuff wont work with
>> >>> pure userspace submit, I think that conclusion is rather solid. Once more
>> >>> even after this long thread here.
>> >> When assisted with unload fences, then yes. Problem is that I can't see
>> >> how we could implement those performant currently.
>> > Is there really no way to fix fw here? Like if process start/teardown
>> > takes 100ms, that's going to suck no matter what.
>>
>> As I said adding the queue is unproblematic and teardown just results in
>> a bit more waiting to free things up.
>>
>> Problematic is more overcommit swapping and OOM situations which need to
>> wait for the hw scheduler to come back and tell us that the queue is now
>> unmapped.
>>
>> >>>>> Also, if userspace lies to us and keeps pushing crap into the ring
>> >>>>> after it's supposed to be idle: Userspace is already allowed to waste
>> >>>>> gpu time. If you're too worried about this set a fairly aggressive
>> >>>>> preempt timeout on the unload fence, and kill the context if it takes
>> >>>>> longer than what preempting an idle ring should take (because that
>> >>>>> would indicate broken/evil userspace).
>> >>>> I think you have the wrong expectation here. It is perfectly valid and
>> >>>> expected for userspace to keep writing commands into the ring buffer.
>> >>>>
>> >>>> After all when one frame is completed they want to immediately start
>> >>>> rendering the next one.
>> >>> Sure, for the true userspace direct submit model. But with that you don't
>> >>> get dma-fence, which means this gpu will not work for 3d accel on any
>> >>> current linux desktop.
>> >> I'm not sure of that. I've looked a bit into how we could add user
>> >> fences to dma_resv objects and that isn't that hard after all.
>> > I think as a proof of concept it's fine, but as an actual solution ...
>> > pls no. Two reasons:

I'm looking forward to seeing the prototype because...

>> > - implicit sync is bad
>>
>> Well can't disagree with that :) But I think we can't avoid supporting it.
>>
>> > - this doesn't fix anything for explicit sync using dma_fence in terms
>> > of sync_file or drm_syncobj.
>>
>> Exactly.
>>
>> If we do implicit sync or explicit sync is orthogonal to the problems
>> that sync must be made reliable somehow.

Regardless of implicit vs. explicit sync, the fundamental problem we
have to solve is the same.  I'm moderately hopeful that if Christian
has an idea for how to do it with dma_resv that maybe we can translate
that in a semi-generic way to syncobj.  Yes, I realize I just waved my
hands and made all the big problems go away.  Except I really didn't.
I made them all Christian's problems. :-P

--Jason


>> So when we sync and timeout the waiter should just continue, but whoever
>> failed to signal will be punished.
>>
>> But since this isn't solved on Windows I don't see how we can solve it
>> on Linux either.
>>
>> > So if we go with the route of papering over this in the kernel, then
>> > it'll be a ton more work than just hacking something into dma_resv.
>>
>> I'm just now prototyping that and at least for the driver parts it
>> doesn't look that hard after all.
>>
>> >>> Which sucks, hence some hybrid model of using the userspace ring and
>> >>> kernel augmented submit is needed. Which was my idea.
>> >> Yeah, I think when our firmware folks would really remove the kernel
>> >> queue and we still don't have
>> > Yeah I think kernel queue can be removed. But the price is that you
>> > need reasonable fast preempt of idle contexts.
>> >
>> > I really can't understand how this can take multiple ms, something
>> > feels very broken in the design of the fw (since obviously the hw can
>> > preempt an idle context to another one pretty fast, or you'd render
>> > any multi-client desktop as a slideshow at best).
>>
>> Well the hardware doesn't preempt and idle context. See you can have a
>> number of active ("mapped" in the fw terminology) contexts and idle
>> contexts are usually kept active even when they are idle.
>>
>> So when multi-client desktop switches between context then that is
>> rather fast, but when the kernel asks for a context to be unmapped that
>> can take rather long.
>>
>>
>> >
>> >>>> [SNIP]
>> >>>> Can't find that of hand either, but see the amdgpu_noretry module option.
>> >>>>
>> >>>> It basically tells the hardware if retry page faults should be supported or
>> >>>> not because this whole TLB shutdown thing when they are supported is
>> >>>> extremely costly.
>> >>> Hm so synchronous tlb shootdown is a lot more costly when you allow
>> >>> retrying of page faults?
>> >> Partially correct, yes.
>> >>
>> >> See when you have retry page faults enabled and unmap something you need
>> >> to make sure that everybody which could have potentially translated that
>> >> page and has a TLB is either invalidated or waited until the access is
>> >> completed.
>> >>
>> >> Since every CU could be using a memory location that takes ages to
>> >> completed compared to the normal invalidation where you just invalidate
>> >> the L1/L2 and are done.
>> >>
>> >> Additional to that the recovery adds some extra overhead to every memory
>> >> access, so even without a fault you are quite a bit slower if this is
>> >> enabled.
>> > Well yes it's complicated, and it's even more fun when the tlb
>> > invalidate comes in through the IOMMU through ATS.
>> >
>> > But also if you don't your hw is just broken from a security pov, no
>> > page fault handling for you. So it's really not optional.
>>
>> Yeah, but that is also a known issue. You either have retry faults and
>> live with the extra overhead or you disable them and go with the kernel
>> based submission approach.
>>
>> >
>> >>> That sounds bad, because for full hmm mode you need to be able to retry
>> >>> pagefaults. Well at least the PASID/ATS/IOMMU side will do that, and might just
>> >>> hang your gpu for a long time while it's waiting for the va->pa lookup
>> >>> response to return. So retrying lookups shouldn't be any different really.
>> >>>
>> >>> And you also need fairly fast synchronous tlb shootdown for hmm. So if
>> >>> your hw has a problem with both together that sounds bad.
>> >> Completely agree. And since it was my job to validate the implementation
>> >> on Vega10 I was also the first one to realize that.
>> >>
>> >> Felix, a couple of others and me are trying to work around those
>> >> restrictions ever since.
>> >>
>> >>> I was more thinking about handling it all in the kernel.
>> >>> Yeah can do, just means that you also have to copy the ringbuffer stuff
>> >>> over from userspace to the kernel.
>> >> That is my least worry. The IBs are just addr+length., so no more than
>> >> 16 bytes for each IB.
>> > Ah ok, maybe I'm biased from drm/i915 where an ib launch + seqno is
>> > rather long, because the hw folks keep piling more workarounds and
>> > additional flushes on top. Like on some hw the recommended w/a was to
>> > just issue 32 gpu cache flushes or something like that (otherwise the
>> > seqno write could arrive before the gpu actually finished flushing)
>> > :-/
>>
>> Well I once had a conversation with a hw engineer which wanted to split
>> up the TLB in validations into 1Gib chunks :)
>>
>> That would have mean we would need to emit 2^17 different invalidation
>> requests on the kernel ring buffer....
>>
>> Christian.
>>
>>
>> >
>> > Cheers, Daniel
>> >
>> >>> It also means that there's more differences in how your userspace works
>> >>> between full userspace mode (necessary for compute) and legacy dma-fence
>> >>> mode (necessary for desktop 3d). Which is especially big fun for vulkan,
>> >>> since that will have to do both.
>> >> That is the bigger problem.
>> >>
>> >> Christian.
>> >>
>> >>> But then amd is still hanging onto the amdgpu vs amdkfd split, so you're
>> >>> going for max pain in this area anyway :-P
>> >>> -Daniel
>> >
>>
_______________________________________________
dri-devel mailing list
dri-devel@xxxxxxxxxxxxxxxxxxxxx
https://lists.freedesktop.org/mailman/listinfo/dri-devel




[Index of Archives]     [Linux DRI Users]     [Linux Intel Graphics]     [Linux USB Devel]     [Video for Linux]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]     [XFree86]     [Linux USB Devel]     [Video for Linux]     [Linux Audio Users]     [Linux Kernel]     [Linux SCSI]     [XFree86]
  Powered by Linux