Received-SPF: pass (google.com: domain of linux-kernel+bounces-87710-linux.lists.archive=gmail.com@vger.kernel.org designates 147.75.48.161 as permitted sender) client-ip=147.75.48.161;
References: <20240213055554.1802415-1-ankur.a.arora@oracle.com>
 <20240213055554.1802415-24-ankur.a.arora@oracle.com>
 <Zd85iRyY6-zlo2wl@localhost.localdomain> <871q8v7otl.fsf@oracle.com>
 <ZeBPXNFkipU9yytp@localhost.localdomain>
User-agent: mu4e 1.4.10; emacs 27.2
From: Ankur Arora <ankur.a.arora@oracle.com>
To: Juri Lelli <juri.lelli@redhat.com>
Cc: Ankur Arora <ankur.a.arora@oracle.com>, linux-kernel@vger.kernel.org,
        tglx@linutronix.de, peterz@infradead.org,
        torvalds@linux-foundation.org, paulmck@kernel.org,
        akpm@linux-foundation.org, luto@kernel.org, bp@alien8.de,
        dave.hansen@linux.intel.com, hpa@zytor.com, mingo@redhat.com,
        vincent.guittot@linaro.org, willy@infradead.org, mgorman@suse.de,
        jpoimboe@kernel.org, mark.rutland@arm.com, jgross@suse.com,
        andrew.cooper3@citrix.com, bristot@kernel.org,
        mathieu.desnoyers@efficios.com, geert@linux-m68k.org,
        glaubitz@physik.fu-berlin.de, anton.ivanov@cambridgegreys.com,
        mattst88@gmail.com, krypton@ulrich-teichert.org, rostedt@goodmis.org,
        David.Laight@aculab.com, richard@nod.at, mjguzik@gmail.com,
        jon.grimm@amd.com, bharata@amd.com, raghavendra.kt@amd.com,
        boris.ostrovsky@oracle.com, konrad.wilk@oracle.com
Subject: Re: [PATCH 23/30] sched/fair: handle tick expiry under lazy preemption
In-reply-to: <ZeBPXNFkipU9yytp@localhost.localdomain>
Date: Thu, 29 Feb 2024 15:54:42 -0800
Message-ID: <87a5ni6d31.fsf@oracle.com>
Content-Type: text/plain
Precedence: bulk
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: 
	=?us-ascii?Q?gg/ZqfO8KiCiAjcXUEI67/Efkec6fEy/iRIwbCPSMbDqRlqDchfvPT2y7/ex?=
 =?us-ascii?Q?C7TFOqyLaA/i2vnHNBKg83HverF4UAp6/zrBrvXYOW7sod6FfS98PhuE06e0?=
 =?us-ascii?Q?JqPT6wVwQFi0uw5D177CWc8/XEYjiDWLV8xByuufCr9EbXO7ReiR9pm1pG/C?=
 =?us-ascii?Q?x0Pl7gzWfWKfKOKo8nCVDk4IGYlAuuM8PR/83oNxiwwgmMrVzdLRljdhm8p6?=
 =?us-ascii?Q?j9/udWI1L+tEYJKhOQrKp5Q7Z96r85Nf6+gVtzaIlGmtvWOg9j1aykh9DcPj?=
 =?us-ascii?Q?uHUgp9SWBLUfevkHa+O0pPl8FQDtj2YYKHS+shKo9mmKFRAMvlkHCobyJ7Up?=
 =?us-ascii?Q?ehQrjuHYuwsmKX/GMUx7egFyKJrSm8YxycokAhZFDcHqyJBhowvTgCpM/X0I?=
 =?us-ascii?Q?LksLIqZWGm27FVxV/wf7Wiy4ghJS9DEmtX5Nua3V1iCnDeXwZ6RXGi6G+NMs?=
 =?us-ascii?Q?Ztbak35wkGcjslU0M5WfJz6FhRgM9W2OI8K3UoWR98OLvkToTm3dcwzSTLah?=
 =?us-ascii?Q?NfBxbCqVRvFpWvG40mUF2FKmU4cqgKB593a04S3fkyEh0qs0cAMBUtdlrhRL?=
 =?us-ascii?Q?DozrsoayZSLOpn0a1r1P4CK/JUeGThiUqeDMDn7B/9CtPttE/09R5dgc23Nq?=
 =?us-ascii?Q?KDYjyGhZtxj5VtuqHKtFP4x9NuUHiGMqrU9to2Z/bgSRyQ80EEabyppqfW0/?=
 =?us-ascii?Q?r/nvLzVQ/0Vlf4cs7gKFi3/wphxUGTzwtHGyA7Dl/QqO0+/lwihM9uQN8y4n?=
 =?us-ascii?Q?WgOO3d+sp3sTq+B3E3ectn2i6N1nFBPdlZ6f6mgrGrdU9qTYIAfAbbT0j0d1?=
 =?us-ascii?Q?tJedWvwEfijqA3spFTNr9PRxLMhTTGJayNwUnpb6jC5td5enNxSyI+9a8Xs8?=
 =?us-ascii?Q?+WWdOHeeNw8o0WUkspormPvwvBERlFMd9EdZuv6eONwGU6jNVLb+XlJxDmE+?=
 =?us-ascii?Q?lqY4Vy1TJCscLp+nK70lWXmvKFXxa1EguEpVpFCFUnjkVNNUOmtEc5UTrunS?=
 =?us-ascii?Q?ERQlj3FawYJ7LYH2ayjKLoPgFpTSaBlFOEz/17x/J9iQyacomiPeCCynJNhX?=
 =?us-ascii?Q?Qt3ggV7JvVZi8AzCJzEhm+HQAv52duJhFme97nWMPSAoEVyvZ38Z44aYVlRC?=
 =?us-ascii?Q?FdnofP9ZCIDZBbu35fQLMBGLrMJS/LgpJpVLYQ6rRzM4Fzz/jolBh+Ey0hrt?=
 =?us-ascii?Q?zbWO5VfPEPmL5DSbhfYZ64mMDWmckhwYDjhrB8LnRiNaHJgDgN7bV7lH1uVu?=
 =?us-ascii?Q?NrlvqMMOcIIRyUfht96WJm1C2HT0+cehuWht3BLm810TSePxRCNmz7w6708M?=
 =?us-ascii?Q?yCeYE5rCL9EyhqjTM7Iit1sgYzU5PAKSjVKopd41+/PHfmBdt1JmqXqtJHPt?=
 =?us-ascii?Q?QdQALGiVAp41ZATk3aqNAm82D0whrYsFJR13djOG+5s/9dXh7tDDBU/cu5jL?=
 =?us-ascii?Q?KRZp8kg/HlQb+DrCfZNDznEq9CY9YpKGkNKhEeCHB4+YXgowwQIkoBu1vg8z?=
 =?us-ascii?Q?Us7W/VWMvwY8yN3R6OnIp+P8S1qQVzvFr20h06Ql0afN0gpmSdZvvMwvcoot?=
 =?us-ascii?Q?PA/MYZB3NAOnaLTL8sUlV6EBTMxY1Xs65tHRkqgXsvNSTo5kAZRg6j2HEasA?=
 =?us-ascii?Q?Cg=3D=3D?=
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: 
	dnv/F0BMD4Z8+IHltCtKeBQ1ylUNPbtRoeSQKv1aGe1/NwYk4ADF+eLHO3l/7bUdxoaNxZMI1UhqZk1p6BV1TQKz2Xg5d8R8jNw+UMd/Lscpe8wCDyN0cUWnZgJFEXyLgb3IFImoDyDhlGVzq9MCOjIezWyOS3SNPg4VQBq/H8QnIwPMPqtnHwc/Skc7TatGh5ckqi1H9E7QO4fgnhXRYctbVgf4AScCdwlUq7RIcEqVgWU9K2++zBCMFRYYuyWLAan3s6sCs+vceRdURsOPqGMWTGgM28vNOF/B7d8JJaOTjjodiBl9fswIBAwWPqKz34A5Cj56LgFty2mJelZEuz2NuDjhVOQHfQ1VeZvqgo7GHbOooApNBBgvn9A+NWnynmsbgWTFnI5U5iOFlfbE8VFZXuTlnQWe66en9n9e3AdpS+b0nA6s2rhY2LZ4NcfUORsKrEoczS6FZnQp3hxZVi8exFjkoLCpcwbq1B90bSUjO7hqiXpt2bwsKe4rTLQNSr/nxXeNFwY3TuVRKgPX5jRzxCSOrB8XEuCrrCUssuS19LeSHhJ7BrrTtInz7y4BdtloKwlThQZUvuuR8a/ETzt58cw7E+rxbbHat5kqKlY=
X-OriginatorOrg: oracle.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 251d49be-fa87-4b7d-a85d-08dc3981bda9
X-MS-Exchange-CrossTenant-AuthSource: CO6PR10MB5409.namprd10.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 29 Feb 2024 23:54:17.7113
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: jXgPb0BHjhgxAXjEtkpQqVP+Zfhn6MRSUtfV4g9RiYv3SH5nDxnjBYRwOpp6HgjY1MDsP/TcS50HaAHOJqHva3iZx9QkZYC9GAZReEn7Zmw=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: SA1PR10MB7697
X-Proofpoint-Virus-Version: vendor=baseguard
 engine=ICAP:2.0.272,Aquarius:18.0.1011,Hydra:6.0.619,FMLib:17.11.176.26
 definitions=2024-02-29_06,2024-02-29_01,2023-05-22_02
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 bulkscore=0 phishscore=0
 mlxlogscore=999 malwarescore=0 spamscore=0 mlxscore=0 adultscore=0
 suspectscore=0 classifier=spam adjust=0 reason=mlx scancount=1
 engine=8.12.0-2311290000 definitions=main-2402290187
X-Proofpoint-ORIG-GUID: n3O0TT3_iAQG5oIixS2K_c9LUvcJnpen
X-Proofpoint-GUID: n3O0TT3_iAQG5oIixS2K_c9LUvcJnpen


Juri Lelli <juri.lelli@redhat.com> writes:

> On 28/02/24 22:43, Ankur Arora wrote:
>> Juri Lelli <juri.lelli@redhat.com> writes:
>
> ..
>
>> > For deadline we call resched_curr_tick() from the throttle part of
>> > update_curr_dl_se() if the dl_se happens to not be the leftmost anymore,
>> > so in this case I believe we really want to reschedule straight away and
>> > not wait for the second time around (otherwise we might be breaking the
>> > new leftmost tasks guarantees)?
>>
>> Yes, agreed, this looks like it breaks the deadline invariant for both
>> preempt=none and preempt=voluntary.
>>
>> For RT, update_curr_rt() seems to have a similar problem if the task
>> doesn't have RUNTIME_INF.
>>
>> Relatedly, do you think there's a similar problem when switching to
>> a task with a higher scheduling class?
>> (Related to code is in patch 25, 26.)
>>
>> For preempt=voluntary, wakeup_preempt() will do the right thing, but
>
> Right.
>
>> for preempt=none, we only reschedule lazily so the target might
>> continue to run until the end of the tick.
>
> Hummm, not sure honestly, but I seem to understand that with
> preempt=none we want to be super conservative wrt preemptions, so maybe
> current behavior (1 tick of laziness) is OK? Otherwise what would be the

Yeah, that's kind of where I'm thinking of getting to. Be lazy so long
as we don't violate guarantees.

> difference wrt preempt=voluntary from a scheduler pow? Yes, it might
> break deadline guarantees, but if you wanted to use preempt=none maybe
> there is a strong reason for it, I'm thinking.

Yeah, the difference between preempt=none and preempt=voluntary is
looking narrower and narrower, and maybe a bit artificial in that
there seem to be very few cases where the two models would actually
differ in behaviour.

Thanks
Ankur

>> Thanks for the review, btw.
>
> Sure. Thanks for working on this actually! :)
>
> Best,
> Juri