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;
From:   "Valdis Kl=?utf-8?Q?=c4=93?=tnieks" <valdis.kletnieks@vt.edu>
To:     Peter Zijlstra <peterz@infradead.org>
Cc:     tglx@linutronix.de, frederic@kernel.org,
        linux-kernel@vger.kernel.org, x86@kernel.org, cai@lca.pw,
        mgorman@techsingularity.net
Subject: Re: [RFC][PATCH 7/7] sched: Replace rq::wake_list
In-Reply-To: <20200526161908.129371594@infradead.org>
References: <20200526161057.531933155@infradead.org>
 <20200526161908.129371594@infradead.org>
Mime-Version: 1.0
Content-Type: multipart/signed; boundary="==_Exmh_1590765044_16657P";
         micalg=pgp-sha1; protocol="application/pgp-signature"
Content-Transfer-Encoding: 7bit
Date:   Fri, 29 May 2020 11:10:44 -0400
Message-ID: <579691.1590765044@turing-police>
Sender: linux-kernel-owner@vger.kernel.org
Precedence: bulk

--==_Exmh_1590765044_16657P
Content-Type: text/plain; charset=us-ascii

On Tue, 26 May 2020 18:11:04 +0200, Peter Zijlstra said:
> The recent commit: 90b5363acd47 ("sched: Clean up scheduler_ipi()")
> got smp_call_function_single_async() subtly wrong. Even though it will
> return -EBUSY when trying to re-use a csd, that condition is not
> atomic and still requires external serialization.

>  kernel/smp.c          |   47 ++++++++++++++++++++++++++++++++++++++++-------

> --- a/kernel/smp.c
> +++ b/kernel/smp.c

> @@ -659,6 +685,13 @@ void __init smp_init(void)
>  	BUILD_BUG_ON(offsetof(struct irq_work, flags) !=
>  		     offsetof(struct __call_single_data, flags));
>
> +	/*
> +	 * Assert the CSD_TYPE_TTWU layout is similar enough
> +	 * for task_struct to be on the @call_single_queue.
> +	 */
> +	BUILD_BUG_ON(offsetof(struct task_struct, wake_entry_type) - offsetof(struct task_struct, wake_entry) !=
> +		     offsetof(struct __call_single_data, flags) - offsetof(struct __call_single_data, llist));
> +
>  	idle_threads_init();
>  	cpuhp_threads_init();

This blows up on a 32-bit ARM allmodconfig:

  CC      kernel/smp.o
kernel/smp.c:319:6: warning: no previous prototype for 'flush_smp_call_function_from_idle' [-Wmissing-prototypes]
 void flush_smp_call_function_from_idle(void)
      ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from ./arch/arm/include/asm/atomic.h:11,
                 from ./include/linux/atomic.h:7,
                 from ./include/linux/llist.h:51,
                 from ./include/linux/irq_work.h:5,
                 from kernel/smp.c:10:
kernel/smp.c: In function 'smp_init':
./include/linux/compiler.h:392:38: error: call to '__compiletime_assert_152' declared with attribute error: BUILD_BUG_ON failed: offsetof(struct task_struct, wake_entry_type) - offsetof(struct task_struct, wake_entry) != offsetof(struct __call_single_data, flags) - offsetof(struct __call_single_data, llist)
  _compiletime_assert(condition, msg, __compiletime_assert_, __COUNTER__)
                                      ^
./include/linux/compiler.h:373:4: note: in definition of macro '__compiletime_assert'
    prefix ## suffix();    \
    ^~~~~~
./include/linux/compiler.h:392:2: note: in expansion of macro '_compiletime_assert'
  _compiletime_assert(condition, msg, __compiletime_assert_, __COUNTER__)
  ^~~~~~~~~~~~~~~~~~~
./include/linux/build_bug.h:39:37: note: in expansion of macro 'compiletime_assert'
 #define BUILD_BUG_ON_MSG(cond, msg) compiletime_assert(!(cond), msg)
                                     ^~~~~~~~~~~~~~~~~~
./include/linux/build_bug.h:50:2: note: in expansion of macro 'BUILD_BUG_ON_MSG'
  BUILD_BUG_ON_MSG(condition, "BUILD_BUG_ON failed: " #condition)
  ^~~~~~~~~~~~~~~~
kernel/smp.c:689:2: note: in expansion of macro 'BUILD_BUG_ON'
  BUILD_BUG_ON(offsetof(struct task_struct, wake_entry_type) - offsetof(struct task_struct, wake_entry) !=
  ^~~~~~~~~~~~

--==_Exmh_1590765044_16657P
Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----
Comment: Exmh version 2.9.0 11/07/2018

iQIVAwUBXtEl9AdmEQWDXROgAQJk7g/9GzJmVBQbhYDA0N9BADiK5ZA49RVxRNYN
yrcYB7uZ0BLjFkCJ/viYZqys7yG+VyTOAPH2DYJaizlx9wGvCj0eEmuJ3H8aBizo
ZthJvyh/qaqGbJ4svQg+MOj61l858htgubtLm+0XfQ4mYVwOITwmoCKMjTJ9wcqo
Y86Y9cEyxg87XcO7TS3i3CdxDCSERrh68wIcwjbR7Hie+QTsydxao40zw6kClH/9
c2v+cu/lDSxZdgg+V6OxtUrVX2KjYmGazc3Cbtg8ZgTaPdYnevfyHMmWsZCR7jfo
NAO4zUKBLFUxnzHil/hQKbNSYXQVdGXDSl6XiQ940lV8WJI8ESowdjSqDj9oVWd6
0WX+VyKo+Y1SqY1NDvE2qKUWLj1WQ8E7FFjRv82/KIltWhYxvzTns9xX9eGwn94F
mvHzq69j0tdLoyxshP67/3mJEmrwew86YIKDpvxHpT8yk3PXE/4ekkuPIf7YD7Ic
O3uCRS/217nv1Zqv6wTPVyHj1ojCeJ3KsNVa3x3PpRG8gLaXj66Al5U7IN+vzIuL
woSIK3Zb/JetA9MEMviim9+ld0dLgeC4i1NyStlZyk13R5tT8GlGSV7csIgJnXcC
08hs3kxVlij7FqOdR3LJgN1Md/brTzD4UMtWnHR7mQG5FUxuQqXFGxRcT74CT0Ns
nXjdNFZ3Al0=
=hd1G
-----END PGP SIGNATURE-----

--==_Exmh_1590765044_16657P--