Received: by 2002:a05:6a10:206:0:0:0:0 with SMTP id 6csp4343506pxj; Wed, 12 May 2021 03:37:08 -0700 (PDT) X-Google-Smtp-Source: ABdhPJx31ck9kyeEGNVUrMp72l/5L8nQvyOaNGtoGUAmYeyYrwB2I5cLAAM75mv+/PLiwIGGonCi X-Received: by 2002:a92:cb51:: with SMTP id f17mr31924719ilq.119.1620815828675; Wed, 12 May 2021 03:37:08 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1620815828; cv=none; d=google.com; s=arc-20160816; b=u3C/Wt3UgmyThpWKUe2m8m5lbHLLjLJz1FMV+xSjreNRqBaU5O3qvqmtC4a64L1bA1 4fqr6XIaVCXJAI1Ef++wz3JPlBQc3n6pO4yYrdp/82YWUrfacHi/CbOQQVL+1zEiRgp2 7Vue5Ud7saOopNtVtd5JqiFPSAl7dGp7v80CDliXWNvEDay9qu6XIgu70uzHy5jU/xp8 KvLds63HXWYvsndW3poVwASNGDHeMA0GGAtojKH01xvypifdidmaf6nQeTqM5WGR9GQR +z0JyIKWj1GtlMzOX6qdfRKlE7t4i5W14erSf+be67ezerhG7X0J8shl9qw6ATZqakgE mheg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:cc:to:subject:message-id:date:from:in-reply-to :references:mime-version:dkim-signature; bh=uQMh8M5q7Vre565o+gT7eElG/1cwC7TQiSzjiHYnwmU=; b=cYr4FyGyszGEYBi5QpeGsE2Xx90EGfm1fCQI9NEJa8SrTuCkAF7Z5eNBDakTdYD8oH 8HeTFt4bjJVCG5+jcfZxfO7I1A6oJV2FQUJfd+rltrgDuHBsRNrr5uBeNcnz1a3QHifQ tfEy+jYMk5cvUDGB2QLZBCuD/so6WJuq0FAcBMBhkxG9HEfPdn3SqnkAZ488n+XDqF5P 6VdPcEgvv5qXbhzodvxqHn60Giy7UQS+gmAovoj/ASTZKTsELAVoSkO067eWuMz1zlAP ODO3HyKFry3AFIkPSH+KcVXVeR5n/ILj4wcXlZ8oi17V3eQZOon4uf4TcaMTUsAwV2bm 5qwQ== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@ffwll.ch header.s=google header.b=K1l5Hacx; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id a6si17729364iln.66.2021.05.12.03.36.54; Wed, 12 May 2021 03:37:08 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18; Authentication-Results: mx.google.com; dkim=pass header.i=@ffwll.ch header.s=google header.b=K1l5Hacx; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S230369AbhELKg6 (ORCPT + 99 others); Wed, 12 May 2021 06:36:58 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:37846 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S230322AbhELKgy (ORCPT ); Wed, 12 May 2021 06:36:54 -0400 Received: from mail-oo1-xc33.google.com (mail-oo1-xc33.google.com [IPv6:2607:f8b0:4864:20::c33]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id EC48DC061574 for ; Wed, 12 May 2021 03:35:46 -0700 (PDT) Received: by mail-oo1-xc33.google.com with SMTP id v13-20020a4aa40d0000b02902052145a469so3211877ool.3 for ; Wed, 12 May 2021 03:35:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ffwll.ch; s=google; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=uQMh8M5q7Vre565o+gT7eElG/1cwC7TQiSzjiHYnwmU=; b=K1l5HacxbYIFdrlwfUHj1sgkQyMhsJe6Ek3eT4ydB135WWEnzE4ed0JYCUt+ZiG4oE ytHfVxhqijRojmN5DLUSKWLk1okjdY4VNFRlwY3R4TdG70Fr9cTKS5+RKY+KpsQcdqKM 2bazTvVAr6f+gu0rC9yPI10YaLFcWsrfScCv8= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=uQMh8M5q7Vre565o+gT7eElG/1cwC7TQiSzjiHYnwmU=; b=cpvqkulE015VoDdtY/xALLlEwT7/2nEdq8DHiQZ6bc4DYM2v4OYUz86mFYm5bXEney 33mOKcjyEtqwzqahyiFM30WKuK4dsx2+hv4UdwsDpynhiLE5s1ApjEt5uN/iDmlygJeT lB1Jxf4kjSTwC10jUsz09cIOdY7wDe6XjB/+cAM5/E4KNhm4IRtKyWxJHXgz6e6DaBGc Zc7+kGi0E/nD+cebefCIVBnTwkwwums3hDQkkkHPFVcjAQJY5/NxFzGp9+NVY6ANfDFa tIjH+ECQxvG6vnnHoDzNZqovTo3jbLk3EIPf4a+GUqIGhReBw3r6ZclzzTCVr1/csXMm AFWA== X-Gm-Message-State: AOAM530NRYyfIFWW4f0H4GyU1CAFJ6pKaH/dy2LMNR8Tm9xdq4Qh+fY8 grgjB+Fbb/wBPcWrCdN0O+oXiBEZE9kV42yNvnSjEA== X-Received: by 2002:a4a:d4c7:: with SMTP id r7mr11983406oos.85.1620815746232; Wed, 12 May 2021 03:35:46 -0700 (PDT) MIME-Version: 1.0 References: <20210508195641.397198-1-robdclark@gmail.com> <20210508195641.397198-2-robdclark@gmail.com> <20210512112330.0130a62a@eldfell> <20210512124619.3fba5b9b@eldfell> In-Reply-To: <20210512124619.3fba5b9b@eldfell> From: Daniel Vetter Date: Wed, 12 May 2021 12:35:34 +0200 Message-ID: Subject: Re: [PATCH 1/2] drm: Fix dirtyfb stalls To: Pekka Paalanen Cc: Rob Clark , Rob Clark , David Airlie , open list , dri-devel , Thomas Zimmermann Content-Type: text/plain; charset="UTF-8" Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Wed, May 12, 2021 at 11:46 AM Pekka Paalanen wrote: > > On Wed, 12 May 2021 10:44:29 +0200 > Daniel Vetter wrote: > > > On Wed, May 12, 2021 at 11:23:30AM +0300, Pekka Paalanen wrote: > > > On Tue, 11 May 2021 18:44:17 +0200 > > > Daniel Vetter wrote: > > > > > > > On Mon, May 10, 2021 at 12:06:05PM -0700, Rob Clark wrote: > > > > > On Mon, May 10, 2021 at 10:44 AM Daniel Vetter wrote: > > > > > > > > > > > > On Mon, May 10, 2021 at 6:51 PM Rob Clark wrote: > > > > > > > > > > > > > > On Mon, May 10, 2021 at 9:14 AM Daniel Vetter wrote: > > > > > > > > > > > > > > > > On Sat, May 08, 2021 at 12:56:38PM -0700, Rob Clark wrote: > > > > > > > > > From: Rob Clark > > > > > > > > > > > > > > > > > > drm_atomic_helper_dirtyfb() will end up stalling for vblank on "video > > > > > > > > > mode" type displays, which is pointless and unnecessary. Add an > > > > > > > > > optional helper vfunc to determine if a plane is attached to a CRTC > > > > > > > > > that actually needs dirtyfb, and skip over them. > > > > > > > > > > > > > > > > > > Signed-off-by: Rob Clark > > > > > > > > > > > > > > > > So this is a bit annoying because the idea of all these "remap legacy uapi > > > > > > > > to atomic constructs" helpers is that they shouldn't need/use anything > > > > > > > > beyond what userspace also has available. So adding hacks for them feels > > > > > > > > really bad. > > > > > > > > > > > > > > I suppose the root problem is that userspace doesn't know if dirtyfb > > > > > > > (or similar) is actually required or is a no-op. > > > > > > > > > > > > > > But it is perhaps less of a problem because this essentially boils > > > > > > > down to "x11 vs wayland", and it seems like wayland compositors for > > > > > > > non-vsync'd rendering just pageflips and throws away extra frames from > > > > > > > the app? > > > > > > > > > > > > Yeah it's about not adequately batching up rendering and syncing with > > > > > > hw. bare metal x11 is just especially stupid about it :-) > > > > > > > > > > > > > > Also I feel like it's not entirely the right thing to do here either. > > > > > > > > We've had this problem already on the fbcon emulation side (which also > > > > > > > > shouldn't be able to peek behind the atomic kms uapi curtain), and the fix > > > > > > > > there was to have a worker which batches up all the updates and avoids any > > > > > > > > stalls in bad places. > > > > > > > > > > > > > > I'm not too worried about fbcon not being able to render faster than > > > > > > > vblank. OTOH it is a pretty big problem for x11 > > > > > > > > > > > > That's why we'd let the worker get ahead at most one dirtyfb. We do > > > > > > the same with fbcon, which trivially can get ahead of vblank otherwise > > > > > > (if sometimes flushes each character, so you have to pile them up into > > > > > > a single update if that's still pending). > > > > > > > > > > > > > > Since this is for frontbuffer rendering userspace only we can probably get > > > > > > > > away with assuming there's only a single fb, so the implementation becomes > > > > > > > > pretty simple: > > > > > > > > > > > > > > > > - 1 worker, and we keep track of a single pending fb > > > > > > > > - if there's already a dirty fb pending on a different fb, we stall for > > > > > > > > the worker to start processing that one already (i.e. the fb we track is > > > > > > > > reset to NULL) > > > > > > > > - if it's pending on the same fb we just toss away all the updates and go > > > > > > > > with a full update, since merging the clip rects is too much work :-) I > > > > > > > > think there's helpers so you could be slightly more clever and just have > > > > > > > > an overall bounding box > > > > > > > > > > > > > > This doesn't really fix the problem, you still end up delaying sending > > > > > > > the next back-buffer to mesa > > > > > > > > > > > > With this the dirtyfb would never block. Also glorious frontbuffer > > > > > > tracking corruption is possible, but that's not the kernel's problem. > > > > > > So how would anything get held up in userspace. > > > > > > > > > > the part about stalling if a dirtyfb is pending was what I was worried > > > > > about.. but I suppose you meant the worker stalling, rather than > > > > > userspace stalling (where I had interpreted it the other way around). > > > > > As soon as userspace needs to stall, you're losing again. > > > > > > > > Nah, I did mean userspace stalling, so we can't pile up unlimited amounts > > > > of dirtyfb request in the kernel. > > > > > > > > But also I never expect userspace that uses dirtyfb to actually hit this > > > > stall point (otherwise we'd need to look at this again). It would really > > > > be only there as defense against abuse. > > > > > > > > > > > But we could re-work drm_framebuffer_funcs::dirty to operate on a > > > > > > > per-crtc basis and hoist the loop and check if dirtyfb is needed out > > > > > > > of drm_atomic_helper_dirtyfb() > > > > > > > > > > > > That's still using information that userspace doesn't have, which is a > > > > > > bit irky. We might as well go with your thing here then. > > > > > > > > > > arguably, this is something we should expose to userspace.. for DSI > > > > > command-mode panels, you probably want to make a different decision > > > > > with regard to how many buffers in your flip-chain.. > > > > > > > > > > Possibly we should add/remove the fb_damage_clips property depending > > > > > on the display type (ie. video/pull vs cmd/push mode)? > > > > > > > > I'm not sure whether atomic actually needs this exposed: > > > > - clients will do full flips for every frame anyway, I've not heard of > > > > anyone seriously doing frontbuffer rendering. > > > > > > That may or may not be changing, depending on whether the DRM drivers > > > will actually support tearing flips. There has been a huge amount of > > > debate for needing tearing for Wayland [1], and while I haven't really > > > joined that discussion, using front-buffer rendering (blits) to work > > > around the driver inability to flip-tear might be something some people > > > will want. > > > > Uh pls dont, dirtyfb does a full atomic commit on atomic drivers > > underneath it. > > You keep saying dirtyfb, but I still didn't understand if you mean > literally *only* the legacy DirtyFB ioctl, or does it include > FB_DAMAGE_CLIPS in atomic too? > > I suppose you mean only the legacy ioctl. Only the legacy DIRTYFB ioctl. FB_DAMAGE_CLIPS is all solid I think. > > > Personally, what I do agree with is that "tear if late from intended > > > vblank" is a feature that will be needed when VRR cannot be used. > > > However, I would also argue that multiple tearing updates per refresh > > > cycle is not a good idea, and I know people disagree with this because > > > practically all relevant games are using a naive main loop that makes > > > multi-tearing necessary for good input response. > > > > > > I'm not quite sure where this leaves the KMS UAPI usage patterns. Maybe > > > this matters, maybe not? > > > > > > Does it make a difference between using legacy DirtyFB vs. atomic > > > FB_DAMAGE_CLIPS property? > > > > > > Also mind that Wayland compositors would be dynamically switching > > > between "normal flips" and "tearing updates" depending on the > > > scenegraph. This switch should not be considered a "mode set". > > > > > > [1] https://gitlab.freedesktop.org/wayland/wayland-protocols/-/merge_requests/65 > > > > I think what you want is two things: > > - some indication that frontbuffer rendering "works", for some value of > > that (which should probably be "doesn't require dirtyfb") > > > > - tearing flips support. This needs driver support > > A "tear if late" functionality in the kernel would be really nice too, > but can probably be worked around with high resolution timers in > userspace and just-in-time atomic tearing flips. Although those flips > would need to be tearing always, because timers that close to vblank are > going to race with vblank. > > > If you don't have either, pls don't try to emulate something using > > frontbuffer rendering and dirtyfb, because that will make it really, > > really awkward for the kernel to know what exactly userspace wants to do. > > Overloading existing interfaces with new meaning just we can really > > and it happens to work on the one platform we tested is really not a good > > idea. > > Alright, I'll spread the word if I catch people trying that. > > I didn't even understand that using DirtyFB at all would put "new > meaning" to it. I mean, if you do front-buffer rendering, you must use > DirtyFB or FB_DAMAGE_CLIPS on atomic to make sure it actually goes > anywhere, right? TBH I'd do FB_DAMAGE_CLIPS with atomic ioctl and the same fb. Also maybe userspace wants to better understand what exactly happens for frontbuffer tracking in this case too. The issue with DIRTYFB ioctl like with all the legacy ioctls is that it's very undefined how nonblocking and how async/tearing they are, and there's no completion event userspace could use to properly stall when it gets ahead too much. Any additional use we pile on top of them just makes this even more awkward for the kernel to do in a way that doesn't upset some userspace somewhere, while still trying to be as consistent across drivers as possible (ideally using one code path to remap to an atomic op in the same way for all drivers). Properly definied atomic properties and the exact semantics userspace expects is imo much better than "hey calling this ioctl gets the job done on my driver, let's just use that". If there's something missing in the atomic kms uapi, we need to add it properly. -Daniel -- Daniel Vetter Software Engineer, Intel Corporation http://blog.ffwll.ch