Received: by 2002:ab2:3319:0:b0:1ef:7a0f:c32d with SMTP id i25csp115991lqc; Thu, 7 Mar 2024 11:58:26 -0800 (PST) X-Forwarded-Encrypted: i=3; AJvYcCU1sFnGZeGHdRFgiX09NdFkczgQnssm6tZrNHMUlsu6ADZBv8Ai1g0bZiwKXNL4a0MXap+kTJPazgJpz7RUN0rE6IvHRwWqdBEyOvYmzw== X-Google-Smtp-Source: AGHT+IFeFNDDPf3oBV/wUDqUjyUbi5a5aU4nZdGMGUWduaZan2e5tzyRMIwlls04mFgJJz9kL0FY X-Received: by 2002:a17:906:d0d6:b0:a45:ad59:cbc0 with SMTP id bq22-20020a170906d0d600b00a45ad59cbc0mr5553996ejb.13.1709841506681; Thu, 07 Mar 2024 11:58:26 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1709841506; cv=pass; d=google.com; s=arc-20160816; b=xgD9SrW1tVLE6MdaZwOODnfPsG2UYS2AjKLLtLmTDluwWndsH5wP9FZTnV5tUZ1xLw EQZBb8tEgsHoADOW602qQAGYTvPNlH0pvRJJ8N7xzPAwcnkr+7zo5RxUhtwjml3424dy qwJblq/sB2UnieQOOM3OXX9XE70Mbh7lahCC0DZjspekjXU0ypb8n3n0iB+002PwSqY1 v9AQm4UJkoL83XUu8E6PkahDb7j0BTbO7tXU4+bLu+C8F6kRGjKe6+qRU4S/pMDEnIUC RpgfIVdilYaizzWT8tlNA4rOqb4NJeehy7NSDJkjlCrEJ4DS6n9MP3K3fM7h/u911gFl FHvw== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:list-unsubscribe:list-subscribe:list-id:precedence :user-agent:references:message-id:in-reply-to:subject:cc:to:from :date:dkim-signature; bh=4pfBOjENcExhB1YNViEUTa0+u/bazve09NuWt3Usj6I=; fh=kPA42maGEV4oD6HNutDjUCykoWBDTmuinnML/YWIG8M=; b=ljzYZjfGVyzYV6hukfezfz0RYOzVTGQNJ/MgY6hhYIxiTcbjlxq3j6BofsA0w7LSJ1 pBHym/ZxjywW7KK65UhfBmBEGu1pymxJ4bDxE4OwWDhU5dsqkjddjlnd/+PyMrg7kFdn a+hlDHt1D2cv3PlHZb3H4dF1cIysVQmIVL0mRlof0tyqGxCg3E+aeS2k13GCAeZlpGAZ 4cW0tXiu0uQsAL3wDr/koAGUmWNiaGoRiOp3QGu7Fzf+/5/nZdqzytzxx3lJSX8nosQF aMk+sjnYjQjafvPGFuf/oozECyWxavb6XutsFa8YIL2AhgcWwWzDHoiqneURLLeZB6Xu Jd6A==; dara=google.com ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@inria.fr header.s=dc header.b=bgYCYel6; arc=pass (i=1 spf=pass spfdomain=inria.fr dkim=pass dkdomain=inria.fr dmarc=pass fromdomain=inria.fr); spf=pass (google.com: domain of linux-kernel+bounces-96149-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:4601:e00::3 as permitted sender) smtp.mailfrom="linux-kernel+bounces-96149-linux.lists.archive=gmail.com@vger.kernel.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=inria.fr Return-Path: Received: from am.mirrors.kernel.org (am.mirrors.kernel.org. [2604:1380:4601:e00::3]) by mx.google.com with ESMTPS id gt31-20020a1709072d9f00b00a45d21fac64si750228ejc.738.2024.03.07.11.58.26 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 07 Mar 2024 11:58:26 -0800 (PST) Received-SPF: pass (google.com: domain of linux-kernel+bounces-96149-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:4601:e00::3 as permitted sender) client-ip=2604:1380:4601:e00::3; Authentication-Results: mx.google.com; dkim=pass header.i=@inria.fr header.s=dc header.b=bgYCYel6; arc=pass (i=1 spf=pass spfdomain=inria.fr dkim=pass dkdomain=inria.fr dmarc=pass fromdomain=inria.fr); spf=pass (google.com: domain of linux-kernel+bounces-96149-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:4601:e00::3 as permitted sender) smtp.mailfrom="linux-kernel+bounces-96149-linux.lists.archive=gmail.com@vger.kernel.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=inria.fr Received: from smtp.subspace.kernel.org (wormhole.subspace.kernel.org [52.25.139.140]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by am.mirrors.kernel.org (Postfix) with ESMTPS id 1D69E1F237C3 for ; Thu, 7 Mar 2024 19:58:26 +0000 (UTC) Received: from localhost.localdomain (localhost.localdomain [127.0.0.1]) by smtp.subspace.kernel.org (Postfix) with ESMTP id 8001B137C43; Thu, 7 Mar 2024 19:58:15 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; dkim=pass (1024-bit key) header.d=inria.fr header.i=@inria.fr header.b="bgYCYel6" Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 3CFFE1EB56; Thu, 7 Mar 2024 19:58:06 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=192.134.164.83 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1709841493; cv=none; b=d+RLs9xp9tD0hn+DcNZ8pXX8Kc0RliVfmLZLiJI8ymHGQS1TMeBxw5iUGesj3xRVye+8OZvu46iix3QoyGDVXK8RYiO4FcAg1bPjpNa2kOoIWQu8VsH+RI3u1avfZf+Ri+Gx8WrvpcxIkHKWbbLKAGV43BuCbJn1EnxVhZ8o3XM= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1709841493; c=relaxed/simple; bh=Q8cB4BEiAfC0xNqfQPjR7dABdtH+Oh6GTm/6bo7h3ZI=; h=Date:From:To:cc:Subject:In-Reply-To:Message-ID:References: MIME-Version:Content-Type; b=KPV+qZ3cW08XMorVCfLvoYEaXeL6G0gvtiFIcxZHCXIAaXCPwXH/3iwyhdB7nQXJXYLRhjFNld/D6shEvNrgKXBrNCiXQaNgvmSrJJH8b4xmh25anwiXzrtTEM2D7Us6H1KMeayxeeOFe5pczTR0BK3oIKItOkTsYeAaR41/Wfg= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=inria.fr; spf=pass smtp.mailfrom=inria.fr; dkim=pass (1024-bit key) header.d=inria.fr header.i=@inria.fr header.b=bgYCYel6; arc=none smtp.client-ip=192.134.164.83 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=inria.fr Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=inria.fr DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:cc:subject:in-reply-to:message-id: references:mime-version; bh=4pfBOjENcExhB1YNViEUTa0+u/bazve09NuWt3Usj6I=; b=bgYCYel66ZqDTDvEg5yaSI4Vo/kjq/8pwuEB7W4+x5IxKtKKcedQkbmm j8ejKF7b0J9wx7+HjRpGxGmbzUe5YeLmNrKv7k1uPLl82Lha//nico/IF mRMkgRMRT7X8cR1tBBtpyz0WXnJCKDygoeYH8yxXMLFjmExkP0BcKLXMm 8=; Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=julia.lawall@inria.fr; dmarc=fail (p=none dis=none) d=inria.fr X-IronPort-AV: E=Sophos;i="6.07,107,1708383600"; d="scan'208";a="155565844" Received: from 231.85.89.92.rev.sfr.net (HELO hadrien) ([92.89.85.231]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 07 Mar 2024 20:56:53 +0100 Date: Thu, 7 Mar 2024 20:56:53 +0100 (CET) From: Julia Lawall X-X-Sender: jll@hadrien To: Vincent Guittot cc: K Prateek Nayak , linux-kernel@vger.kernel.org, "Gautham R. Shenoy" , Richard Henderson , Ivan Kokshaysky , Matt Turner , Russell King , Guo Ren , Michal Simek , Dinh Nguyen , Jonas Bonn , Stefan Kristiansson , Stafford Horne , "James E.J. Bottomley" , Helge Deller , Michael Ellerman , Nicholas Piggin , Christophe Leroy , "Aneesh Kumar K.V" , "Naveen N. Rao" , Yoshinori Sato , Rich Felker , John Paul Adrian Glaubitz , "David S. Miller" , Thomas Gleixner , Ingo Molnar , Borislav Petkov , Dave Hansen , "H. Peter Anvin" , "Rafael J. Wysocki" , Daniel Lezcano , Peter Zijlstra , Juri Lelli , Dietmar Eggemann , Steven Rostedt , Ben Segall , Mel Gorman , Daniel Bristot de Oliveira , Valentin Schneider , Al Viro , Linus Walleij , Ard Biesheuvel , Andrew Donnellan , Nicholas Miehlbradt , Andrew Morton , Arnd Bergmann , Josh Poimboeuf , "Kirill A. Shutemov" , Rick Edgecombe , Tony Battersby , Brian Gerst , Tim Chen , David Vernet , x86@kernel.org, linux-alpha@vger.kernel.org, linux-arm-kernel@lists.infradead.org, linux-csky@vger.kernel.org, linux-openrisc@vger.kernel.org, linux-parisc@vger.kernel.org, linuxppc-dev@lists.ozlabs.org, linux-sh@vger.kernel.org, sparclinux@vger.kernel.org, linux-pm@vger.kernel.org Subject: Re: [RFC PATCH 00/14] Introducing TIF_NOTIFY_IPI flag In-Reply-To: Message-ID: References: <20240220171457.703-1-kprateek.nayak@amd.com> User-Agent: Alpine 2.22 (DEB 394 2020-01-19) Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII On Wed, 6 Mar 2024, Vincent Guittot wrote: > Hi Prateek, > > Adding Julia who could be interested in this patchset. Your patchset > should trigger idle load balance instead of newly idle load balance > now when the polling is used. This was one reason for not migrating > task in idle CPU My situation is roughly as follows: The machine is an Intel 6130 with two sockets and 32 hardware threads (subsequently referred to as cores) per socket. The test is bt.B of the OpenMP version of the NAS benchmark suite. Initially there is one thread per core. NUMA balancing occurs, resulting in a move, and thus 31 threads on one socket and 33 on the other. Load balancing should result in the idle core pulling one of the threads from the other socket. But that doesn't happen in normal load balancing, because all 33 threads on the overloaded socket are considered to have a preference for that socket. Active balancing could pull a thread, but it is not triggered because the idle core is seen as being newly idle. The question is then why a core that has been idle for up to multiple seconds is continually seen as newly idle. Every 4ms, a scheduler tick submits some work to try to load balance. This submission process previously broke out of the idle loop due to a need_resched, hence the same issue as involved in this patch series. The need_resched caused invocation of schedule, which would then see that there was no task to pick, making the core be considered to be newly idle. The classification as newly idle doesn't take into account whether any task was running prior to the call to schedule. The load balancing work that was submitted every 4ms is also a NOP due a test for need_resched. This patch series no longer makes need resched be the only way out of the idle loop. Without the need resched, the load balancing work that is submitted every 4ms can actually try to do load balancing. The core is not newly idle, so active balancing could in principle occur. But now nothing happens because the work is run by ksoftirqd. The presence of ksoftirqd on the idle core means that the core is no longer idle. Thus there is no more need for load balancing. So this patch series in itself doesn't solve the problem. I did 500 runs with this patch series and 500 runs with the Linux kernel that this patch series builds on, and there is essentially no difference in the performance. julia > > On Tue, 20 Feb 2024 at 18:15, K Prateek Nayak wrote: > > > > Hello everyone, > > > > Before jumping into the issue, let me clarify the Cc list. Everyone have > > been cc'ed on Patch 0 through Patch 3. Respective arch maintainers, > > reviewers, and committers returned by scripts/get_maintainer.pl have > > been cc'ed on the respective arch side changes. Scheduler and CPU Idle > > maintainers and reviewers have been included for the entire series. If I > > have missed anyone, please do add them. If you would like to be dropped > > from the cc list, wholly or partially, for the future iterations, please > > do let me know. > > > > With that out of the way ... > > > > Problem statement > > ================= > > > > When measuring IPI throughput using a modified version of Anton > > Blanchard's ipistorm benchmark [1], configured to measure time taken to > > perform a fixed number of smp_call_function_single() (with wait set to > > 1), an increase in benchmark time was observed between v5.7 and the > > current upstream release (v6.7-rc6 at the time of encounter). > > > > Bisection pointed to commit b2a02fc43a1f ("smp: Optimize > > send_call_function_single_ipi()") as the reason behind this increase in > > runtime. > > > > > > Experiments > > =========== > > > > Since the commit cannot be cleanly reverted on top of the current > > tip:sched/core, the effects of the optimizations were reverted by: > > > > 1. Removing the check for call_function_single_prep_ipi() in > > send_call_function_single_ipi(). With this change > > send_call_function_single_ipi() always calls > > arch_send_call_function_single_ipi() > > > > 2. Removing the call to flush_smp_call_function_queue() in do_idle() > > since every smp_call_function, with (1.), would unconditionally send > > an IPI to an idle CPU in TIF_POLLING mode. > > > > Following is the diff of the above described changes which will be > > henceforth referred to as the "revert": > > > > diff --git a/kernel/sched/idle.c b/kernel/sched/idle.c > > index 31231925f1ec..735184d98c0f 100644 > > --- a/kernel/sched/idle.c > > +++ b/kernel/sched/idle.c > > @@ -332,11 +332,6 @@ static void do_idle(void) > > */ > > smp_mb__after_atomic(); > > > > - /* > > - * RCU relies on this call to be done outside of an RCU read-side > > - * critical section. > > - */ > > - flush_smp_call_function_queue(); > > schedule_idle(); > > > > if (unlikely(klp_patch_pending(current))) > > diff --git a/kernel/smp.c b/kernel/smp.c > > index f085ebcdf9e7..2ff100c41885 100644 > > --- a/kernel/smp.c > > +++ b/kernel/smp.c > > @@ -111,11 +111,9 @@ void __init call_function_init(void) > > static __always_inline void > > send_call_function_single_ipi(int cpu) > > { > > - if (call_function_single_prep_ipi(cpu)) { > > - trace_ipi_send_cpu(cpu, _RET_IP_, > > - generic_smp_call_function_single_interrupt); > > - arch_send_call_function_single_ipi(cpu); > > - } > > + trace_ipi_send_cpu(cpu, _RET_IP_, > > + generic_smp_call_function_single_interrupt); > > + arch_send_call_function_single_ipi(cpu); > > } > > > > static __always_inline void > > -- > > > > With the revert, the time taken to complete a fixed set of IPIs using > > ipistorm improves significantly. Following are the numbers from a dual > > socket 3rd Generation EPYC system (2 x 64C/128T) (boost on, C2 disabled) > > running ipistorm between CPU8 and CPU16: > > > > cmdline: insmod ipistorm.ko numipi=100000 single=1 offset=8 cpulist=8 wait=1 > > > > (tip:sched/core at tag "sched-core-2024-01-08" for all the testing done > > below) > > > > ================================================================== > > Test : ipistorm (modified) > > Units : Normalized runtime > > Interpretation: Lower is better > > Statistic : AMean > > ================================================================== > > kernel: time [pct imp] > > tip:sched/core 1.00 [0.00] > > tip:sched/core + revert 0.81 [19.36] > > > > Although the revert improves ipistorm performance, it also regresses > > tbench and netperf, supporting the validity of the optimization. > > Following are netperf and tbench numbers from the same machine comparing > > vanilla tip:sched/core and the revert applied on top: > > > > ================================================================== > > Test : tbench > > Units : Normalized throughput > > Interpretation: Higher is better > > Statistic : AMean > > ================================================================== > > Clients: tip[pct imp](CV) revert[pct imp](CV) > > 1 1.00 [ 0.00]( 0.24) 0.91 [ -8.96]( 0.30) > > 2 1.00 [ 0.00]( 0.25) 0.92 [ -8.20]( 0.97) > > 4 1.00 [ 0.00]( 0.23) 0.91 [ -9.20]( 1.75) > > 8 1.00 [ 0.00]( 0.69) 0.91 [ -9.48]( 1.56) > > 16 1.00 [ 0.00]( 0.66) 0.92 [ -8.49]( 2.43) > > 32 1.00 [ 0.00]( 0.96) 0.89 [-11.13]( 0.96) > > 64 1.00 [ 0.00]( 1.06) 0.90 [ -9.72]( 2.49) > > 128 1.00 [ 0.00]( 0.70) 0.92 [ -8.36]( 1.26) > > 256 1.00 [ 0.00]( 0.72) 0.97 [ -3.30]( 1.10) > > 512 1.00 [ 0.00]( 0.42) 0.98 [ -1.73]( 0.37) > > 1024 1.00 [ 0.00]( 0.28) 0.99 [ -1.39]( 0.43) > > > > ================================================================== > > Test : netperf > > Units : Normalized Througput > > Interpretation: Higher is better > > Statistic : AMean > > ================================================================== > > Clients: tip[pct imp](CV) revert[pct imp](CV) > > 1-clients 1.00 [ 0.00]( 0.50) 0.89 [-10.51]( 0.20) > > 2-clients 1.00 [ 0.00]( 1.16) 0.89 [-11.10]( 0.59) > > 4-clients 1.00 [ 0.00]( 1.03) 0.89 [-10.68]( 0.38) > > 8-clients 1.00 [ 0.00]( 0.99) 0.89 [-10.54]( 0.50) > > 16-clients 1.00 [ 0.00]( 0.87) 0.89 [-10.92]( 0.95) > > 32-clients 1.00 [ 0.00]( 1.24) 0.89 [-10.85]( 0.63) > > 64-clients 1.00 [ 0.00]( 1.58) 0.90 [-10.11]( 1.18) > > 128-clients 1.00 [ 0.00]( 0.87) 0.89 [-10.94]( 1.11) > > 256-clients 1.00 [ 0.00]( 4.77) 1.00 [ -0.16]( 3.45) > > 512-clients 1.00 [ 0.00](56.16) 1.02 [ 2.10](56.05) > > > > Since a simple revert is not a viable solution, we delved deeper into > > the changes in the execution path with call_function_single_prep_ipi() > > check. > > > > > > Effects of call_function_single_prep_ipi() > > ========================================== > > > > To pull a TIF_POLLING thread out of idle to process an IPI, the sender > > sets the TIF_NEED_RESCHED bit in the idle task's thread info in > > call_function_single_prep_ipi() and avoids sending an actual IPI to the > > target. As a result, the scheduler expects a task to be enqueued when > > exiting the idle path. This is not the case with non-polling idle states > > where the idle CPU exits the non-polling idle state to process the > > interrupt, and since need_resched() returns false, soon goes back to > > idle again. > > > > When TIF_NEED_RESCHED flag is set, do_idle() will call schedule_idle(), > > a large part of which runs with local IRQ disabled. In case of ipistorm, > > when measuring IPI throughput, this large IRQ disabled section delays > > processing of IPIs. Further auditing revealed that in absence of any > > runnable tasks, pick_next_task_fair(), which is called from the > > pick_next_task() fast path, will always call newidle_balance() in this > > scenario, further increasing the time spent in the IRQ disabled section. > > > > Following is the crude visualization of the problem with relevant > > functions expanded: > > -- > > CPU0 CPU1 > > ==== ==== > > do_idle() { > > __current_set_polling(); > > ... > > monitor(addr); > > if (!need_resched()) > > mwait() { > > /* Waiting */ > > smp_call_function_single(CPU1, func, wait = 1) { ... > > ... ... > > set_nr_if_polling(CPU1) { ... > > /* Realizes CPU1 is polling */ ... > > try_cmpxchg(addr, ... > > &val, ... > > val | _TIF_NEED_RESCHED); ... > > } /* Does not send an IPI */ ... > > ... } /* mwait exit due to write at addr */ > > csd_lock_wait() { } > > /* Waiting */ preempt_set_need_resched(); > > ... __current_clr_polling(); > > ... flush_smp_call_function_queue() { > > ... func(); > > } /* End of wait */ } > > } schedule_idle() { > > ... > > local_irq_disable(); > > smp_call_function_single(CPU1, func, wait = 1) { ... > > ... ... > > arch_send_call_function_single_ipi(CPU1); ... > > \ ... > > \ newidle_balance() { > > \ ... > > /* Delay */ ... > > \ } > > \ ... > > \--------------> local_irq_enable(); > > /* Processes the IPI */ > > -- > > > > > > Skipping newidle_balance() > > ========================== > > > > In an earlier attempt to solve the challenge of the long IRQ disabled > > section, newidle_balance() was skipped when a CPU waking up from idle > > was found to have no runnable tasks, and was transitioning back to > > idle [2]. Tim [3] and David [4] had pointed out that newidle_balance() > > may be viable for CPUs that are idling with tick enabled, where the > > newidle_balance() has the opportunity to pull tasks onto the idle CPU. > > > > Vincent [5] pointed out a case where the idle load kick will fail to > > run on an idle CPU since the IPI handler launching the ILB will check > > for need_resched(). In such cases, the idle CPU relies on > > newidle_balance() to pull tasks towards itself. > > Calling newidle_balance() instead of the normal idle load balance > prevents the CPU to pull tasks from other groups > > > > > Using an alternate flag instead of NEED_RESCHED to indicate a pending > > IPI was suggested as the correct approach to solve this problem on the > > same thread. > > > > > > Proposed solution: TIF_NOTIFY_IPI > > ================================= > > > > Instead of reusing TIF_NEED_RESCHED bit to pull an TIF_POLLING CPU out > > of idle, TIF_NOTIFY_IPI is a newly introduced flag that > > call_function_single_prep_ipi() sets on a target TIF_POLLING CPU to > > indicate a pending IPI, which the idle CPU promises to process soon. > > > > On architectures that do not support the TIF_NOTIFY_IPI flag (this > > series only adds support for x86 and ARM processors for now), > > I'm surprised that you are mentioning ARM processors because they > don't use TIF_POLLING. > > > call_function_single_prep_ipi() will fallback to setting > > TIF_NEED_RESCHED bit to pull the TIF_POLLING CPU out of idle. > > > > Since the pending IPI handlers are processed before the call to > > schedule_idle() in do_idle(), schedule_idle() will only be called if the > > IPI handler have woken / migrated a new task on the idle CPU and has set > > TIF_NEED_RESCHED bit to indicate the same. This avoids running into the > > long IRQ disabled section in schedule_idle() unnecessarily, and any > > need_resched() check within a call function will accurately notify if a > > task is waiting for CPU time on the CPU handling the IPI. > > > > Following is the crude visualization of how the situation changes with > > the newly introduced TIF_NOTIFY_IPI flag: > > -- > > CPU0 CPU1 > > ==== ==== > > do_idle() { > > __current_set_polling(); > > ... > > monitor(addr); > > if (!need_resched_or_ipi()) > > mwait() { > > /* Waiting */ > > smp_call_function_single(CPU1, func, wait = 1) { ... > > ... ... > > set_nr_if_polling(CPU1) { ... > > /* Realizes CPU1 is polling */ ... > > try_cmpxchg(addr, ... > > &val, ... > > val | _TIF_NOTIFY_IPI); ... > > } /* Does not send an IPI */ ... > > ... } /* mwait exit due to write at addr */ > > csd_lock_wait() { ... > > /* Waiting */ preempt_fold_need_resched(); /* fold if NEED_RESCHED */ > > ... __current_clr_polling(); > > ... flush_smp_call_function_queue() { > > ... func(); /* Will set NEED_RESCHED if sched_ttwu_pending() */ > > } /* End of wait */ } > > } if (need_resched()) { > > schedule_idle(); > > smp_call_function_single(CPU1, func, wait = 1) { } > > ... ... /* IRQs remain enabled */ > > arch_send_call_function_single_ipi(CPU1); -----------> /* Processes the IPI */ > > -- > > > > Results > > ======= > > > > With the TIF_NOTIFY_IPI, the time taken to complete a fixed set of IPIs > > using ipistorm improves drastically. Following are the numbers from the > > same dual socket 3rd Generation EPYC system (2 x 64C/128T) (boost on, > > C2 disabled) running ipistorm between CPU8 and CPU16: > > > > cmdline: insmod ipistorm.ko numipi=100000 single=1 offset=8 cpulist=8 wait=1 > > > > ================================================================== > > Test : ipistorm (modified) > > Units : Normalized runtime > > Interpretation: Lower is better > > Statistic : AMean > > ================================================================== > > kernel: time [pct imp] > > tip:sched/core 1.00 [0.00] > > tip:sched/core + revert 0.81 [19.36] > > tip:sched/core + TIF_NOTIFY_IPI 0.20 [80.99] > > > > Same experiment was repeated on an dual socket ARM server (2 x 64C) > > which too saw a significant improvement in the ipistorm performance: > > Could you share more details about this ARM server ? Could it be an Arm64 one ? > I was not expecting any change for arm/arm64 which are not using TIF_POLLING > > > > > > ================================================================== > > Test : ipistorm (modified) > > Units : Normalized runtime > > Interpretation: Lower is better > > Statistic : AMean > > ================================================================== > > kernel: time [pct imp] > > tip:sched/core 1.00 [0.00] > > tip:sched/core + TIF_NOTIFY_IPI 0.41 [59.29] > > > > netperf and tbench results with the patch match the results on tip on > > the dual socket 3rd Generation AMD system (2 x 64C/128T). Additionally, > > hackbench, stream, and schbench too were tested, with results from the > > patched kernel matching that of the tip. > > > > > > Future Work > > =========== > > > > Evaluate impact of newidle_balance() when scheduler tick hits an idle > > CPU. The call to newidle_balance() will be skipped with the > > But it should call the normal idle load balance instead > > > TIF_NOTIFY_IPI solution similar to [2]. Counter argument for the case is > > that if the idle state did not set the TIF_POLLING bit, the idle CPU > > would not have called schedule_idle() unless the IPI handler set the > > NEED_RESCHED bit. > > > > > > Links > > ===== > > > > [1] https://github.com/antonblanchard/ipistorm > > [2] https://lore.kernel.org/lkml/20240119084548.2788-1-kprateek.nayak@amd.com/ > > [3] https://lore.kernel.org/lkml/b4f5ac150685456cf45a342e3bb1f28cdd557a53.camel@linux.intel.com/ > > [4] https://lore.kernel.org/lkml/20240123211756.GA221793@maniforge/ > > [5] https://lore.kernel.org/lkml/CAKfTPtC446Lo9CATPp7PExdkLhHQFoBuY-JMGC7agOHY4hs-Pw@mail.gmail.com/ > > > > This series is based on tip:sched/core at tag "sched-core-2024-01-08". > > --- > > Gautham R. Shenoy (4): > > thread_info: Add helpers to test and clear TIF_NOTIFY_IPI > > sched: Define a need_resched_or_ipi() helper and use it treewide > > sched/core: Use TIF_NOTIFY_IPI to notify an idle CPU in TIF_POLLING > > mode of pending IPI > > x86/thread_info: Introduce TIF_NOTIFY_IPI flag > > > > K Prateek Nayak (10): > > arm/thread_info: Introduce TIF_NOTIFY_IPI flag > > alpha/thread_info: Introduce TIF_NOTIFY_IPI flag > > openrisc/thread_info: Introduce TIF_NOTIFY_IPI flag > > powerpc/thread_info: Introduce TIF_NOTIFY_IPI flag > > sh/thread_info: Introduce TIF_NOTIFY_IPI flag > > sparc/thread_info: Introduce TIF_NOTIFY_IPI flag > > csky/thread_info: Introduce TIF_NOTIFY_IPI flag > > parisc/thread_info: Introduce TIF_NOTIFY_IPI flag > > nios2/thread_info: Introduce TIF_NOTIFY_IPI flag > > microblaze/thread_info: Introduce TIF_NOTIFY_IPI flag > > --- > > Cc: Richard Henderson > > Cc: Ivan Kokshaysky > > Cc: Matt Turner > > Cc: Russell King > > Cc: Guo Ren > > Cc: Michal Simek > > Cc: Dinh Nguyen > > Cc: Jonas Bonn > > Cc: Stefan Kristiansson > > Cc: Stafford Horne > > Cc: "James E.J. Bottomley" > > Cc: Helge Deller > > Cc: Michael Ellerman > > Cc: Nicholas Piggin > > Cc: Christophe Leroy > > Cc: "Aneesh Kumar K.V" > > Cc: "Naveen N. Rao" > > Cc: Yoshinori Sato > > Cc: Rich Felker > > Cc: John Paul Adrian Glaubitz > > Cc: "David S. Miller" > > Cc: Thomas Gleixner > > Cc: Ingo Molnar > > Cc: Borislav Petkov > > Cc: Dave Hansen > > Cc: "H. Peter Anvin" > > Cc: "Rafael J. Wysocki" > > Cc: Daniel Lezcano > > Cc: Peter Zijlstra > > Cc: Juri Lelli > > Cc: Vincent Guittot > > Cc: Dietmar Eggemann > > Cc: Steven Rostedt > > Cc: Ben Segall > > Cc: Mel Gorman > > Cc: Daniel Bristot de Oliveira > > Cc: Valentin Schneider > > Cc: Al Viro > > Cc: Linus Walleij > > Cc: Ard Biesheuvel > > Cc: Andrew Donnellan > > Cc: Nicholas Miehlbradt > > Cc: Andrew Morton > > Cc: Arnd Bergmann > > Cc: Josh Poimboeuf > > Cc: "Kirill A. Shutemov" > > Cc: Rick Edgecombe > > Cc: Tony Battersby > > Cc: Brian Gerst > > Cc: Tim Chen > > Cc: David Vernet > > Cc: x86@kernel.org > > Cc: linux-kernel@vger.kernel.org > > Cc: linux-alpha@vger.kernel.org > > Cc: linux-arm-kernel@lists.infradead.org > > Cc: linux-csky@vger.kernel.org > > Cc: linux-openrisc@vger.kernel.org > > Cc: linux-parisc@vger.kernel.org > > Cc: linuxppc-dev@lists.ozlabs.org > > Cc: linux-sh@vger.kernel.org > > Cc: sparclinux@vger.kernel.org > > Cc: linux-pm@vger.kernel.org > > --- > > arch/alpha/include/asm/thread_info.h | 2 ++ > > arch/arm/include/asm/thread_info.h | 3 ++ > > arch/csky/include/asm/thread_info.h | 2 ++ > > arch/microblaze/include/asm/thread_info.h | 2 ++ > > arch/nios2/include/asm/thread_info.h | 2 ++ > > arch/openrisc/include/asm/thread_info.h | 2 ++ > > arch/parisc/include/asm/thread_info.h | 2 ++ > > arch/powerpc/include/asm/thread_info.h | 2 ++ > > arch/sh/include/asm/thread_info.h | 2 ++ > > arch/sparc/include/asm/thread_info_32.h | 2 ++ > > arch/sparc/include/asm/thread_info_64.h | 2 ++ > > arch/x86/include/asm/mwait.h | 2 +- > > arch/x86/include/asm/thread_info.h | 2 ++ > > arch/x86/kernel/process.c | 2 +- > > drivers/cpuidle/cpuidle-powernv.c | 2 +- > > drivers/cpuidle/cpuidle-pseries.c | 2 +- > > drivers/cpuidle/poll_state.c | 2 +- > > include/linux/sched.h | 5 +++ > > include/linux/sched/idle.h | 12 +++---- > > include/linux/thread_info.h | 43 +++++++++++++++++++++++ > > kernel/sched/core.c | 41 ++++++++++++++++----- > > kernel/sched/idle.c | 23 ++++++++---- > > 22 files changed, 133 insertions(+), 26 deletions(-) > > > > -- > > 2.34.1 > > >