Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
Date:   Wed, 21 Dec 2022 12:21:18 +0800
From:   Chen Yu <yu.c.chen@intel.com>
To:     "Joel Fernandes (Google)" <joel@joelfernandes.org>
CC:     <linux-kernel@vger.kernel.org>, Ben Segall <bsegall@google.com>,
        "Daniel Bristot de Oliveira" <bristot@redhat.com>,
        Davidlohr Bueso <dave@stgolabs.net>,
        Dietmar Eggemann <dietmar.eggemann@arm.com>,
        Ingo Molnar <mingo@redhat.com>,
        Josh Triplett <josh@joshtriplett.org>,
        Juri Lelli <juri.lelli@redhat.com>,
        Mel Gorman <mgorman@suse.de>,
        "Paul E. McKenney" <paulmck@kernel.org>,
        Peter Zijlstra <peterz@infradead.org>,
        Steven Rostedt <rostedt@goodmis.org>,
        Valentin Schneider <vschneid@redhat.com>,
        "Vincent Guittot" <vincent.guittot@linaro.org>,
        <kernel-team@android.com>, John Stultz <jstultz@google.com>,
        Joel Fernandes <joelaf@google.com>,
        Qais Yousef <qais.yousef@arm.com>,
        Will Deacon <will@kernel.org>,
        Waiman Long <longman@redhat.com>,
        Boqun Feng <boqun.feng@gmail.com>,
        Connor O'Brien <connoro@google.com>
Subject: Re: [PATCH RFC 2/3] locktorture: Allow non-rtmutex lock types to be
 boosted
Message-ID: <Y6KJvtFBi7vLYEXa@chenyu5-mobl1>
References: <20221123012104.3317665-1-joel@joelfernandes.org>
 <20221123012104.3317665-3-joel@joelfernandes.org>
Content-Type: text/plain; charset="us-ascii"
Content-Disposition: inline
In-Reply-To: <20221123012104.3317665-3-joel@joelfernandes.org>
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?knBOHk2vOkxve/SRgBbEFuAmlzDge2KG88jm5KeclcN1osgX66mFxSGDbL2x?=
 =?us-ascii?Q?p3Xd0u/96p/B4T0G3WFmUKp6A05rXgoUQyjGn1gSWIstau0tjOw1x1kOG4gP?=
 =?us-ascii?Q?pb5k0T5XF67ovqwhJ3fnfCRZS8jAw9GB0IpL0u7qPx8CZYqaopXImMAtSCYk?=
 =?us-ascii?Q?i7R76d7k9o3FWBR78VDx1t6Az667gkWc6fpPwWRHSGrmnxMEyLTi/cLpHjWv?=
 =?us-ascii?Q?wWWECSDqiYZBMbw4hXbknVXFkFGK+fJCNm58wDC6t+SCEJUjH35K8Y+WTFCs?=
 =?us-ascii?Q?xOeZnAU0wm+4AWU1IsMIE9PljTorKLyNYZ71H1BujpLf2n4F8odW6Etb6r4K?=
 =?us-ascii?Q?ctPaoSqV9gqGl4G7BBHAL1HN6BurHNY8iOkwyD9EWEETpe8hKky3CEPVWd+Q?=
 =?us-ascii?Q?9n+Z96zLMO2Iah56jqxv4BQo2TnSE2f/MZ1TZy+aVE2J8/gAfSeSImqSgYeo?=
 =?us-ascii?Q?NjDw+pXcDNyB4A7lk5rT4L4/6cwLNcQjN9FZ3vywjdJrKSG5LeZSLRd/XOgd?=
 =?us-ascii?Q?om0VzuZtST4DTDhVntJWo9mj+ZxewskMFAwFRDLhOj0vLYs82xkmYhZIXqNP?=
 =?us-ascii?Q?xgEzGb/0hFZCGb14iBtl3aC8QQWSkE+bAfgklOfOAnmJ6HuxP8ABmgP4UGOw?=
 =?us-ascii?Q?t1NqSmmZfh23tgNJXOa7kfQ94+SwmsjPXniheEuoi2B6Bnfz9ta00oK05u2l?=
 =?us-ascii?Q?1yhYTBdP92ZVd1aVVAULl4FWe9yQLApQ6XZWq3D084AeGcaijqgMYjaFzVIW?=
 =?us-ascii?Q?2J2504ht04kylCGoXvP8yT/YUEXbgEk5JZE46hnHFI3qxMbaks/IvB+b2XgD?=
 =?us-ascii?Q?YXviy8Ki65CKIBlHwRGhZ9tKa6nmDlDy3t0Na7OTMLYTsZSvfTmjq5uD6Jts?=
 =?us-ascii?Q?/vEKKjNdS0OspxbswtKjejGn5VWA8BTQmOEPi3GDv9UIIn8MwpHFVtIKwH2S?=
 =?us-ascii?Q?OOeg7lY5/PNpyW6K1nKnAnknllxnk/C5iFKUDjs+VzF3L/MUFIP2dpTPaSnZ?=
 =?us-ascii?Q?3jAb6/DYVr7WSJ1x/zO+HLpKDhIKTjbT7Zu1IjDZVICSUgrwBxysT5Gj66CM?=
 =?us-ascii?Q?oldJH5RmSl1fIuE1IPpt8nbVDitQHo0vfOyXKtgYUYqJKvzP5b+BofLgFK5K?=
 =?us-ascii?Q?vCV8U0V8a76JwjrNbMsvkMcI7N3VC4DbnxX+JfnSoHdr8tkdqEbZqX4cl847?=
 =?us-ascii?Q?XUt+FisZT417432cQuv0kkQwfKxSSL95mHayHLzFLl2K2IH5POL//N6JX/kM?=
 =?us-ascii?Q?NtmEiBw1vH5OmnkCvZ+Id4fJlKdQoTRswRq0uqlkJXRqMqcpwOnab3sy4p8l?=
 =?us-ascii?Q?25MxEVutmDuw7oY1dBd/WwtJQXKrdJUb0iJCgyhLNm5sxCJZkhWtnTIyRAFB?=
 =?us-ascii?Q?qq1kOj0Slt+noo5pPwEM2sywVpQuw+jmxm5ow38FtVGwuLN8yDiD0s1RhBUN?=
 =?us-ascii?Q?hUQJqDFf1YNFaqhbHd5ny1hAHOgeNv8LzfzZKLGhEmZkshu7J1nZI1WOBtQw?=
 =?us-ascii?Q?en8W7Qwz7uBbPzFnj8jB/9EPrJPIVnOtU9mn3X+LW4bWnP4BjxO6fzqAmnzy?=
 =?us-ascii?Q?pWmFWfhdXxiUiE3LSoEzQ1fd5K68OXoDPi3K2vNL?=
X-MS-Exchange-CrossTenant-Network-Message-Id: 68618826-9126-488d-44c3-08dae30add6f
X-MS-Exchange-CrossTenant-AuthSource: MN0PR11MB6206.namprd11.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 21 Dec 2022 04:21:43.3237
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 46c98d88-e344-4ed4-8496-4ed7712e255d
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: UqeN77i55S14YlXtOzf0waT3N111I/tY+5lmH+bM+3yGtjhBAVRHW+dSGe2fKhbwJnjXSZRjUKWvwcgzzXxWdg==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: DS0PR11MB8230
X-OriginatorOrg: intel.com
X-Spam-Status: No, score=-7.1 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH,
        DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_HI,
        SPF_HELO_NONE,SPF_NONE autolearn=ham autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
        lindbergh.monkeyblade.net
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

On 2022-11-23 at 01:21:03 +0000, Joel Fernandes (Google) wrote:
> Currently RT boosting is only done for rtmutex_lock, however with proxy
> execution, we also have the mutex_lock participating in priorities. To
> exercise the testing better, add RT boosting to other lock testing types
> as well, using a new knob (rt_boost).
> 
> Tested with boot parameters:
> locktorture.torture_type=mutex_lock
> locktorture.onoff_interval=1
> locktorture.nwriters_stress=8
> locktorture.stutter=0
> locktorture.rt_boost=1
> locktorture.rt_boost_factor=1
> locktorture.nlocks=3
> 
> For the rtmutex test, rt_boost is always enabled even if disabling is
> requested.
> 
> Signed-off-by: Joel Fernandes (Google) <joel@joelfernandes.org>
I have tested this patch set based on
https://lore.kernel.org/lkml/20221003214501.2050087-1-connoro@google.com/
using:
insmod locktorture.ko torture_type=mutex_lock rt_boost=1 rt_boost_factor=1 stutter=0 nlocks=3
on a dual sockets with 228 CPUs. So far I did not find any error/warning in the past
8 hours.

I'm trying to ramp up what scenario PE would bring benefit to. For mutex_lock(), would
it benefit frequent cgroup hierarchy update because of global cgroup_mutex contention?
But in theory the cgroup hierarchy update would be quite rare in daily usage?

Besides, according to
https://lore.kernel.org/lkml/20221003214501.2050087-1-connoro@google.com/
PE could also mitigate cgroup 'priority inversion':
"One notable scenario arises when cpu cgroups
are used to throttle less important background tasks. Priority inversion
can occur when an "important" unthrottled task blocks on a mutex held by
an "unimportant" task whose CPU time is constrained using cpu
shares. The result is higher worst case latencies for the unthrottled
task." Is it applicable to add cgroup based(different shares) mutex_lock contention
in locktorture?

BTW, can we also expose the rt_boost/rt_boost_factor in lock_torture_print_module_parms()?

thanks,
Chenyu