mirror of https://lore.kernel.org/lkml/
 help / color / mirror / Atom feed
From: "Luck, Tony" <tony.luck@intel.com>
To: Reinette Chatre <reinette.chatre@intel.com>
Cc: Fenghua Yu <fenghuay@nvidia.com>,
	Maciej Wieczor-Retman <maciej.wieczor-retman@intel.com>,
	Peter Newman <peternewman@google.com>,
	James Morse <james.morse@arm.com>,
	Babu Moger <babu.moger@amd.com>,
	"Drew Fustini" <dfustini@baylibre.com>,
	Dave Martin <Dave.Martin@arm.com>, Chen Yu <yu.c.chen@intel.com>,
	David E Box <david.e.box@intel.com>, <x86@kernel.org>,
	Christoph Hellwig <hch@infradead.org>,
	<linux-kernel@vger.kernel.org>, <patches@lists.linux.dev>
Subject: Re: [PATCH v9 06/12] arm,x86,fs/resctrl: Handle change in number of RMIDs on each mount
Date: Tue, 14 Jul 2026 09:01:29 -0700	[thread overview]
Message-ID: <alZdWe-DACOtDwm0@agluck-desk3> (raw)
In-Reply-To: <e937d05b-8381-4d4e-bc36-7165a7214694@intel.com>

On Tue, Jul 14, 2026 at 08:18:30AM -0700, Reinette Chatre wrote:
> Hi Tony,
> 
> On 7/10/26 1:51 PM, Luck, Tony wrote:
> > On Wed, Jul 08, 2026 at 03:50:45PM -0700, Reinette Chatre wrote:
> >> Hi Tony,
> >>
> >> On 7/1/26 2:35 PM, Tony Luck wrote:
> >>> Application Energy Telemetry (AET) event enumeration takes place
> >>> asynchronously. Linux builds the pmt_telemetry module into the kernel to
> >>> kick off enumeration early enough that it completes before first mount of
> >>> the resctrl file system.
> >>>
> >>> Allowing pmt_telemetry to be a loadable module means that it is possible
> >>> for different numbers of RMIDs to be supported on each mount, depending
> >>> on whether pmt_telemetry module is loaded.
> >>>
> >>> For simplicity, calculate the maximum possible number of RMIDs and use
> >>> that value to allocate the rmid_ptrs[] array just once. Also use this
> >>> maximum RMID value when allocating rdt_l3_mon_domain::rmid_busy_llc
> >>> bitmap and rdt_l3_mon_domain::mbm_states.
> >>
> >> This does not sound right. Why use the maximum RMID for L3 monitoring state?
> >> It can be guaranteed that L3 monitoring state is only accessed when that
> >> monitoring is enabled and when it is enabled it can be guaranteed to never
> >> use more RMID than what L3 itself supports. Why would it ever be required
> >> to allocate more than that? Could this not instead be limited to
> >> rdt_resource::resctrl_mon::num_rmid? From what I can tell such transition
> >> will make it explicit and consistent (since arch code already allocates
> >> this state based on this) how the L3 monitoring state is sized.
> > 
> > L3 monitoring on X86 happens to provide the overall maximum possible RMID
> > value (any larger value with #GP fault when written to IA32_PQR_ASSOC MSR).
> > 
> > AET could potentially claim to support a larger number (and this could
> > happen on low core count SKUs where the number of RMIDs supported scales
> > down with the number of cores).
> > 
> > resctrl_arch_system_max_rmid_idx() needs better comments, and
> > implementation. On x86 even if the L3 monitor functions have been
> > disabled, the limit is still bounded by CPUID. Not by what might
> > be found in the AET->mon.num_rmid.
> 
> I see. I assume the implementation change you refer to involves dropping
> usage of r->mon_capable that depends on rdt_cpu_has().
> 
> How much to rely on CPUID is not clear to me. The direction seems to
> be to move away from CPUID, which makes adding new CPUID dependencies
> less ideal? 

Here's my current work-in-progress version:

u32 resctrl_arch_system_max_rmid_idx(void)
{
	struct rdt_resource *r = &rdt_resources_all[RDT_RESOURCE_L3].r_resctrl;
	u32 ret;

	/* CPUID provides maximum possible RMID value */
	ret = cpuid_ebx(0xf) + 1;

	/*
	 * if system is capable of L3 monitoring the maximum RMID value may
	 * be lower that system maximum. Either because the L3 monitoring
	 * feature supports fewer RMIDs (CPUID(0xF, 0x1).ECX), or because SNC
	 * (Sub-NUMA Cluster) is enabled and divides RMIDs per cluster.
	 */
	if (r->mon_capable)
		ret = r->mon.num_rmid;

	return ret;
}

CPUID seems unavoidable in the case that the platform doesn't support
(or has disabled the various L3 monitoring events). In that case using
cpuid_ebx(0xf) gets the max value that can be written to the RMID field
of IA32_PQR_ASSOC. This is common to Intel and AMD.

If RDT_RESOURCE_L3 monitoring is enabled, then it could impose a smaller
value from CPUID(0xF, 0x1).ECX. SNC might also divide down the RMID
space per node. That calculation has already been done, so just re-using
the result from r->mon.num_rmid avoids mistakes.

Even if AET supports a larger value of num_rmid, the system is limited
to what can be written to IA32_PQR_ASSOC, so no need to scan all
resources.


> > Though perhaps intel_aet.c should look at CPUID to avoid believing any
> > larger numbers seen in AET enumeration.
> > 
> >>>
> >>> The limbo code must deal with changes in the number of RMIDs from one
> >>> mount to the next because some RMIDs may still be "busy" when the file
> >>> system is unmounted, but be above resctrl_arch_system_num_rmid_idx()
> >>> for the remount. In this case RMIDs that can be released are not put
> >>> onto the rmid_free_lru list.
> >>>
> >>> Signed-off-by: Tony Luck <tony.luck@intel.com>
> >>> ---
> >>
> >> ...
> >>
> >>> diff --git a/arch/x86/kernel/cpu/resctrl/core.c b/arch/x86/kernel/cpu/resctrl/core.c
> >>> index 60d50ac79e7b..3169441a2d40 100644
> >>> --- a/arch/x86/kernel/cpu/resctrl/core.c
> >>> +++ b/arch/x86/kernel/cpu/resctrl/core.c
> >>> @@ -144,6 +144,20 @@ u32 resctrl_arch_system_num_rmid_idx(void)
> >>>  	return num_rmids == U32_MAX ? 0 : num_rmids;
> >>>  }
> >>>  
> >>> +/**
> >>> + * resctrl_arch_system_max_rmid_idx - Largest possible number of RMIDs
> >>> + *
> >>> + * Return: If L3 monitoring is supported, largest possible comes from L3 based
> >>> + * on CPUID(0xf,0x0).EBX (scaled down on Sub-NUMA Cluster systems). Otherwise
> >>> + * maximum from any other mon_capable resources.
> >>
> >> Above reads "Otherwise maximum from any other ..." but the code is actually
> >> "Otherwise minimum from any other ..." which contradicts the "max" intention of
> >> this function?
> >>
> >>> + */
> >>> +u32 resctrl_arch_system_max_rmid_idx(void)
> >>> +{
> >>> +	struct rdt_resource *r = &rdt_resources_all[RDT_RESOURCE_L3].r_resctrl;
> >>> +
> >>> +	return r->mon_capable ? r->mon.num_rmid : resctrl_arch_system_num_rmid_idx();
> >>
> >> This smells like a function that pretends to be generic but created to provide
> >> correct results on specific x86 hardware. 
> >> If this needs to provide max RMID why not cycle through all monitoring resources
> >> and determine the max RMID, why special case L3?
> >>
> >> ...
> >>
> >>> @@ -961,8 +975,8 @@ void mbm_setup_overflow_handler(struct rdt_l3_mon_domain *dom, unsigned long del
> >>>  
> >>>  int setup_rmid_lru_list(void)
> >>>  {
> >>> +	u32 max_idx_limit, min_idx_limit;
> >>>  	struct rmid_entry *entry = NULL;
> >>> -	u32 idx_limit;
> >>>  	u32 idx;
> >>>  	int i;
> >>>  
> >>> @@ -970,27 +984,29 @@ int setup_rmid_lru_list(void)
> >>>  		return 0;
> >>>  
> >>>  	/*
> >>> -	 * Called on every mount, but the number of RMIDs cannot change
> >>> -	 * after the first mount, so keep using the same set of rmid_ptrs[]
> >>> -	 * until resctrl_exit(). Note that the limbo handler continues to
> >>> -	 * access rmid_ptrs[] after resctrl is unmounted.
> >>> +	 * Allocate the largest number of RMIDs that this system will ever
> >>> +	 * need. These cannot be freed until resctrl_exit() because the limbo
> >>> +	 * handler continues to access rmid_ptrs[] after resctrl is unmounted.
> >>>  	 */
> >>> -	if (rmid_ptrs)
> >>> -		return 0;
> >>> -
> >>> -	idx_limit = resctrl_arch_system_num_rmid_idx();
> >>> -	rmid_ptrs = kzalloc_objs(struct rmid_entry, idx_limit);
> >>> -	if (!rmid_ptrs)
> >>> -		return -ENOMEM;
> >>> +	if (!rmid_ptrs) {
> >>> +		max_idx_limit = resctrl_arch_system_max_rmid_idx();
> >>> +		rmid_ptrs = kzalloc_objs(struct rmid_entry, max_idx_limit);
> >>> +		if (!rmid_ptrs)
> >>> +			return -ENOMEM;
> >>>  
> >>> -	for (i = 0; i < idx_limit; i++) {
> >>> -		entry = &rmid_ptrs[i];
> >>> -		INIT_LIST_HEAD(&entry->list);
> >>> +		for (i = 0; i < max_idx_limit; i++) {
> >>> +			entry = &rmid_ptrs[i];
> >>> +			INIT_LIST_HEAD(&entry->list);
> >>>  
> >>> -		resctrl_arch_rmid_idx_decode(i, &entry->closid, &entry->rmid);
> >>> -		list_add_tail(&entry->list, &rmid_free_lru);
> >>> +			resctrl_arch_rmid_idx_decode(i, &entry->closid, &entry->rmid);
> >>> +		}
> >>>  	}
> >>>  
> >>> +	/* Find how many RMIDs are needed for this mount */
> >>> +	min_idx_limit = resctrl_arch_system_num_rmid_idx();
> >>
> >> Since mon_capable resources can now come and go from mount to mount there are scenarios where
> >> rmid_ptrs[] may be smaller than min_idx_limit so above needs extra checks to protect against
> >> overrun below.
> > 
> > I don't intend for that to happen. The initial allocation of rmid_ptrs[]
> > is supposed to be large enough that no subsequent mount would need more.
> > 
> > I.e. resctrl_arch_system_max_rmid_idx() must return a value >= than
> > any subsequent resctrl_arch_system_num_rmid_idx() call.
> > 
> > Perhaps I should add this to resctrl_arch_system_num_rmid_idx()?
> > 
> > 	num_rmids = min(num_rmids, resctrl_arch_system_max_rmid_idx());
> 
> While trusting the arch helpers to "do the right thing" occurs frequently in resctrl
> as a result of its evolution I do not think this is something that it should keep doing.
> I think it will be more robust for resctrl fs to protect itself here. For example, could
> resctrl fs obtain a new partner variable to rmid_ptrs[] that reflects how many elements it has?
> This could be done in addition to changes to arch helpers that will then be required to
> meet resctrl fs expectations.

This is a good idea.  I can switch "max_idx_limit" from being a local
variable in setup_rmid_lru_list() to being global (static). Initialize
it exactly once from resctrl_arch_system_max_rmid_idx() here, and remove
all the other local copies and initializations.

setup_rmid_lru_list() can then defend against bad resctrl_arch_system_num_rmid_idx()
return values with:

	/* Find how many RMIDs are needed for this mount */
	min_idx_limit = resctrl_arch_system_num_rmid_idx();
	if (min_idx_limit > max_idx_limit) {
		pr_warn_once("Attempt to use too many RMIDs\n");
		min_idx_limit = max_idx_limit;
	}

Does that seem reasonable?
> 
> Reinette
> 

-Tony
> 
> 
> 

  reply	other threads:[~2026-07-14 16:01 UTC|newest]

Thread overview: 43+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-07-01 21:35 [PATCH v9 00/12] Allow AET to use PMT as loadable module Tony Luck
2026-07-01 21:35 ` [PATCH v9 01/12] platform/x86/intel/{pmt,vsec}: Prevent unbind via sysfs Tony Luck
2026-07-08 22:45   ` Reinette Chatre
2026-07-09 17:41     ` Luck, Tony
2026-07-09 20:48       ` Reinette Chatre
2026-07-09 21:12         ` Luck, Tony
2026-07-10 17:01           ` Luck, Tony
2026-07-10 20:24             ` Luck, Tony
2026-07-01 21:35 ` [PATCH v9 02/12] fs/resctrl: Remove redundant calls to resctrl_arch_mon_capable() Tony Luck
2026-07-01 21:35 ` [PATCH v9 03/12] x86/resctrl: Honor rdt=perf option to force enable AET perf events Tony Luck
2026-07-08 22:46   ` Reinette Chatre
2026-07-10 20:29     ` Luck, Tony
2026-07-01 21:35 ` [PATCH v9 04/12] fs/resctrl: Add interface to disable a monitor event Tony Luck
2026-07-01 21:35 ` [PATCH v9 05/12] x86/resctrl: Drop global 'rdt_mon_capable' flag Tony Luck
2026-07-08 22:47   ` Reinette Chatre
2026-07-10 20:31     ` Luck, Tony
2026-07-01 21:35 ` [PATCH v9 06/12] arm,x86,fs/resctrl: Handle change in number of RMIDs on each mount Tony Luck
2026-07-08 22:50   ` Reinette Chatre
2026-07-10 20:51     ` Luck, Tony
2026-07-14 15:18       ` Reinette Chatre
2026-07-14 16:01         ` Luck, Tony [this message]
2026-07-14 16:45           ` Reinette Chatre
2026-07-14 17:50             ` Luck, Tony
2026-07-14 18:16               ` Reinette Chatre
2026-07-14 20:28                 ` Luck, Tony
2026-07-14 21:07                   ` Reinette Chatre
2026-07-14 22:14                     ` Luck, Tony
2026-07-01 21:35 ` [PATCH v9 07/12] x86/resctrl: Add PMT registration API for AET enumeration callbacks Tony Luck
2026-07-08 22:51   ` Reinette Chatre
2026-07-10 20:54     ` Luck, Tony
2026-07-14 15:18       ` Reinette Chatre
2026-07-14 15:41         ` Luck, Tony
2026-07-01 21:35 ` [PATCH v9 08/12] platform/x86/intel/pmt: Register enumeration functions with resctrl Tony Luck
2026-07-01 21:35 ` [PATCH v9 09/12] arm,x86/resctrl: Resolve INTEL_PMT_TELEMETRY symbols at runtime Tony Luck
2026-07-08 22:52   ` Reinette Chatre
2026-07-10 20:59     ` Luck, Tony
2026-07-01 21:35 ` [PATCH v9 10/12] fs/resctrl: Call architecture hooks for every mount/unmount Tony Luck
2026-07-08 22:53   ` Reinette Chatre
2026-07-10 21:01     ` Luck, Tony
2026-07-01 21:35 ` [PATCH v9 11/12] x86/resctrl: Simplify Kconfig options for resctrl Tony Luck
2026-07-08 23:01   ` Reinette Chatre
2026-07-10 21:08     ` Luck, Tony
2026-07-01 21:35 ` [PATCH v9 12/12] Documentation/filesystems/resctrl: Document telemetry mount timing caveat Tony Luck

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=alZdWe-DACOtDwm0@agluck-desk3 \
    --to=tony.luck@intel.com \
    --cc=Dave.Martin@arm.com \
    --cc=babu.moger@amd.com \
    --cc=david.e.box@intel.com \
    --cc=dfustini@baylibre.com \
    --cc=fenghuay@nvidia.com \
    --cc=hch@infradead.org \
    --cc=james.morse@arm.com \
    --cc=linux-kernel@vger.kernel.org \
    --cc=maciej.wieczor-retman@intel.com \
    --cc=patches@lists.linux.dev \
    --cc=peternewman@google.com \
    --cc=reinette.chatre@intel.com \
    --cc=x86@kernel.org \
    --cc=yu.c.chen@intel.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox

Powered by JetHome