Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::3:5 as permitted sender) client-ip=2620:137:e000::3:5;
Message-ID: <25dae76d-9e8e-9381-066f-7eaeadb85dc7@intel.com>
Date:   Mon, 25 Sep 2023 16:22:29 -0700
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
 Firefox/102.0 Thunderbird/102.15.1
Subject: Re: [PATCH v5 1/8] x86/resctrl: Prepare for new domain scope
Content-Language: en-US
To:     Tony Luck <tony.luck@intel.com>, Fenghua Yu <fenghua.yu@intel.com>,
        "Peter Newman" <peternewman@google.com>,
        Jonathan Corbet <corbet@lwn.net>,
        "Shuah Khan" <skhan@linuxfoundation.org>, <x86@kernel.org>
CC:     Shaopeng Tan <tan.shaopeng@fujitsu.com>,
        James Morse <james.morse@arm.com>,
        Jamie Iles <quic_jiles@quicinc.com>,
        Babu Moger <babu.moger@amd.com>,
        Randy Dunlap <rdunlap@infradead.org>,
        <linux-kernel@vger.kernel.org>, <linux-doc@vger.kernel.org>,
        <patches@lists.linux.dev>
References: <20230722190740.326190-1-tony.luck@intel.com>
 <20230829234426.64421-1-tony.luck@intel.com>
 <20230829234426.64421-2-tony.luck@intel.com>
From:   Reinette Chatre <reinette.chatre@intel.com>
In-Reply-To: <20230829234426.64421-2-tony.luck@intel.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?K2dCSGlnWkprbnEwNHZmdE1EMTQzcXpXcDVVWUVFdXgrbWhySDhzU24rS0sx?=
 =?utf-8?B?Y3Z4dEM3dDhqU3NpbFNIRVRkUzgzOXZnVkR1WHkvTXFOWGlYQlVuS0lvNU9O?=
 =?utf-8?B?TTdsdkVaNFNOQUZlSVV0N0N3R3pxbHl6YXIyRnEySE1Za3hDMEhQMnhNZ0ZQ?=
 =?utf-8?B?RDFjcGdxSGtuWHZDTzBpbWpxSE4wVWJFeHlzc1krTHB3TnR2c1NMQVIramxV?=
 =?utf-8?B?Q0Z4Y1hSWUx6NmhaUDNZdFJza3dRU1ZmZnZrb2xJN0M1eDVSNjFJNEhZL0h2?=
 =?utf-8?B?YlVsZ1cwNkpSREdjTE80enFrTUUxVjBxdG1YTEcyOUVVaXM5Um92SjMxVmRE?=
 =?utf-8?B?MjRPTkw0c21IWVp0b045QWNXcUlYOW5TekRSRzNycnBxSUZqVkRPZ0ozTG5r?=
 =?utf-8?B?d01qRVNETmtjSzh4K2ZsMm42ei91L2VSanFSUW5BRER3N2hsM1pmYmtJTWJE?=
 =?utf-8?B?T1ExQm42U0F2N3dRQkl5TjFWaThOdHNqdk9wbFQ2UTJFKzQyWHpTWjY2S1NH?=
 =?utf-8?B?OWhmbElCOXlZdGYwNE9MS2wzVlp3NHdDSnFIcW9TV1NVL082MGVwMTZVeEhX?=
 =?utf-8?B?WkprOVRsM05LdEZBTWo5UDBPd3BPalQ3eFA0d0lpbmVXUDVBOUloNEhzOHkv?=
 =?utf-8?B?Ynl5ejNSSGI2UFF1UnJvdUkzaW0zVG5pRXFFbER5c1F0MFBPNjNlMHZKMDFl?=
 =?utf-8?B?R3M1QlVnQmxCeDZndWZIa1lMZmdaK0JKMmJob2RIVGlQdmltL21PQmU2dkR5?=
 =?utf-8?B?MFM0NFRSR0t6K2ZmeURNamxSUXl4ci84cHh2cmQyOW1JcUtRelA4WFNNVXFq?=
 =?utf-8?B?QXhhbk1DNmJHaU5naVFzMURqWHVMVG9IWGV0WXErOEJyYnV5YzJ3Z3JwZEFK?=
 =?utf-8?B?Vk5nQnhkYy9hQ1kxOW8wNGQzc1NSZWZhUlV4cTcwM0FQMS9tQ0FpL2RjczZh?=
 =?utf-8?B?Rm5OMkhZSlZvaGxmOG1ycmd0TlZMMDZFWEk2TW9zK3JNUU9RdjZPbE1hR0cz?=
 =?utf-8?B?NmQ1RUh2akFoYnh4YTJQR3E5RVhpRFliQ1NVSUxFWFlUbE1GUmk0dDl3SkZQ?=
 =?utf-8?B?NnpJcFlFVTJBYWFYZml1cFNFVVZRNTh1by9iaEJ0SjEzNVZCWkpkemdRSTlj?=
 =?utf-8?B?R056OXM5YlMxdTVrNkpXNGR0dWc3QTdua1JyWTRTNlAvREhnTCtncUgwUTBK?=
 =?utf-8?B?NENTbW5seGxFRXdXZ3VaNnNDTmtraXpYb1h4L2UxODAvRVpoREpZWXBDSTRn?=
 =?utf-8?B?NGRMMnA1VzlPK1VsMURaRVhlMWZHSFAyQXh3UW5mTG1wK1llT0JaYlJ0b0VT?=
 =?utf-8?B?QjVKbFF4UnlDWjZUZlMyWE9VNlhSZVk4K1FFS1VPa3hJL0o3dXUzcUpaSDg3?=
 =?utf-8?B?QnF2NW8waXg2eXRYRXgyYWpQSkUwQnFFWjVOUE5ucWpUZDlFcTNNNFI0TzBs?=
 =?utf-8?B?dSt6UDAzODdvTWRqU05ENEpkaU55aC95SzI4SWQwaWR2clVpS3RaNlNOeG9s?=
 =?utf-8?B?S0hOOW9mNGNaQUNROU56QUlNUjd4S1djUGxUTVBiamI0amV3WjdZcHZqeHJ1?=
 =?utf-8?B?UDZ2Qjkwdm1ocGxHUjRienlpR1hBaWxFSUJsRVZmdHp5TUxpS3QxZnljSTF4?=
 =?utf-8?B?QWRBdUdQQjE0WUNNcVE3cHZhOVloQVJ2K0IzVkM4REpUTXhXcWdrbnVDM2xO?=
 =?utf-8?B?RWszaDB6ZDUyWklZSzVZNnphWExEcG9ySHcydHNWVjNyS2tvMVl4WVRBVG1v?=
 =?utf-8?B?Nm5JbllBd3VERDZVUWdDT2VMbXNFdHZYWEJJaGkyQ01mZk5saU5meVEwL2VM?=
 =?utf-8?B?blh3dis2Sy85OG1IbHZaVUV2L2tKa3p0TENScnNmZDVLaU5RaFg5LzMraFMr?=
 =?utf-8?B?azJOQ3NiaGliNWZoMndsakpyNEQwanpVbGV3U1lrc1pFb3VSdzdQNkdJNTZG?=
 =?utf-8?B?b2p3Qi9TUU53RlNscFdXN2lQeE11YUhlVVEvTm91SHNidm5GOVFmVStNQ3lu?=
 =?utf-8?B?dTZ0MmozM1MwK0UrSk95YzRPbWdESmpRUXFnMG5HbmZpU0w4L0hJOVJWMWdo?=
 =?utf-8?B?eTVVcDdmVGpKQ0UvNnNtMkJ6UDVIU2UrbFJHcWZET1VPYW53Ni8vTlB6Y1VS?=
 =?utf-8?B?b0pNVC93YU5QVHZhMmJFcXlrZjBYdjNKemVJN2l0azU5ZTBRSHpHQ3paN0Vh?=
 =?utf-8?B?d2c9PQ==?=
X-MS-Exchange-CrossTenant-Network-Message-Id: 70d900db-6a54-48f6-0ad1-08dbbe1e4b0b
X-MS-Exchange-CrossTenant-AuthSource: SJ2PR11MB7573.namprd11.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 25 Sep 2023 23:22:32.1660
 (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: hJCxq+gXRaC6KBf79OyzG51lqZuqGW/40gQOExTEsRizoYZvCYdyQbeyIju9qp5Co+8OiWPYnTcX2W1CLErAsyLDtU3jF5Bh+/CQpFfrw5E=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: PH7PR11MB8033
X-OriginatorOrg: intel.com
X-Spam-Status: No, score=-2.3 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED,
	DKIM_VALID,DKIM_VALID_AU,HEADER_FROM_DIFFERENT_DOMAINS,
	MAILING_LIST_MULTI,NICE_REPLY_A,SPF_HELO_NONE,SPF_PASS
	autolearn=unavailable autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on groat.vger.email
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org
X-Greylist: Sender passed SPF test, not delayed by milter-greylist-4.6.4 (groat.vger.email [0.0.0.0]); Mon, 25 Sep 2023 16:24:09 -0700 (PDT)

Hi Tony,

On 8/29/2023 4:44 PM, Tony Luck wrote:
> Legacy resctrl features operated on subsets of CPUs in the system with

What is a "legacy" resctrl feature? I am not aware of anything in resctrl
that distinguishes a feature as legacy. Could "resctrl resource" be more
appropriate to match the resctrl implementation? 

Please use "operate on" instead of "operated on".

> the defining attribute of each subset being an instance of a particular
> level of cache. E.g. all CPUs sharing an L3 cache would be part of the
> same domain.
> 
> In preparation for features that are scoped at the NUMA node level
> change the code from explicit references to "cache_level" to a more
> generic scope. At this point the only options for this scope are groups
> of CPUs that share an L2 cache or L3 cache.
> 
> No functional change.
> 
> Signed-off-by: Tony Luck <tony.luck@intel.com>
> ---
>  include/linux/resctrl.h                   |  9 ++++++--
>  arch/x86/kernel/cpu/resctrl/core.c        | 27 ++++++++++++++++++-----
>  arch/x86/kernel/cpu/resctrl/pseudo_lock.c | 15 ++++++++++++-
>  arch/x86/kernel/cpu/resctrl/rdtgroup.c    | 15 ++++++++++++-
>  4 files changed, 56 insertions(+), 10 deletions(-)
> 
> diff --git a/include/linux/resctrl.h b/include/linux/resctrl.h
> index 8334eeacfec5..2db1244ae642 100644
> --- a/include/linux/resctrl.h
> +++ b/include/linux/resctrl.h
> @@ -144,13 +144,18 @@ struct resctrl_membw {
>  struct rdt_parse_data;
>  struct resctrl_schema;
>  
> +enum resctrl_scope {
> +	RESCTRL_L3_CACHE,
> +	RESCTRL_L2_CACHE,
> +};

I'm curious why L3 appears before L2? This is not a big deal but
I think the additional indirection that this introduces is
not necessary. As you had in an earlier version this could be
RESCTRL_L2_CACHE = 2 and then the value can just be used directly
(after ensuring it is used in a valid context).

> +
>  /**
>   * struct rdt_resource - attributes of a resctrl resource
>   * @rid:		The index of the resource
>   * @alloc_capable:	Is allocation available on this machine
>   * @mon_capable:	Is monitor feature available on this machine
>   * @num_rmid:		Number of RMIDs available
> - * @cache_level:	Which cache level defines scope of this resource
> + * @scope:		Scope of this resource
>   * @cache:		Cache allocation related data
>   * @membw:		If the component has bandwidth controls, their properties.
>   * @domains:		All domains for this resource
> @@ -168,7 +173,7 @@ struct rdt_resource {
>  	bool			alloc_capable;
>  	bool			mon_capable;
>  	int			num_rmid;
> -	int			cache_level;
> +	enum resctrl_scope	scope;
>  	struct resctrl_cache	cache;
>  	struct resctrl_membw	membw;
>  	struct list_head	domains;
> diff --git a/arch/x86/kernel/cpu/resctrl/core.c b/arch/x86/kernel/cpu/resctrl/core.c
> index 030d3b409768..0d3bae523ecb 100644
> --- a/arch/x86/kernel/cpu/resctrl/core.c
> +++ b/arch/x86/kernel/cpu/resctrl/core.c
> @@ -65,7 +65,7 @@ struct rdt_hw_resource rdt_resources_all[] = {
>  		.r_resctrl = {
>  			.rid			= RDT_RESOURCE_L3,
>  			.name			= "L3",
> -			.cache_level		= 3,
> +			.scope			= RESCTRL_L3_CACHE,
>  			.domains		= domain_init(RDT_RESOURCE_L3),
>  			.parse_ctrlval		= parse_cbm,
>  			.format_str		= "%d=%0*x",
> @@ -79,7 +79,7 @@ struct rdt_hw_resource rdt_resources_all[] = {
>  		.r_resctrl = {
>  			.rid			= RDT_RESOURCE_L2,
>  			.name			= "L2",
> -			.cache_level		= 2,
> +			.scope			= RESCTRL_L2_CACHE,
>  			.domains		= domain_init(RDT_RESOURCE_L2),
>  			.parse_ctrlval		= parse_cbm,
>  			.format_str		= "%d=%0*x",
> @@ -93,7 +93,7 @@ struct rdt_hw_resource rdt_resources_all[] = {
>  		.r_resctrl = {
>  			.rid			= RDT_RESOURCE_MBA,
>  			.name			= "MB",
> -			.cache_level		= 3,
> +			.scope			= RESCTRL_L3_CACHE,
>  			.domains		= domain_init(RDT_RESOURCE_MBA),
>  			.parse_ctrlval		= parse_bw,
>  			.format_str		= "%d=%*u",
> @@ -105,7 +105,7 @@ struct rdt_hw_resource rdt_resources_all[] = {
>  		.r_resctrl = {
>  			.rid			= RDT_RESOURCE_SMBA,
>  			.name			= "SMBA",
> -			.cache_level		= 3,
> +			.scope			= RESCTRL_L3_CACHE,
>  			.domains		= domain_init(RDT_RESOURCE_SMBA),
>  			.parse_ctrlval		= parse_bw,
>  			.format_str		= "%d=%*u",
> @@ -487,6 +487,21 @@ static int arch_domain_mbm_alloc(u32 num_rmid, struct rdt_hw_domain *hw_dom)
>  	return 0;
>  }
>  
> +static int get_domain_id_from_scope(int cpu, enum resctrl_scope scope)
> +{
> +	switch (scope) {
> +	case RESCTRL_L3_CACHE:
> +		return get_cpu_cacheinfo_id(cpu, 3);
> +	case RESCTRL_L2_CACHE:
> +		return get_cpu_cacheinfo_id(cpu, 2);
> +	default:
> +		WARN_ON_ONCE(1);
> +		break;
> +	}
> +
> +	return -1;
> +}

Looking ahead at the next patch some members of rdt_resources_all[]
are left with a default "0" initialization of mon_scope that is a
valid scope of RESCTRL_L3_CACHE in this implementation that would
not be caught with defensive code like above. For the above to catch
a case like this I think that there should be some default
initialization - but if you do move to something like you
had in v3 then this may not be necessary. If the L2 scope is 2,
L3 scope is 3, node scope is 4, then no initialization will be zero
and the above default can more accurately catch failure cases.

> +
>  /*
>   * domain_add_cpu - Add a cpu to a resource's domain list.
>   *
> @@ -502,7 +517,7 @@ static int arch_domain_mbm_alloc(u32 num_rmid, struct rdt_hw_domain *hw_dom)
>   */
>  static void domain_add_cpu(int cpu, struct rdt_resource *r)
>  {
> -	int id = get_cpu_cacheinfo_id(cpu, r->cache_level);
> +	int id = get_domain_id_from_scope(cpu, r->scope);
>  	struct list_head *add_pos = NULL;
>  	struct rdt_hw_domain *hw_dom;
>  	struct rdt_domain *d;
> @@ -552,7 +567,7 @@ static void domain_add_cpu(int cpu, struct rdt_resource *r)
>  
>  static void domain_remove_cpu(int cpu, struct rdt_resource *r)
>  {
> -	int id = get_cpu_cacheinfo_id(cpu, r->cache_level);
> +	int id = get_domain_id_from_scope(cpu, r->scope);
>  	struct rdt_hw_domain *hw_dom;
>  	struct rdt_domain *d;
>  
> diff --git a/arch/x86/kernel/cpu/resctrl/pseudo_lock.c b/arch/x86/kernel/cpu/resctrl/pseudo_lock.c
> index 458cb7419502..e79324676f57 100644
> --- a/arch/x86/kernel/cpu/resctrl/pseudo_lock.c
> +++ b/arch/x86/kernel/cpu/resctrl/pseudo_lock.c
> @@ -279,6 +279,7 @@ static void pseudo_lock_region_clear(struct pseudo_lock_region *plr)
>  static int pseudo_lock_region_init(struct pseudo_lock_region *plr)
>  {
>  	struct cpu_cacheinfo *ci;
> +	int cache_level;
>  	int ret;
>  	int i;
>  
> @@ -296,8 +297,20 @@ static int pseudo_lock_region_init(struct pseudo_lock_region *plr)
>  
>  	plr->size = rdtgroup_cbm_to_size(plr->s->res, plr->d, plr->cbm);
>  
> +	switch (plr->s->res->scope) {
> +	case RESCTRL_L3_CACHE:
> +		cache_level = 3;
> +		break;
> +	case RESCTRL_L2_CACHE:
> +		cache_level = 2;
> +		break;
> +	default:
> +		WARN_ON_ONCE(1);
> +		return -ENODEV;
> +	}

I think this can be simplified without the indirection - a simplified
WARN can just test for valid values of plr->s->res->scope directly
(exit on failure) and then it can be used directly in the code below
when the enum value corresponds to a cache level.

> +
>  	for (i = 0; i < ci->num_leaves; i++) {
> -		if (ci->info_list[i].level == plr->s->res->cache_level) {
> +		if (ci->info_list[i].level == cache_level) {
>  			plr->line_size = ci->info_list[i].coherency_line_size;
>  			return 0;
>  		}
> diff --git a/arch/x86/kernel/cpu/resctrl/rdtgroup.c b/arch/x86/kernel/cpu/resctrl/rdtgroup.c
> index 725344048f85..f510414bf6ce 100644
> --- a/arch/x86/kernel/cpu/resctrl/rdtgroup.c
> +++ b/arch/x86/kernel/cpu/resctrl/rdtgroup.c
> @@ -1343,12 +1343,25 @@ unsigned int rdtgroup_cbm_to_size(struct rdt_resource *r,
>  {
>  	struct cpu_cacheinfo *ci;
>  	unsigned int size = 0;
> +	int cache_level;
>  	int num_b, i;
>  
> +	switch (r->scope) {
> +	case RESCTRL_L3_CACHE:
> +		cache_level = 3;
> +		break;
> +	case RESCTRL_L2_CACHE:
> +		cache_level = 2;
> +		break;
> +	default:
> +		WARN_ON_ONCE(1);
> +		return size;
> +	}
> +

Same here.

>  	num_b = bitmap_weight(&cbm, r->cache.cbm_len);
>  	ci = get_cpu_cacheinfo(cpumask_any(&d->cpu_mask));
>  	for (i = 0; i < ci->num_leaves; i++) {
> -		if (ci->info_list[i].level == r->cache_level) {
> +		if (ci->info_list[i].level == cache_level) {
>  			size = ci->info_list[i].size / r->cache.cbm_len * num_b;
>  			break;
>  		}


Reinette