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;
Message-ID: <4b6bd7b9-4701-6344-9a3c-6c7ef25ec6b7@intel.com>
Date:   Thu, 27 Apr 2023 16:37:42 -0700
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
 Firefox/102.0 Thunderbird/102.10.0
Subject: Re: [PATCH v3 12/19] x86/resctrl: Make resctrl_mounted checks
 explicit
Content-Language: en-US
To:     James Morse <james.morse@arm.com>, <x86@kernel.org>,
        <linux-kernel@vger.kernel.org>
CC:     Fenghua Yu <fenghua.yu@intel.com>,
        Thomas Gleixner <tglx@linutronix.de>,
        Ingo Molnar <mingo@redhat.com>, Borislav Petkov <bp@alien8.de>,
        H Peter Anvin <hpa@zytor.com>,
        Babu Moger <Babu.Moger@amd.com>,
        <shameerali.kolothum.thodi@huawei.com>,
        D Scott Phillips OS <scott@os.amperecomputing.com>,
        <carl@os.amperecomputing.com>, <lcherian@marvell.com>,
        <bobo.shaobowang@huawei.com>, <tan.shaopeng@fujitsu.com>,
        <xingxin.hx@openanolis.org>, <baolin.wang@linux.alibaba.com>,
        Jamie Iles <quic_jiles@quicinc.com>,
        Xin Hao <xhao@linux.alibaba.com>, <peternewman@google.com>
References: <20230320172620.18254-1-james.morse@arm.com>
 <20230320172620.18254-13-james.morse@arm.com>
 <94b54f42-a70b-498b-ca05-62528a98cea8@intel.com>
 <b1b9225f-caa3-a868-6333-b7dadf17c5e7@arm.com>
From:   Reinette Chatre <reinette.chatre@intel.com>
In-Reply-To: <b1b9225f-caa3-a868-6333-b7dadf17c5e7@arm.com>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?OXBWVjgwUkZ4KytidlBLbCt4RlNyMy9LdmlqMXJZTFNvTUluR216d1J5Nkxn?=
 =?utf-8?B?M1N0MklyMU1IcnJUNkd4TTQ3UXN3UVNDbG9JTmFsTDExR1ZuMlRWejFCV0xh?=
 =?utf-8?B?Q1RtM24xZGJEOCtMSi9qdXBMMkxFS3VMV21WQTFTWmtsNmFzMlBuQ1E0VU5B?=
 =?utf-8?B?dmZreXdsd0ZlVkM1eXdmVlp1VWdEM1pDVU50Nk5NWjVjOEh3TldOVzU4d3lj?=
 =?utf-8?B?ZTIzU0FVUUc5N29SNE9ETThndmoyZHRlRTkrblZkcGswNHlxMzY3RmZYN0Fj?=
 =?utf-8?B?dUcyK0o3SlVCTGhtMWVqTUdzY093QytjTCtGUW95SGRCNzRuTndrVjVnWXBQ?=
 =?utf-8?B?QTF4b0N5VCtMcko5c0FEWkhGaHpHT3VqV0ZBQllCQmRqZTZnaHZ0dWphVHl5?=
 =?utf-8?B?aklqWFRqQ0RROEorTzFrNGJXdUl3OHcyOWEzakI4TjFsZFFmSVRSVDFoL2pW?=
 =?utf-8?B?a0tzWVB3aSsvZGxvUHQxOTAxOHhrUmlRTExRQkR3bW9oYUV4ZTNwaEFsa0s0?=
 =?utf-8?B?MlVGS3F3a2Z1OEd3cnMxaGxnL3czV0kvWldNaG5CNm00Um0rT3Q3aHhDTnlr?=
 =?utf-8?B?M0Z4dUx4R2xXaWlkd3FtNnV0K29vZk03UGRHR01QVEZ5MngzWDMzYmpOSjEy?=
 =?utf-8?B?RU5MYWdKWW04YTJOdytacVN2UFYxU3k3cExFc2Z4NXYzck9OaCtDYlFrT25Q?=
 =?utf-8?B?YkVrN3IwaS9RZE9vYUNaNzZsYXRtWDI5VW9hUTI4YWZJcXdSbjA4U0hBUS8w?=
 =?utf-8?B?U1NTTlZ1QnVUdG9zTk9YbXJBd0JTY2NRb21zM3UrWFprSWlYd0E0NjgwakQw?=
 =?utf-8?B?NXZneW00OWR2bm9wdXRyUk5aSXhVcGhZZ1hhSmdsemVyUk9KSi9obTdoWktK?=
 =?utf-8?B?SmtQRFppRit4WWgvMXZkRXdsQVVGMmg4UWlteDlwcTRZUVMzOW16QVdPTThL?=
 =?utf-8?B?amd4dGJvQ2U1ay9vZ1BuOEJaQW1nL0RGRENsNy9oZkhLdmVzWmkycEtTelB0?=
 =?utf-8?B?c3JLekxtckpTd0JpaWZzaHE1U3RCbFMwSTZsUnlBRUJQTWhQT2liKy9mUjAr?=
 =?utf-8?B?U1YvN0ZlRmxzdlhMMVNsajZIVnBqdVJkL0ZmSUtOU3Q4SmZ2Vk1Xb3UyUE5D?=
 =?utf-8?B?aU1HbGJ2dm5EV1FPQ0RlYTdaVU8zcllnQVZIY2NxZzIydW9OUThQVlBteW5R?=
 =?utf-8?B?QUYxaWRrNDFrSFZseWR3Q2JlamV3SUpwZGE0QkxWV1Q1VTg1RVBWaXhVbWph?=
 =?utf-8?B?R2xWeTB1SVZRME5kZVFIMFZRbEdMQWVFcmpSU0FNVEJIdDRsckR0QXduSW10?=
 =?utf-8?B?WWptQ2RqcmtocGFmc2s1UHJvbk90ZDNIejFtbEZPWjJDNjI4QlZETnVxYnNC?=
 =?utf-8?B?WENDd0R1ZmNtTm9kZitGaE9tNHU0bzZndjU4UTJYU0RNa0VuaXFtVEpJN0Jz?=
 =?utf-8?B?MWRiZWUzVjc1MFdqOG1WS2hGb1VJYUdlYlYwM2RIUzVtL3hOaXd3NERJcmxi?=
 =?utf-8?B?azlyb0xhaEI2cjgxQ1ppNWNOY3hLdVk3LzhVbjA5N1hyWDBHN3BVcmNQWlRI?=
 =?utf-8?B?VjJBS3BTYUloKzRkZjR4UkZ0bUNCUTNxMWE2STRObHhDcnNTY0VVS0VsMzU0?=
 =?utf-8?B?Sm8yczJGWVBNZEZ0WThqendjSWQzRFBrV0ZQUEJtQW9GRi9pT05RMU5sTnNF?=
 =?utf-8?B?MDdGVXhHMDhvS3RlUmNQT3RkMVZCQUl5SHVxNnJlK1hWMzJkSDJaMCtlbGdD?=
 =?utf-8?B?WC9hS2FGTjJ1U1JQYVF0Y2pXSUFoeUx5VWVJK043V3VxaFY5OThKYzZNSjli?=
 =?utf-8?B?ZnJ3MzJreEdMSllicnNiaC9FZ1I3L0NpYkVXRHlEay9FQjhNdFR4TmV3MUpu?=
 =?utf-8?B?LzNFMnkzUWVsb3Qxa1RaQ1BSVmZIOGhVemhUVUMwN3lRc0ZuNk5rTHpNNnBL?=
 =?utf-8?B?Rk92ZzJtL1h5RWF3WDJwQWlnenRoVi9rZHZYeXJxZWZNRTR0aEVpdGFIY3NB?=
 =?utf-8?B?NU1SbVFrbkhGdGNubk9ib3hZeFlIeCtHK0lTajFYdGpaOE1yTzkvUitKZU9H?=
 =?utf-8?B?WjdtMjhsVjkvaStMdWRNd2Y2aVFsS3ZOdmpBVGNxUDFQQlF1eVhuZXczV1lr?=
 =?utf-8?B?TlB3akQ0Q3NtMHJRcW1tSnE5NnNLb0xZQWgwY2hMcDBMcHhNY21OaEpEcDNu?=
 =?utf-8?B?NXc9PQ==?=
X-MS-Exchange-CrossTenant-Network-Message-Id: 8337e1e2-2089-4445-c923-08db47786696
X-MS-Exchange-CrossTenant-AuthSource: SJ2PR11MB7573.namprd11.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 27 Apr 2023 23:37:44.7417
 (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: Jg/tgj2g9AoXb9Lil8AbbNiUOewotosC/3gefkHiDuAdG483FQh73GwrWcBS8XMK64h0Rk0KnjiEp6qfPMdaf9BHut1jLVtMV/X+U42dXVI=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: CH0PR11MB5460
X-OriginatorOrg: intel.com
X-Spam-Status: No, score=-6.0 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH,
        DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,NICE_REPLY_A,
        RCVD_IN_DNSWL_MED,RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL,SPF_HELO_NONE,
        SPF_NONE,T_SCC_BODY_TEXT_LINE 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

Hi James,

On 4/27/2023 7:19 AM, James Morse wrote:
> Hi Reinette,
> 
> On 01/04/2023 00:28, Reinette Chatre wrote:
>> On 3/20/2023 10:26 AM, James Morse wrote:
>>> The rdt_enable_key is switched when resctrl is mounted, and used to
>>> prevent a second mount of the filesystem. It also enables the
>>> architecture's context switch code.
>>>
>>> This requires another architecture to have the same set of static-keys,
>>> as resctrl depends on them too.
>>>
>>> Make the resctrl_mounted checks explicit: resctrl can keep track of
>>> whether it has been mounted once. This doesn't need to be combined with
>>> whether the arch code is context switching the CLOSID.
>>> Tests against the rdt_mon_enable_key become a test that resctrl is
>>> mounted and that monitoring is enabled.
>>
>> The last sentence above makes the code change hard to follow ...
>> (see below)
>>
>>> This will allow the static-key changing to be moved behind resctrl_arch_
>>> calls.
> 
>>> diff --git a/arch/x86/kernel/cpu/resctrl/monitor.c b/arch/x86/kernel/cpu/resctrl/monitor.c
>>> index f38cd2f12285..6279f5c98b39 100644
>>> --- a/arch/x86/kernel/cpu/resctrl/monitor.c
>>> +++ b/arch/x86/kernel/cpu/resctrl/monitor.c
>>> @@ -834,7 +834,7 @@ void mbm_handle_overflow(struct work_struct *work)
>>>  
>>>  	mutex_lock(&rdtgroup_mutex);
>>>  
>>> -	if (!static_branch_likely(&rdt_mon_enable_key))
>>> +	if (!resctrl_mounted || !static_branch_likely(&rdt_mon_enable_key))
>>
>> ... considering the text in the changelog the "resctrl_mounted" check seems
>> unnecessary. Looking ahead I wonder if this check would not be more
>> appropriate in patch 15?
> 
> How so?
> 
> This is secretly relying on rdt_mon_enable_key being cleared in rdt_kill_sb() when the
> filesystem is unmounted, otherwise the overflow thread keeps running once the filesystem
> is unmounted.

hmmm ... I do not think my feedback was clear. I understand that this is done
as a prep patch but that was only clear when I read patch 15 because as the
work is presented here it seems unnecessary. 

> 
> I thought it simpler to add all these checks explicitly in one go.
> That makes it simpler to thin out the static keys as their 'and its mounted' behaviour is
> no longer relied on.

Understood. If you want to keep this as a prep patch, could you please update the
changelog to reflect this? The following sentence in the changelog makes this patch
hard to follow since it essentially claims that what this patch does is unnecessary:
"Tests against the rdt_mon_enable_key become a test that resctrl is mounted
and that monitoring is enabled."

I also do still wonder why these resctrl_mounted checks cannot move to patch
15 when they are needed. Adding them there makes it obvious that rdt_mon_enable_key
had a dual purpose that patch 15 splits into two separate checks. 

Reinette