[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH v2 10/10] xen/x86: add detection of memory interleaves for different nodes


  • To: Wei Chen <wei.chen@xxxxxxx>
  • From: Jan Beulich <jbeulich@xxxxxxxx>
  • Date: Tue, 26 Apr 2022 11:20:10 +0200
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=suse.com; dmarc=pass action=none header.from=suse.com; dkim=pass header.d=suse.com; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=FlthTxj6EWGBFF0coUuh7CPEUxrvDwcDZDRl6EyQg1Y=; b=OU+srI7cE1EI7YYJKL9c0U4+SgQCWoQNiQCTbnvrXHl2xDww8yt8c14zeCDjGTvn68Wx/Rzm0G7kXKZrK37x+7lzlVUC/hA+Ip+4iVrV7e/r7kFmL3L3fMV7gBLLECT6JeqHJD5dNlF5UhabRSJF7Lx/CatfOdDjwHT+rxYRk2XZZ1HCIfhQXZhDY2eJvuvGeJTiybWUblh/VqfDKLfhxIP8hGLUJwIz5pKvA9Z6IDLLAV/h5TSVQx+BB2yHrQRnHc73bzrn3rOFEgRa8yow3NyTBtwJwIIxoC+dNcLd3wqH1EgSgEdV8HDeQYP2LMOyq/waXP0C1J7suPUQ0xd0iw==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=UFNfesPaOj9tWjQAiIxkXhSLcgCsBlc9/cD3LsDriUjf5XPGAaAHdcfIvpmegf0/cXcWx1AO0TwpdortDpZQv++MrgJY1KgHm3PTOaU8nwlInHDi75BmdqW26blaArgbHh7+ahAV/83nMfaNfnXAFkkNU+X3HCX3LQrWnttu4KCsopuN7jrjhHkrKTtFLC+C+ZKxwVNiM+16lU7hef4YJvo1hhYUWKjhKp+uOxLDaqobkkFL2Y09YhwdZXjroRBnpSkISywWcQ4YBJ7ME+tGaYPGXkDlEC5PlRtSxisO8pl3R8o2m8R9umAWsDBXk9tVPjWK5LyULIu4Rv6eEboneA==
  • Authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=suse.com;
  • Cc: nd@xxxxxxx, Andrew Cooper <andrew.cooper3@xxxxxxxxxx>, Roger Pau Monné <roger.pau@xxxxxxxxxx>, Wei Liu <wl@xxxxxxx>, xen-devel@xxxxxxxxxxxxxxxxxxxx
  • Delivery-date: Tue, 26 Apr 2022 09:20:26 +0000
  • List-id: Xen developer discussion <xen-devel.lists.xenproject.org>

On 18.04.2022 11:07, Wei Chen wrote:
> --- a/xen/arch/x86/srat.c
> +++ b/xen/arch/x86/srat.c
> @@ -271,6 +271,35 @@ acpi_numa_processor_affinity_init(const struct 
> acpi_srat_cpu_affinity *pa)
>                      pxm, pa->apic_id, node);
>  }
>  
> +/*
> + * Check to see if there are other nodes within this node's range.
> + * We just need to check full contains situation. Because overlaps
> + * have been checked before by conflicting_memblks.
> + */
> +static bool __init check_node_memory_interleave(nodeid_t nid,
> +                                                paddr_t start, paddr_t end)
> +{
> +     nodeid_t i;
> +     const struct node *nd = &nodes[nid];
> +
> +     for_each_node_mask(i, memory_nodes_parsed)
> +     {
> +             /* Skip itself */
> +             if (i == nid)
> +                     continue;
> +
> +             nd = &nodes[i];
> +             if (start < nd->start && nd->end < end) {
> +                     printk(KERN_ERR
> +                            "Node %u: (%"PRIpaddr"-%"PRIpaddr") interleaves 
> with node %u (%"PRIpaddr"-%"PRIpaddr")\n",
> +                            nid, start, end, i, nd->start, nd->end);
> +                     return true;
> +             }
> +     }
> +
> +     return false;
> +}
> +
>  /* Callback for parsing of the Proximity Domain <-> Memory Area mappings */
>  void __init
>  acpi_numa_memory_affinity_init(const struct acpi_srat_mem_affinity *ma)
> @@ -340,10 +369,22 @@ acpi_numa_memory_affinity_init(const struct 
> acpi_srat_mem_affinity *ma)

Just up from here there already is overlap detection (via a call to
conflicting_memblks(), and you even mention that in the earlier
comment). If that doesn't cover all cases, I think it wants fixing
there rather than introducing a 2nd checking function. But afaics
that code covers the "fully contains" case.

Jan

>                       nd->start = start;
>                       nd->end = end;
>               } else {
> -                     if (start < nd->start)
> -                             nd->start = start;
> -                     if (nd->end < end)
> -                             nd->end = end;
> +                     paddr_t new_start = nd->start;
> +                     paddr_t new_end = nd->end;
> +
> +                     if (start < new_start)
> +                             new_start = start;
> +                     if (new_end < end)
> +                             new_end = end;
> +
> +                     /* Check whether new range contains memory for other 
> nodes */
> +                     if (check_node_memory_interleave(node, new_start, 
> new_end)) {
> +                             bad_srat();
> +                             return;
> +                     }
> +
> +                     nd->start = new_start;
> +                     nd->end = new_end;
>               }
>       }
>       printk(KERN_INFO "SRAT: Node %u PXM %u %"PRIpaddr"-%"PRIpaddr"%s\n",




 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.