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: <29bca1a0-b8f9-2c16-db74-f4ff3e45dc8a@intel.com>
Date:   Mon, 12 Dec 2022 09:36:59 -0800
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
 Firefox/102.0 Thunderbird/102.5.1
Subject: Re: [PATCH v4] x86/resctrl: Clear staged_config[] before and after it
 is used
To:     "Yu, Fenghua" <fenghua.yu@intel.com>,
        Shawn Wang <shawnwang@linux.alibaba.com>
CC:     "bp@alien8.de" <bp@alien8.de>,
        "dave.hansen@linux.intel.com" <dave.hansen@linux.intel.com>,
        "hpa@zytor.com" <hpa@zytor.com>,
        "james.morse@arm.com" <james.morse@arm.com>,
        "jamie@nuviainc.com" <jamie@nuviainc.com>,
        "linux-kernel@vger.kernel.org" <linux-kernel@vger.kernel.org>,
        "mingo@redhat.com" <mingo@redhat.com>,
        "tglx@linutronix.de" <tglx@linutronix.de>,
        "x86@kernel.org" <x86@kernel.org>
References: <20221209024436.22170-1-shawnwang@linux.alibaba.com>
 <IA1PR11MB609702742C92B316A78D73459B1F9@IA1PR11MB6097.namprd11.prod.outlook.com>
Content-Language: en-US
From:   Reinette Chatre <reinette.chatre@intel.com>
In-Reply-To: <IA1PR11MB609702742C92B316A78D73459B1F9@IA1PR11MB6097.namprd11.prod.outlook.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?Z0lTbVlESHppbUY5Q0F3cjArUitkV1N0QUZMN1BQQnRwNnVZRXE4Smd4NDhX?=
 =?utf-8?B?MmNmSzFYdG9FTTI3MmJ4ZlhGL0dLUFNPbkcvVkFESXkxM0UyV0ZYWDVoU1Js?=
 =?utf-8?B?WDRsMHVuSjZMTHRnVm0xUFZ3ZDQ5UHlPNFAxRGo5VUg3TnR4T1Y0eEtpemNL?=
 =?utf-8?B?ckN4S0VwdlpsUzA4ZFJ0dThkVlhOUXNNQnRVelVRU3pYTTlQMFR1WnlnaXp4?=
 =?utf-8?B?ZkFsdVRQZ2xwUFRMT0t3eER0dFVDcjYvMGJVZTVVeGprNU03Mzhnd3FYSWd1?=
 =?utf-8?B?dW5mYTM1U2pXNmdyV0FOdUhScmlsL0lMY0dFVW5WTlNKdkUxOFltQlhuN01Q?=
 =?utf-8?B?QWdPWFNmQjdvSHlBZ1FRZkk5NE43QXZsbnIxK3dscHVvVVlsSjU3UjVLblZq?=
 =?utf-8?B?T210c2QyVkZJTmxxZ1JOOXdTZW1rSmVDV1lHalN4T21oTWNyaUlCK2dvZWZM?=
 =?utf-8?B?QmFUSWNSUnl2NXhBamg3TFVDUWNqUG1ZU2RXRDBjTHhyU2E1WWx2MmtpWENv?=
 =?utf-8?B?Z0RhRVIrWEZISXlyY2EzemVqSXI5RXR1SmxGMTVveE1mVEVDWTloRlRzcVBB?=
 =?utf-8?B?QWIvdkM3UFhHSGR5NS9FV0dzUllETG9WN0U0bVNoc1JRT09qY1dKV1dRVkph?=
 =?utf-8?B?K285N2NSTURXRTgyMVFyUVZ1eElaalNtbE9Md1I4MmNCOHNzMTIreEV2U1R0?=
 =?utf-8?B?MjFPUzMycDJrSGR5NHVJU1FtaWNuRXhHK3VvZnBHc1VEY0RubzRvTmdWMmZq?=
 =?utf-8?B?T3JtZ2xiOU15UmtKYjBINHkrcVhtOUVCeVhwTU1LOXV2K29PRnpOMzNZUGty?=
 =?utf-8?B?NnBud2d5UUtSVXBPLzJ1Z2pjbFVFZmZPODFlZTZ2dXRNZTJHKzlWVU1wbkQ5?=
 =?utf-8?B?dWNHQmVSTDZHNUduUW5yOE1sbU9oTG9tUVlQSVUrUW9mbTF3QWNFOXEvU3Zq?=
 =?utf-8?B?V3hHQ0UrcTNhRUJ0U0F0Um5VWTM1dlEvazNocm9QZlN2ZHlrb3FRT01oVHF5?=
 =?utf-8?B?eEtEUUlyT3JBdDA1VDdiQTlmdk5QbGNaU2pwU0NTYVFKc3pLQkpYTmx6a0ZT?=
 =?utf-8?B?dVA2eTFKb1UwL3l5SEVaMEwyVUFJSVNjV0s2U1NvZGdRTUpRLzZaSXBMc1VR?=
 =?utf-8?B?aVMxUk9xQ2Z0VTVGMnpPZXhncENEbmJUM2Q4TmhhYUlzejRRa2xhaFR2djhU?=
 =?utf-8?B?SElreUwzVzlmVzJ4TUVFVmNXRThLMEJaNlUrWko3WWFtaGVxeWE1b0R5WHdT?=
 =?utf-8?B?SlNZb084RWNIWEpyMC95d3NhRkJpZ2RTZHlBOGUwRkJaSVZtUTBLMU1XK2l3?=
 =?utf-8?B?WExqU25TVVRUTjl5bG5sVUhLdStFU2tkaFhFVUVwQ2lEdVN6a2lla254OVYz?=
 =?utf-8?B?OFJNVFRiZlNSYlF1Lzlvd2lYQWRrakF3MlZCY3hsQTE4SHJmcUxjeDdYMUF3?=
 =?utf-8?B?R0Z2aFE4UWNTb0w3N0FTTWV3dVlkd1hvOUNwalBmSjBZVFpWQThxaTNXVWU2?=
 =?utf-8?B?ZnczRFJTVXFPcy94SThzVUR1SFVxNTd5NkxvWWsxNDJjTFVHSlM5WVhSQnJi?=
 =?utf-8?B?RlVHUnMrejNiY1lBS2xVYVZsRmRTQmYrVlVPM0tLMEtpaWZNNVpKRGhYWEJw?=
 =?utf-8?B?Q0k5K1o5UzM0aTBFa1VqTU5LTnVXMyt0WHplSjlHTkdqMEpPQUE0OXk5bkVj?=
 =?utf-8?B?ZGx6MW83ejJUQmR3TXg1VExuUjdrREV6M2xTQXpHUk9sMW1rbmUzR3cxSGJj?=
 =?utf-8?B?Q1RJN0pYTzdUTFpLVXJ6YWtnOWJkekxQa2YyREtOckpmMGgyUGpDT2ZrYkpH?=
 =?utf-8?B?bkpMNlNCN00wallJR3E5b09FQWpaSDV5MVRPb3BHeHdGMDVpWlBiWHNub2V4?=
 =?utf-8?B?MlU2YXgvZXFPYkVrQXE5SE9kKzJNckJmdm1NRmpCRC90VDNPNkYrTTBicHJB?=
 =?utf-8?B?bUdHL2t6YW42amtBYjEzeTFxV0JiOVlCa2dsdUV2ZGFsVmg2c3Nucks4dkdJ?=
 =?utf-8?B?T1FXa3cyeWNqRmVMU1B0Y2ZsWnJXYndpRW52djBsMU1mNGVweDFIN3RZa1NN?=
 =?utf-8?B?L0NoQm9vSDNOWXpaZHBiQ2JBQkhERW5pdkV5bXExWGNoeHdPWkZ6NVhKbHNG?=
 =?utf-8?B?QWNka2tNVmV1aWlYR2psRFZOWm91VGNkK2V5UE83dkZmdFMvWWJ1dHZ5Y3B5?=
 =?utf-8?B?ZUE9PQ==?=
X-MS-Exchange-CrossTenant-Network-Message-Id: b52374c8-082f-42ad-b8c8-08dadc677a06
X-MS-Exchange-CrossTenant-AuthSource: CY4PR11MB1862.namprd11.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 12 Dec 2022 17:37:01.5380
 (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: KnXYMFePtC0cvVAVVb22GYpR1OJnbbisUHDL7ICYsoNCqNoydiJEmsYLu9UQ7ZNJINqN735lgJrRFLDiUSsH4ZWzRLpCe1ZE9t91B+RassA=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: DM6PR11MB4546
X-OriginatorOrg: intel.com
X-Spam-Status: No, score=-4.4 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,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

Hi Fenghua,

On 12/9/2022 6:18 PM, Yu, Fenghua wrote:
> Hi, Shawn,
> 
>> As a temporary storage, staged_config[] in rdt_domain should be cleared before
>> and after it is used. The stale value in staged_config[] could cause an MSR
>> access error.
> 
> Why should staged_config[] be cleared both before and after it's used?
> If it's cleared only before it's used, does it make more sense?

This is something we discussed during v2 of this fix.

> Usually temp variables are initialized before they are used and their values will
> be ignored after usage. Especially clearing stage_config[] in double for

Ideally temporary variables have usage that matches their lifetime - variable is
created, used and then freed. The staged_config[] array is different in that it
has temporary usage but its lifetime matches that of the domain. 
I agree that temporary variables should be initialized before they are used, but I
do prefer that we do not leave stale data around, especially since stale data was
the cause of the bug needing to be fixed with this patch.

> loop is pretty heavy code and an extra clearing stage_config[] after usage
> takes unnecessary longer time.

Could you please elaborate on this being heavy code? The clearing does not involve
interacting with the registers, it just clears the 3 entry array, one array per
domain. This is definitely not in a hot path since it is done when the user
initiates reconfiguration, either by writing to the schemata file or creating a new
resctrl directory. I thus do not see harm in doing the clearing after configuration
to ensure that no stale data is left around. I would like to better understand your
concern.

...

>> a/arch/x86/kernel/cpu/resctrl/rdtgroup.c
>> b/arch/x86/kernel/cpu/resctrl/rdtgroup.c
>> index e5a48f05e787..fee8ed86b31c 100644
>> --- a/arch/x86/kernel/cpu/resctrl/rdtgroup.c
>> +++ b/arch/x86/kernel/cpu/resctrl/rdtgroup.c
>> @@ -78,6 +78,19 @@ void rdt_last_cmd_printf(const char *fmt, ...)
>>  	va_end(ap);
>>  }
>>
>> +void rdt_staged_configs_clear(void)
>> +{
>> +	struct rdt_resource *r;
>> +	struct rdt_domain *dom;
> 
> Please reorder the variable definitions in the reversed Christmas tree order.

Could you please provide more detail on how you would like this to look?
Since the lines have equal length they pass the initial ordering requirement
so there must be some finer grained requirement for lines of equal length?

Reinette