All of lore.kernel.org
 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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.