Received-SPF: pass (google.com: domain of linux-kernel+bounces-62971-linux.lists.archive=gmail.com@vger.kernel.org designates 147.75.199.223 as permitted sender) client-ip=147.75.199.223;
From: Ankur Arora <ankur.a.arora@oracle.com>
To: linux-kernel@vger.kernel.org
Cc: 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, juri.lelli@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,
        Ankur Arora <ankur.a.arora@oracle.com>
Subject: [PATCH 12/30] rcu: limit PREEMPT_RCU to full preemption under PREEMPT_AUTO
Date: Mon, 12 Feb 2024 21:55:36 -0800
Message-Id: <20240213055554.1802415-13-ankur.a.arora@oracle.com>
In-Reply-To: <20240213055554.1802415-1-ankur.a.arora@oracle.com>
References: <20240213055554.1802415-1-ankur.a.arora@oracle.com>
Content-Transfer-Encoding: 8bit
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?KoHyIqeNRwkYHy6EV4olV+lqg5RqmXsVqCIyQMxgSWKFWz3HPCk21YoNGWtC?=
 =?us-ascii?Q?UUwidoszzZ9rYoct6EjiJjmvMpR3F0nDEXccVQJPi2dYc1n+AuXhG62byKFT?=
 =?us-ascii?Q?JImLDvX4c7n79wbTWTTlm4Lep4yrtK92J7yTZ9QA79DtETFN1O5hdWTicxsS?=
 =?us-ascii?Q?uIlvJZ6IbtpDZSChcISngRoCLt0S/VWh3ht07Xf9V77oKgjWS+xMI2yOJtxx?=
 =?us-ascii?Q?LySnR+Ni3UGBJ78hg5PsyLhU8pdMOl6HVG5Tawbr/w3zWYX+FjEmhQ2ETpx1?=
 =?us-ascii?Q?S1AH58vsBrf0lA5oVIb2pqT3e3Ljy4tj4vXe01WlveRfAA9IZfnfK8djE+cR?=
 =?us-ascii?Q?8F1ytmzzkpe5nu5OtZG+KQKNm+RS15CY57D4zk8vAXbAOMEaP7zvGxj5JDqP?=
 =?us-ascii?Q?HB/MizuWzAgFFRTNcpWBpzHMCZCeq6EwUu5P5hqiceo6hH2X4CRYNxCzu/zF?=
 =?us-ascii?Q?A9Sj0ujdmj6lYjB8jbqXENyJ9P+JbBSF3qfHfGtDMteXZV91FqcVWFhOggPJ?=
 =?us-ascii?Q?9dZ6j/BLFpEVWmR8iRj0c4Y/xgenniUS/0cLsLZ1V5Nldf6JhQYE7M4roAAr?=
 =?us-ascii?Q?gEkAHxP70XlZbdSJxHdhzqSqHWNhtImRM0QjPsEyLVe0QUOt9pW8ZCN02a2x?=
 =?us-ascii?Q?e/PSrFMi/NuKDFxbp8OKZcZJfe9UMLRW4zd3g1VV95N+wX01UUPIpqt8i2B8?=
 =?us-ascii?Q?1YQsxdkg4CEj97dISFyBGy3yd/dHzOgz+aNewBoeO14o2yfzgS2r2BaX44Uc?=
 =?us-ascii?Q?oQuz8U6i+w8uKYKfwXFiW7SPqYjHswUNgAUqw0e17MDRhwDIAOcgy/lE2dDS?=
 =?us-ascii?Q?lIpYNZoGLH4kWAdjyUAUhxuNVWiJFhi20ThzVXUtZqSegVXXRiIkoiq190O4?=
 =?us-ascii?Q?9IgjAUKXpQr6TWhyel44GxkkLAfA/d2nZWgax0JCiw8Y87vykfUPGRpMTHtu?=
 =?us-ascii?Q?42PXiO3tCQLOindTDqj6ucV4hT+2RL+cRam+v8x8E2jc2CE+FHp1G1/MVDD+?=
 =?us-ascii?Q?59E7JSvkkPjAlfhI0OXnm50h4izF1Wzrt3nsewLeT7saRdiToE0/bmVmDQHw?=
 =?us-ascii?Q?rjPUY2Qx7nLcv8SDQ0JK0TL/pPSQ0Y8WHbissmgzVwNa1pfvp2G9fxJIGDId?=
 =?us-ascii?Q?oqQAKumLnbJCoIefZ0zv+FKteDJRkOUiDjG03N7mh2TpUCbFODAC8bnpwSNf?=
 =?us-ascii?Q?CQhnMDHIf9tOofcSzQNzgeTkII+85bKNL6vG7gGnUnSPsTEk5id8dQQ6dYuD?=
 =?us-ascii?Q?BreEanrsYrLmCNDU05H52G9zjxbHIk8rsTrKbe6db+Y41A+jtpnQjqbLu3Ak?=
 =?us-ascii?Q?eOnASGFYNTij3jIf/3K33YYTQmNuU1KzLNk+oDFPqZyPSl8/TQ4rRzmIqlvj?=
 =?us-ascii?Q?Gxab+4MdDFRbpuc7sYDvdgoGqjRuXI83f6alSWTMRVushBHpWfYzd74cYvuX?=
 =?us-ascii?Q?Gn/HGWeBsx38JbF6yweYNB7Uj2kCxZmVxsVGl6NarfyuF3ToD/B2nwcdDCf7?=
 =?us-ascii?Q?YfA41C2EipEhfkuiOKwO+tRE8warsu6wim5ogBDs/0VEA+0fIOaJ1DMa0p4g?=
 =?us-ascii?Q?p7nhSgDlZeDjkDzk3Pf+MyF7oB5/Em1/6VY6OTaoK9eFNxBx63jIAUeBBfZg?=
 =?us-ascii?Q?Pg=3D=3D?=
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: 
	1lP+DIq/f8qFCdr54UFgbB1syscx3z+VW02IjS3x5k94gRB+0oRy0gDmdnSnrJgLtJHnZWV4Fu5xrAD8StKdWGTTkJPSRUwHMfZ2jds40x7lZx41B3toiSWwlQ5LX3qlL1ouZOWmoLXEg5QsD/BukvhmNZlamGCbcH41iZ5cl9QP6vEZjLAVLGLjWsttne20lXiPcMIbCaCzNtveg5+udFV4Ch7Cj6drUOpoLQX2rkNSNR/tRqEsF0I95CXNrL478A/w7yFHLwHK7hku4LpBygtBFDV0s0B3hdPt7Z9VSw9ZGMv4QQnu26JEvFbHKxRoil+tLUd6koAt9Vu/XCT6Ka3BvL+hVJbOPyaGtgQ4qy0Wk2sCGl4z7H4UBt6Rfo28HsFRPcaQVGSQsEEMb3jVSiFAHzlmPOahRBmwLq4Vi2jfIE78c5D6fUM6/4Kcqd/WYiWD9H76bD46/GdlAR5SE4fkR75VyubK+rtcEnmktxupUASs31PPJEsvm46Vw4EU/4MDb+kVNHLZk+hg6CCyI9eVYJCgdFLiZKSIysL9wramCH+jS0VMtlzmjNlPNu/XR9JWLbCiq9e3Vx5nwEjQUdZ2Q/nVww2eAJRFjU1ozfU=
X-OriginatorOrg: oracle.com
X-MS-Exchange-CrossTenant-Network-Message-Id: d8f6811a-4a49-4a32-f4c1-08dc2c587ad5
X-MS-Exchange-CrossTenant-AuthSource: CO6PR10MB5409.namprd10.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 13 Feb 2024 05:56:11.0550
 (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: UX8CIX4mU5hC8HlkGgvsuafXtCDbML+lrMO7ZbJpDUZat2gq1oe3ntcZ3ltMsWGYMQJzyWrZ3OfV2BUHnDWZPXKsiSGjdgpr7RT3/1hnmNo=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: CY8PR10MB6906
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-13_02,2024-02-12_03,2023-05-22_02
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 mlxlogscore=999 adultscore=0
 suspectscore=0 mlxscore=0 phishscore=0 bulkscore=0 malwarescore=0
 spamscore=0 classifier=spam adjust=0 reason=mlx scancount=1
 engine=8.12.0-2311290000 definitions=main-2402130043
X-Proofpoint-ORIG-GUID: WhdQ0jabJ7kk1VqGXCI2FSXlFvXEltro
X-Proofpoint-GUID: WhdQ0jabJ7kk1VqGXCI2FSXlFvXEltro

Under PREEMPT_AUTO, CONFIG_PREEMPTION is enabled, and much like
PREEMPT_DYNAMIC, PREEMPT_AUTO also allows for dynamic switching
of preemption models.

The RCU model, however, is fixed at compile time.

Now, RCU typically selects PREEMPT_RCU if CONFIG_PREEMPTION is enabled.
Given the trade-offs between PREEMPT_RCU=y and PREEMPT_RCU=n, some
configurations might prefer the stronger forward-progress guarantees
of PREEMPT_RCU=n.

Accordingly, select PREEMPT_RCU=y only if the user selects
CONFIG_PREEMPT at compile time.

Suggested-by: Paul E. McKenney <paulmck@kernel.org>
Signed-off-by: Ankur Arora <ankur.a.arora@oracle.com>
---
 kernel/rcu/Kconfig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/rcu/Kconfig b/kernel/rcu/Kconfig
index bdd7eadb33d8..d0ecc8ef17a7 100644
--- a/kernel/rcu/Kconfig
+++ b/kernel/rcu/Kconfig
@@ -18,7 +18,7 @@ config TREE_RCU
 
 config PREEMPT_RCU
 	bool
-	default y if PREEMPTION
+	default y if (PREEMPT || PREEMPT_DYNAMIC || PREEMPT_RT)
 	select TREE_RCU
 	help
 	  This option selects the RCU implementation that is
-- 
2.31.1