diff mbox series

[v3,1/2] numa: Require distance map when empty node exists

Message ID 20211013045805.192165-2-gshan@redhat.com (mailing list archive)
State New, archived
Headers show
Series hw/arm/virt: Fix qemu booting failure on device-tree | expand

Commit Message

Gavin Shan Oct. 13, 2021, 4:58 a.m. UTC
The following option is used to specify the distance map. It's
possible the option isn't provided by user. In this case, the
distance map isn't populated and exposed to platform. On the
other hand, the empty NUMA node, where no memory resides, is
allowed on platforms like ARM64 virt. For these empty NUMA
nodes, their corresponding device-tree nodes aren't populated,
but their NUMA IDs should be included in the "/distance-map"
device-tree node, so that kernel can probe them properly if
device-tree is used.

  -numa,dist,src=<numa_id>,dst=<numa_id>,val=<distance>

This adds extra check after the machine is initialized, to
ask for the distance map from user when empty nodes exist in
device-tree.

Signed-off-by: Gavin Shan <gshan@redhat.com>
---
 hw/core/machine.c     |  4 ++++
 hw/core/numa.c        | 24 ++++++++++++++++++++++++
 include/sysemu/numa.h |  1 +
 3 files changed, 29 insertions(+)

Comments

Andrew Jones Oct. 13, 2021, 6:35 a.m. UTC | #1
On Wed, Oct 13, 2021 at 12:58:04PM +0800, Gavin Shan wrote:
> The following option is used to specify the distance map. It's
> possible the option isn't provided by user. In this case, the
> distance map isn't populated and exposed to platform. On the
> other hand, the empty NUMA node, where no memory resides, is
> allowed on platforms like ARM64 virt. For these empty NUMA
> nodes, their corresponding device-tree nodes aren't populated,
> but their NUMA IDs should be included in the "/distance-map"
> device-tree node, so that kernel can probe them properly if
> device-tree is used.
> 
>   -numa,dist,src=<numa_id>,dst=<numa_id>,val=<distance>
> 
> This adds extra check after the machine is initialized, to
> ask for the distance map from user when empty nodes exist in
> device-tree.
> 
> Signed-off-by: Gavin Shan <gshan@redhat.com>
> ---
>  hw/core/machine.c     |  4 ++++
>  hw/core/numa.c        | 24 ++++++++++++++++++++++++
>  include/sysemu/numa.h |  1 +
>  3 files changed, 29 insertions(+)
>

Reviewed-by: Andrew Jones <drjones@redhat.com>
Igor Mammedov Oct. 13, 2021, 11:30 a.m. UTC | #2
On Wed, 13 Oct 2021 12:58:04 +0800
Gavin Shan <gshan@redhat.com> wrote:

> The following option is used to specify the distance map. It's
> possible the option isn't provided by user. In this case, the
> distance map isn't populated and exposed to platform. On the
> other hand, the empty NUMA node, where no memory resides, is
> allowed on platforms like ARM64 virt. For these empty NUMA
> nodes, their corresponding device-tree nodes aren't populated,
> but their NUMA IDs should be included in the "/distance-map"
> device-tree node, so that kernel can probe them properly if
> device-tree is used.
> 
>   -numa,dist,src=<numa_id>,dst=<numa_id>,val=<distance>
> 
> This adds extra check after the machine is initialized, to
> ask for the distance map from user when empty nodes exist in
> device-tree.
> 
> Signed-off-by: Gavin Shan <gshan@redhat.com>
> ---
>  hw/core/machine.c     |  4 ++++
>  hw/core/numa.c        | 24 ++++++++++++++++++++++++
>  include/sysemu/numa.h |  1 +
>  3 files changed, 29 insertions(+)
> 
> diff --git a/hw/core/machine.c b/hw/core/machine.c
> index b8d95eec32..c0765ad973 100644
> --- a/hw/core/machine.c
> +++ b/hw/core/machine.c
> @@ -1355,6 +1355,10 @@ void machine_run_board_init(MachineState *machine)
>      accel_init_interfaces(ACCEL_GET_CLASS(machine->accelerator));
>      machine_class->init(machine);
>      phase_advance(PHASE_MACHINE_INITIALIZED);
> +
> +    if (machine->numa_state) {
> +        numa_complete_validation(machine);
> +    }
>  }
>  
>  static NotifierList machine_init_done_notifiers =
> diff --git a/hw/core/numa.c b/hw/core/numa.c
> index 510d096a88..7404b7dd38 100644
> --- a/hw/core/numa.c
> +++ b/hw/core/numa.c
> @@ -727,6 +727,30 @@ void numa_complete_configuration(MachineState *ms)
>      }
>  }
>  
> +/*
> + * When device-tree is used by the machine, the empty node IDs should
> + * be included in the distance map. So we need provide pairs of distances
> + * in this case.
> + */
> +void numa_complete_validation(MachineState *ms)
> +{
> +    NodeInfo *numa_info = ms->numa_state->nodes;
> +    int nb_numa_nodes = ms->numa_state->num_nodes;
> +    int i;
> +
> +    if (!ms->fdt || ms->numa_state->have_numa_distance) {

also skip check/limitation when VM is launched with ACPI enabled?

> +        return;
> +    }
> +
> +    for (i = 0; i < nb_numa_nodes; i++) {
> +        if (numa_info[i].present && !numa_info[i].node_mem) {
> +            error_report("Empty node %d found, please provide "
> +                         "distance map.", i);
> +            exit(EXIT_FAILURE);
> +        }
> +    }
> +}
> +
>  void parse_numa_opts(MachineState *ms)
>  {
>      qemu_opts_foreach(qemu_find_opts("numa"), parse_numa, ms, &error_fatal);
> diff --git a/include/sysemu/numa.h b/include/sysemu/numa.h
> index 4173ef2afa..80f25ab830 100644
> --- a/include/sysemu/numa.h
> +++ b/include/sysemu/numa.h
> @@ -104,6 +104,7 @@ void parse_numa_hmat_lb(NumaState *numa_state, NumaHmatLBOptions *node,
>  void parse_numa_hmat_cache(MachineState *ms, NumaHmatCacheOptions *node,
>                             Error **errp);
>  void numa_complete_configuration(MachineState *ms);
> +void numa_complete_validation(MachineState *ms);
>  void query_numa_node_mem(NumaNodeMem node_mem[], MachineState *ms);
>  extern QemuOptsList qemu_numa_opts;
>  void numa_cpu_pre_plug(const struct CPUArchId *slot, DeviceState *dev,
Andrew Jones Oct. 13, 2021, 11:35 a.m. UTC | #3
On Wed, Oct 13, 2021 at 01:30:11PM +0200, Igor Mammedov wrote:
> On Wed, 13 Oct 2021 12:58:04 +0800
> Gavin Shan <gshan@redhat.com> wrote:
> 
> > The following option is used to specify the distance map. It's
> > possible the option isn't provided by user. In this case, the
> > distance map isn't populated and exposed to platform. On the
> > other hand, the empty NUMA node, where no memory resides, is
> > allowed on platforms like ARM64 virt. For these empty NUMA
> > nodes, their corresponding device-tree nodes aren't populated,
> > but their NUMA IDs should be included in the "/distance-map"
> > device-tree node, so that kernel can probe them properly if
> > device-tree is used.
> > 
> >   -numa,dist,src=<numa_id>,dst=<numa_id>,val=<distance>
> > 
> > This adds extra check after the machine is initialized, to
> > ask for the distance map from user when empty nodes exist in
> > device-tree.
> > 
> > Signed-off-by: Gavin Shan <gshan@redhat.com>
> > ---
> >  hw/core/machine.c     |  4 ++++
> >  hw/core/numa.c        | 24 ++++++++++++++++++++++++
> >  include/sysemu/numa.h |  1 +
> >  3 files changed, 29 insertions(+)
> > 
> > diff --git a/hw/core/machine.c b/hw/core/machine.c
> > index b8d95eec32..c0765ad973 100644
> > --- a/hw/core/machine.c
> > +++ b/hw/core/machine.c
> > @@ -1355,6 +1355,10 @@ void machine_run_board_init(MachineState *machine)
> >      accel_init_interfaces(ACCEL_GET_CLASS(machine->accelerator));
> >      machine_class->init(machine);
> >      phase_advance(PHASE_MACHINE_INITIALIZED);
> > +
> > +    if (machine->numa_state) {
> > +        numa_complete_validation(machine);
> > +    }
> >  }
> >  
> >  static NotifierList machine_init_done_notifiers =
> > diff --git a/hw/core/numa.c b/hw/core/numa.c
> > index 510d096a88..7404b7dd38 100644
> > --- a/hw/core/numa.c
> > +++ b/hw/core/numa.c
> > @@ -727,6 +727,30 @@ void numa_complete_configuration(MachineState *ms)
> >      }
> >  }
> >  
> > +/*
> > + * When device-tree is used by the machine, the empty node IDs should
> > + * be included in the distance map. So we need provide pairs of distances
> > + * in this case.
> > + */
> > +void numa_complete_validation(MachineState *ms)
> > +{
> > +    NodeInfo *numa_info = ms->numa_state->nodes;
> > +    int nb_numa_nodes = ms->numa_state->num_nodes;
> > +    int i;
> > +
> > +    if (!ms->fdt || ms->numa_state->have_numa_distance) {
> 
> also skip check/limitation when VM is launched with ACPI enabled?

Even with ACPI enabled we generate a DT and would like that DT to be as
complete as possible. Of course we should generate a SLIT table with
the distance information the user provides on the command line in order
to satisfy the check, and we will, since we already have that code in
place.

Thanks,
drew

> 
> > +        return;
> > +    }
> > +
> > +    for (i = 0; i < nb_numa_nodes; i++) {
> > +        if (numa_info[i].present && !numa_info[i].node_mem) {
> > +            error_report("Empty node %d found, please provide "
> > +                         "distance map.", i);
> > +            exit(EXIT_FAILURE);
> > +        }
> > +    }
> > +}
> > +
> >  void parse_numa_opts(MachineState *ms)
> >  {
> >      qemu_opts_foreach(qemu_find_opts("numa"), parse_numa, ms, &error_fatal);
> > diff --git a/include/sysemu/numa.h b/include/sysemu/numa.h
> > index 4173ef2afa..80f25ab830 100644
> > --- a/include/sysemu/numa.h
> > +++ b/include/sysemu/numa.h
> > @@ -104,6 +104,7 @@ void parse_numa_hmat_lb(NumaState *numa_state, NumaHmatLBOptions *node,
> >  void parse_numa_hmat_cache(MachineState *ms, NumaHmatCacheOptions *node,
> >                             Error **errp);
> >  void numa_complete_configuration(MachineState *ms);
> > +void numa_complete_validation(MachineState *ms);
> >  void query_numa_node_mem(NumaNodeMem node_mem[], MachineState *ms);
> >  extern QemuOptsList qemu_numa_opts;
> >  void numa_cpu_pre_plug(const struct CPUArchId *slot, DeviceState *dev,
>
Igor Mammedov Oct. 13, 2021, 11:53 a.m. UTC | #4
On Wed, 13 Oct 2021 13:35:44 +0200
Andrew Jones <drjones@redhat.com> wrote:

> On Wed, Oct 13, 2021 at 01:30:11PM +0200, Igor Mammedov wrote:
> > On Wed, 13 Oct 2021 12:58:04 +0800
> > Gavin Shan <gshan@redhat.com> wrote:
> >   
> > > The following option is used to specify the distance map. It's
> > > possible the option isn't provided by user. In this case, the
> > > distance map isn't populated and exposed to platform. On the
> > > other hand, the empty NUMA node, where no memory resides, is
> > > allowed on platforms like ARM64 virt. For these empty NUMA
> > > nodes, their corresponding device-tree nodes aren't populated,
> > > but their NUMA IDs should be included in the "/distance-map"
> > > device-tree node, so that kernel can probe them properly if
> > > device-tree is used.
> > > 
> > >   -numa,dist,src=<numa_id>,dst=<numa_id>,val=<distance>
> > > 
> > > This adds extra check after the machine is initialized, to
> > > ask for the distance map from user when empty nodes exist in
> > > device-tree.
> > > 
> > > Signed-off-by: Gavin Shan <gshan@redhat.com>
> > > ---
> > >  hw/core/machine.c     |  4 ++++
> > >  hw/core/numa.c        | 24 ++++++++++++++++++++++++
> > >  include/sysemu/numa.h |  1 +
> > >  3 files changed, 29 insertions(+)
> > > 
> > > diff --git a/hw/core/machine.c b/hw/core/machine.c
> > > index b8d95eec32..c0765ad973 100644
> > > --- a/hw/core/machine.c
> > > +++ b/hw/core/machine.c
> > > @@ -1355,6 +1355,10 @@ void machine_run_board_init(MachineState *machine)
> > >      accel_init_interfaces(ACCEL_GET_CLASS(machine->accelerator));
> > >      machine_class->init(machine);
> > >      phase_advance(PHASE_MACHINE_INITIALIZED);
> > > +
> > > +    if (machine->numa_state) {
> > > +        numa_complete_validation(machine);
> > > +    }
> > >  }
> > >  
> > >  static NotifierList machine_init_done_notifiers =
> > > diff --git a/hw/core/numa.c b/hw/core/numa.c
> > > index 510d096a88..7404b7dd38 100644
> > > --- a/hw/core/numa.c
> > > +++ b/hw/core/numa.c
> > > @@ -727,6 +727,30 @@ void numa_complete_configuration(MachineState *ms)
> > >      }
> > >  }
> > >  
> > > +/*
> > > + * When device-tree is used by the machine, the empty node IDs should
> > > + * be included in the distance map. So we need provide pairs of distances
> > > + * in this case.
> > > + */
> > > +void numa_complete_validation(MachineState *ms)
> > > +{
> > > +    NodeInfo *numa_info = ms->numa_state->nodes;
> > > +    int nb_numa_nodes = ms->numa_state->num_nodes;
> > > +    int i;
> > > +
> > > +    if (!ms->fdt || ms->numa_state->have_numa_distance) {  
> > 
> > also skip check/limitation when VM is launched with ACPI enabled?  
> 
> Even with ACPI enabled we generate a DT and would like that DT to be as
> complete as possible. Of course we should generate a SLIT table with

Guest will work just fine without distance map as SRAT describes
all numa nodes.
You are forcing VM to have SLIT just for the sake of 'completeness'
that's practically unused.

I'm still unsure about pushing all of this in generic numa code,
as this will be used only by ARM for now. It's better to keep it
ARM specific, and when RISCV machine will start using this, it
could be moved to generic code.

> the distance information the user provides on the command line in order
> to satisfy the check, and we will, since we already have that code in
> place.


> 
> Thanks,
> drew
> 
> >   
> > > +        return;
> > > +    }
> > > +
> > > +    for (i = 0; i < nb_numa_nodes; i++) {
> > > +        if (numa_info[i].present && !numa_info[i].node_mem) {
> > > +            error_report("Empty node %d found, please provide "
> > > +                         "distance map.", i);
> > > +            exit(EXIT_FAILURE);
> > > +        }
> > > +    }
> > > +}
> > > +
> > >  void parse_numa_opts(MachineState *ms)
> > >  {
> > >      qemu_opts_foreach(qemu_find_opts("numa"), parse_numa, ms, &error_fatal);
> > > diff --git a/include/sysemu/numa.h b/include/sysemu/numa.h
> > > index 4173ef2afa..80f25ab830 100644
> > > --- a/include/sysemu/numa.h
> > > +++ b/include/sysemu/numa.h
> > > @@ -104,6 +104,7 @@ void parse_numa_hmat_lb(NumaState *numa_state, NumaHmatLBOptions *node,
> > >  void parse_numa_hmat_cache(MachineState *ms, NumaHmatCacheOptions *node,
> > >                             Error **errp);
> > >  void numa_complete_configuration(MachineState *ms);
> > > +void numa_complete_validation(MachineState *ms);
> > >  void query_numa_node_mem(NumaNodeMem node_mem[], MachineState *ms);
> > >  extern QemuOptsList qemu_numa_opts;
> > >  void numa_cpu_pre_plug(const struct CPUArchId *slot, DeviceState *dev,  
> >   
>
Andrew Jones Oct. 13, 2021, 12:11 p.m. UTC | #5
On Wed, Oct 13, 2021 at 01:53:46PM +0200, Igor Mammedov wrote:
> On Wed, 13 Oct 2021 13:35:44 +0200
> Andrew Jones <drjones@redhat.com> wrote:
> 
> > On Wed, Oct 13, 2021 at 01:30:11PM +0200, Igor Mammedov wrote:
> > > On Wed, 13 Oct 2021 12:58:04 +0800
> > > Gavin Shan <gshan@redhat.com> wrote:
> > >   
> > > > The following option is used to specify the distance map. It's
> > > > possible the option isn't provided by user. In this case, the
> > > > distance map isn't populated and exposed to platform. On the
> > > > other hand, the empty NUMA node, where no memory resides, is
> > > > allowed on platforms like ARM64 virt. For these empty NUMA
> > > > nodes, their corresponding device-tree nodes aren't populated,
> > > > but their NUMA IDs should be included in the "/distance-map"
> > > > device-tree node, so that kernel can probe them properly if
> > > > device-tree is used.
> > > > 
> > > >   -numa,dist,src=<numa_id>,dst=<numa_id>,val=<distance>
> > > > 
> > > > This adds extra check after the machine is initialized, to
> > > > ask for the distance map from user when empty nodes exist in
> > > > device-tree.
> > > > 
> > > > Signed-off-by: Gavin Shan <gshan@redhat.com>
> > > > ---
> > > >  hw/core/machine.c     |  4 ++++
> > > >  hw/core/numa.c        | 24 ++++++++++++++++++++++++
> > > >  include/sysemu/numa.h |  1 +
> > > >  3 files changed, 29 insertions(+)
> > > > 
> > > > diff --git a/hw/core/machine.c b/hw/core/machine.c
> > > > index b8d95eec32..c0765ad973 100644
> > > > --- a/hw/core/machine.c
> > > > +++ b/hw/core/machine.c
> > > > @@ -1355,6 +1355,10 @@ void machine_run_board_init(MachineState *machine)
> > > >      accel_init_interfaces(ACCEL_GET_CLASS(machine->accelerator));
> > > >      machine_class->init(machine);
> > > >      phase_advance(PHASE_MACHINE_INITIALIZED);
> > > > +
> > > > +    if (machine->numa_state) {
> > > > +        numa_complete_validation(machine);
> > > > +    }
> > > >  }
> > > >  
> > > >  static NotifierList machine_init_done_notifiers =
> > > > diff --git a/hw/core/numa.c b/hw/core/numa.c
> > > > index 510d096a88..7404b7dd38 100644
> > > > --- a/hw/core/numa.c
> > > > +++ b/hw/core/numa.c
> > > > @@ -727,6 +727,30 @@ void numa_complete_configuration(MachineState *ms)
> > > >      }
> > > >  }
> > > >  
> > > > +/*
> > > > + * When device-tree is used by the machine, the empty node IDs should
> > > > + * be included in the distance map. So we need provide pairs of distances
> > > > + * in this case.
> > > > + */
> > > > +void numa_complete_validation(MachineState *ms)
> > > > +{
> > > > +    NodeInfo *numa_info = ms->numa_state->nodes;
> > > > +    int nb_numa_nodes = ms->numa_state->num_nodes;
> > > > +    int i;
> > > > +
> > > > +    if (!ms->fdt || ms->numa_state->have_numa_distance) {  
> > > 
> > > also skip check/limitation when VM is launched with ACPI enabled?  
> > 
> > Even with ACPI enabled we generate a DT and would like that DT to be as
> > complete as possible. Of course we should generate a SLIT table with
> 
> Guest will work just fine without distance map as SRAT describes
> all numa nodes.
> You are forcing VM to have SLIT just for the sake of 'completeness'
> that's practically unused.
> 
> I'm still unsure about pushing all of this in generic numa code,
> as this will be used only by ARM for now. It's better to keep it
> ARM specific, and when RISCV machine will start using this, it
> could be moved to generic code.

I don't see a problem in providing this DT node / ACPI table to guests
with empty NUMA nodes. I don't even see a problem with providing the
distance information unconditionally. Can you explain why we should
prefer not to provide optional HW descriptions?

Thanks,
drew 

> 
> > the distance information the user provides on the command line in order
> > to satisfy the check, and we will, since we already have that code in
> > place.
> 
> 
> > 
> > Thanks,
> > drew
> > 
> > >   
> > > > +        return;
> > > > +    }
> > > > +
> > > > +    for (i = 0; i < nb_numa_nodes; i++) {
> > > > +        if (numa_info[i].present && !numa_info[i].node_mem) {
> > > > +            error_report("Empty node %d found, please provide "
> > > > +                         "distance map.", i);
> > > > +            exit(EXIT_FAILURE);
> > > > +        }
> > > > +    }
> > > > +}
> > > > +
> > > >  void parse_numa_opts(MachineState *ms)
> > > >  {
> > > >      qemu_opts_foreach(qemu_find_opts("numa"), parse_numa, ms, &error_fatal);
> > > > diff --git a/include/sysemu/numa.h b/include/sysemu/numa.h
> > > > index 4173ef2afa..80f25ab830 100644
> > > > --- a/include/sysemu/numa.h
> > > > +++ b/include/sysemu/numa.h
> > > > @@ -104,6 +104,7 @@ void parse_numa_hmat_lb(NumaState *numa_state, NumaHmatLBOptions *node,
> > > >  void parse_numa_hmat_cache(MachineState *ms, NumaHmatCacheOptions *node,
> > > >                             Error **errp);
> > > >  void numa_complete_configuration(MachineState *ms);
> > > > +void numa_complete_validation(MachineState *ms);
> > > >  void query_numa_node_mem(NumaNodeMem node_mem[], MachineState *ms);
> > > >  extern QemuOptsList qemu_numa_opts;
> > > >  void numa_cpu_pre_plug(const struct CPUArchId *slot, DeviceState *dev,  
> > >   
> > 
>
Andrew Jones Oct. 13, 2021, 12:28 p.m. UTC | #6
On Wed, Oct 13, 2021 at 02:11:25PM +0200, Andrew Jones wrote:
> On Wed, Oct 13, 2021 at 01:53:46PM +0200, Igor Mammedov wrote:
> > On Wed, 13 Oct 2021 13:35:44 +0200
> > Andrew Jones <drjones@redhat.com> wrote:
> > 
> > > On Wed, Oct 13, 2021 at 01:30:11PM +0200, Igor Mammedov wrote:
> > > > On Wed, 13 Oct 2021 12:58:04 +0800
> > > > Gavin Shan <gshan@redhat.com> wrote:
> > > >   
> > > > > The following option is used to specify the distance map. It's
> > > > > possible the option isn't provided by user. In this case, the
> > > > > distance map isn't populated and exposed to platform. On the
> > > > > other hand, the empty NUMA node, where no memory resides, is
> > > > > allowed on platforms like ARM64 virt. For these empty NUMA
> > > > > nodes, their corresponding device-tree nodes aren't populated,
> > > > > but their NUMA IDs should be included in the "/distance-map"
> > > > > device-tree node, so that kernel can probe them properly if
> > > > > device-tree is used.
> > > > > 
> > > > >   -numa,dist,src=<numa_id>,dst=<numa_id>,val=<distance>
> > > > > 
> > > > > This adds extra check after the machine is initialized, to
> > > > > ask for the distance map from user when empty nodes exist in
> > > > > device-tree.
> > > > > 
> > > > > Signed-off-by: Gavin Shan <gshan@redhat.com>
> > > > > ---
> > > > >  hw/core/machine.c     |  4 ++++
> > > > >  hw/core/numa.c        | 24 ++++++++++++++++++++++++
> > > > >  include/sysemu/numa.h |  1 +
> > > > >  3 files changed, 29 insertions(+)
> > > > > 
> > > > > diff --git a/hw/core/machine.c b/hw/core/machine.c
> > > > > index b8d95eec32..c0765ad973 100644
> > > > > --- a/hw/core/machine.c
> > > > > +++ b/hw/core/machine.c
> > > > > @@ -1355,6 +1355,10 @@ void machine_run_board_init(MachineState *machine)
> > > > >      accel_init_interfaces(ACCEL_GET_CLASS(machine->accelerator));
> > > > >      machine_class->init(machine);
> > > > >      phase_advance(PHASE_MACHINE_INITIALIZED);
> > > > > +
> > > > > +    if (machine->numa_state) {
> > > > > +        numa_complete_validation(machine);
> > > > > +    }
> > > > >  }
> > > > >  
> > > > >  static NotifierList machine_init_done_notifiers =
> > > > > diff --git a/hw/core/numa.c b/hw/core/numa.c
> > > > > index 510d096a88..7404b7dd38 100644
> > > > > --- a/hw/core/numa.c
> > > > > +++ b/hw/core/numa.c
> > > > > @@ -727,6 +727,30 @@ void numa_complete_configuration(MachineState *ms)
> > > > >      }
> > > > >  }
> > > > >  
> > > > > +/*
> > > > > + * When device-tree is used by the machine, the empty node IDs should
> > > > > + * be included in the distance map. So we need provide pairs of distances
> > > > > + * in this case.
> > > > > + */
> > > > > +void numa_complete_validation(MachineState *ms)
> > > > > +{
> > > > > +    NodeInfo *numa_info = ms->numa_state->nodes;
> > > > > +    int nb_numa_nodes = ms->numa_state->num_nodes;
> > > > > +    int i;
> > > > > +
> > > > > +    if (!ms->fdt || ms->numa_state->have_numa_distance) {  
> > > > 
> > > > also skip check/limitation when VM is launched with ACPI enabled?  

On second thought, I guess it's a good idea to not error out when ACPI is
enabled. There's no point in burdening the ACPI user.

> > > 
> > > Even with ACPI enabled we generate a DT and would like that DT to be as
> > > complete as possible. Of course we should generate a SLIT table with
> > 
> > Guest will work just fine without distance map as SRAT describes
> > all numa nodes.
> > You are forcing VM to have SLIT just for the sake of 'completeness'
> > that's practically unused.
> > 
> > I'm still unsure about pushing all of this in generic numa code,
> > as this will be used only by ARM for now. It's better to keep it
> > ARM specific, and when RISCV machine will start using this, it
> > could be moved to generic code.

I think RISCV could start using it now. Linux shares the mem/numa DT
parsing code between Arm and RISCV. If RISCV QEMU wanted to start
exposing NUMA nodes, then they might as well support empty ones from
the start.

> 
> I don't see a problem in providing this DT node / ACPI table to guests
> with empty NUMA nodes. I don't even see a problem with providing the
> distance information unconditionally. Can you explain why we should
> prefer not to provide optional HW descriptions?

I'm still curious why we should be so reluctant to add HW descriptions.
I agree we should be reluctant to error out, though. So, when ACPI is
enabled, let's skip the enforcement of the SLIT table generation, even
if there are empty nodes, as you suggest.

Thanks,
drew

> 
> Thanks,
> drew 
> 
> > 
> > > the distance information the user provides on the command line in order
> > > to satisfy the check, and we will, since we already have that code in
> > > place.
> > 
> > 
> > > 
> > > Thanks,
> > > drew
> > > 
> > > >   
> > > > > +        return;
> > > > > +    }
> > > > > +
> > > > > +    for (i = 0; i < nb_numa_nodes; i++) {
> > > > > +        if (numa_info[i].present && !numa_info[i].node_mem) {
> > > > > +            error_report("Empty node %d found, please provide "
> > > > > +                         "distance map.", i);
> > > > > +            exit(EXIT_FAILURE);
> > > > > +        }
> > > > > +    }
> > > > > +}
> > > > > +
> > > > >  void parse_numa_opts(MachineState *ms)
> > > > >  {
> > > > >      qemu_opts_foreach(qemu_find_opts("numa"), parse_numa, ms, &error_fatal);
> > > > > diff --git a/include/sysemu/numa.h b/include/sysemu/numa.h
> > > > > index 4173ef2afa..80f25ab830 100644
> > > > > --- a/include/sysemu/numa.h
> > > > > +++ b/include/sysemu/numa.h
> > > > > @@ -104,6 +104,7 @@ void parse_numa_hmat_lb(NumaState *numa_state, NumaHmatLBOptions *node,
> > > > >  void parse_numa_hmat_cache(MachineState *ms, NumaHmatCacheOptions *node,
> > > > >                             Error **errp);
> > > > >  void numa_complete_configuration(MachineState *ms);
> > > > > +void numa_complete_validation(MachineState *ms);
> > > > >  void query_numa_node_mem(NumaNodeMem node_mem[], MachineState *ms);
> > > > >  extern QemuOptsList qemu_numa_opts;
> > > > >  void numa_cpu_pre_plug(const struct CPUArchId *slot, DeviceState *dev,  
> > > >   
> > > 
> >
Igor Mammedov Oct. 14, 2021, 3:14 p.m. UTC | #7
On Wed, 13 Oct 2021 14:28:40 +0200
Andrew Jones <drjones@redhat.com> wrote:

> On Wed, Oct 13, 2021 at 02:11:25PM +0200, Andrew Jones wrote:
> > On Wed, Oct 13, 2021 at 01:53:46PM +0200, Igor Mammedov wrote:  
> > > On Wed, 13 Oct 2021 13:35:44 +0200
> > > Andrew Jones <drjones@redhat.com> wrote:
> > >   
> > > > On Wed, Oct 13, 2021 at 01:30:11PM +0200, Igor Mammedov wrote:  
> > > > > On Wed, 13 Oct 2021 12:58:04 +0800
> > > > > Gavin Shan <gshan@redhat.com> wrote:
> > > > >     
> > > > > > The following option is used to specify the distance map. It's
> > > > > > possible the option isn't provided by user. In this case, the
> > > > > > distance map isn't populated and exposed to platform. On the
> > > > > > other hand, the empty NUMA node, where no memory resides, is
> > > > > > allowed on platforms like ARM64 virt. For these empty NUMA
> > > > > > nodes, their corresponding device-tree nodes aren't populated,
> > > > > > but their NUMA IDs should be included in the "/distance-map"
> > > > > > device-tree node, so that kernel can probe them properly if
> > > > > > device-tree is used.
> > > > > > 
> > > > > >   -numa,dist,src=<numa_id>,dst=<numa_id>,val=<distance>
> > > > > > 
> > > > > > This adds extra check after the machine is initialized, to
> > > > > > ask for the distance map from user when empty nodes exist in
> > > > > > device-tree.
> > > > > > 
> > > > > > Signed-off-by: Gavin Shan <gshan@redhat.com>
> > > > > > ---
> > > > > >  hw/core/machine.c     |  4 ++++
> > > > > >  hw/core/numa.c        | 24 ++++++++++++++++++++++++
> > > > > >  include/sysemu/numa.h |  1 +
> > > > > >  3 files changed, 29 insertions(+)
> > > > > > 
> > > > > > diff --git a/hw/core/machine.c b/hw/core/machine.c
> > > > > > index b8d95eec32..c0765ad973 100644
> > > > > > --- a/hw/core/machine.c
> > > > > > +++ b/hw/core/machine.c
> > > > > > @@ -1355,6 +1355,10 @@ void machine_run_board_init(MachineState *machine)
> > > > > >      accel_init_interfaces(ACCEL_GET_CLASS(machine->accelerator));
> > > > > >      machine_class->init(machine);
> > > > > >      phase_advance(PHASE_MACHINE_INITIALIZED);
> > > > > > +
> > > > > > +    if (machine->numa_state) {
> > > > > > +        numa_complete_validation(machine);
> > > > > > +    }
> > > > > >  }
> > > > > >  
> > > > > >  static NotifierList machine_init_done_notifiers =
> > > > > > diff --git a/hw/core/numa.c b/hw/core/numa.c
> > > > > > index 510d096a88..7404b7dd38 100644
> > > > > > --- a/hw/core/numa.c
> > > > > > +++ b/hw/core/numa.c
> > > > > > @@ -727,6 +727,30 @@ void numa_complete_configuration(MachineState *ms)
> > > > > >      }
> > > > > >  }
> > > > > >  
> > > > > > +/*
> > > > > > + * When device-tree is used by the machine, the empty node IDs should
> > > > > > + * be included in the distance map. So we need provide pairs of distances
> > > > > > + * in this case.
> > > > > > + */
> > > > > > +void numa_complete_validation(MachineState *ms)
> > > > > > +{
> > > > > > +    NodeInfo *numa_info = ms->numa_state->nodes;
> > > > > > +    int nb_numa_nodes = ms->numa_state->num_nodes;
> > > > > > +    int i;
> > > > > > +
> > > > > > +    if (!ms->fdt || ms->numa_state->have_numa_distance) {    
> > > > > 
> > > > > also skip check/limitation when VM is launched with ACPI enabled?    
> 
> On second thought, I guess it's a good idea to not error out when ACPI is
> enabled. There's no point in burdening the ACPI user.
> 
> > > > 
> > > > Even with ACPI enabled we generate a DT and would like that DT to be as
> > > > complete as possible. Of course we should generate a SLIT table with  
> > > 
> > > Guest will work just fine without distance map as SRAT describes
> > > all numa nodes.
> > > You are forcing VM to have SLIT just for the sake of 'completeness'
> > > that's practically unused.
> > > 
> > > I'm still unsure about pushing all of this in generic numa code,
> > > as this will be used only by ARM for now. It's better to keep it
> > > ARM specific, and when RISCV machine will start using this, it
> > > could be moved to generic code.  
> 
> I think RISCV could start using it now. Linux shares the mem/numa DT
> parsing code between Arm and RISCV. If RISCV QEMU wanted to start
> exposing NUMA nodes, then they might as well support empty ones from
> the start.

When RISCV will start using memory-less nodes, we can move this check to
generic code.
So far 2/2 takes care of ARM only, as result I don't see
a good reason to generalize it now. (CCing RISCV folks to see if
there is any plans to impl. that)
 

> > I don't see a problem in providing this DT node / ACPI table to guests
> > with empty NUMA nodes. I don't even see a problem with providing the
> > distance information unconditionally. Can you explain why we should
> > prefer not to provide optional HW descriptions?  
> 
> I'm still curious why we should be so reluctant to add HW descriptions.
> I agree we should be reluctant to error out, though.

If distance map were the only way to figure out present node-ids,
I wouldn't mind making it non-optional.

However guest can already get node-ids from mem/cpu/pci nodes
with current device-tree that QEMU generates and
forcing optional distance-map (with duplicate info) on user
creates non must-have CLI requirements/inconvenience that
will eventually propagate to higher layers, I'd rather avoid
that if possible.

So question is if an idea of fetching numa-ids from cpu nodes
in addition to memory nodes (which should cover QEMU needs)
have been considered and why it didn't work out?

> So, when ACPI is
> enabled, let's skip the enforcement of the SLIT table generation, even
> if there are empty nodes, as you suggest.
> 
> Thanks,
> drew
> 
> > 
> > Thanks,
> > drew 
> >   
> > >   
> > > > the distance information the user provides on the command line in order
> > > > to satisfy the check, and we will, since we already have that code in
> > > > place.  
> > > 
> > >   
> > > > 
> > > > Thanks,
> > > > drew
> > > >   
> > > > >     
> > > > > > +        return;
> > > > > > +    }
> > > > > > +
> > > > > > +    for (i = 0; i < nb_numa_nodes; i++) {
> > > > > > +        if (numa_info[i].present && !numa_info[i].node_mem) {
> > > > > > +            error_report("Empty node %d found, please provide "
> > > > > > +                         "distance map.", i);
> > > > > > +            exit(EXIT_FAILURE);
> > > > > > +        }
> > > > > > +    }
> > > > > > +}
> > > > > > +
> > > > > >  void parse_numa_opts(MachineState *ms)
> > > > > >  {
> > > > > >      qemu_opts_foreach(qemu_find_opts("numa"), parse_numa, ms, &error_fatal);
> > > > > > diff --git a/include/sysemu/numa.h b/include/sysemu/numa.h
> > > > > > index 4173ef2afa..80f25ab830 100644
> > > > > > --- a/include/sysemu/numa.h
> > > > > > +++ b/include/sysemu/numa.h
> > > > > > @@ -104,6 +104,7 @@ void parse_numa_hmat_lb(NumaState *numa_state, NumaHmatLBOptions *node,
> > > > > >  void parse_numa_hmat_cache(MachineState *ms, NumaHmatCacheOptions *node,
> > > > > >                             Error **errp);
> > > > > >  void numa_complete_configuration(MachineState *ms);
> > > > > > +void numa_complete_validation(MachineState *ms);
> > > > > >  void query_numa_node_mem(NumaNodeMem node_mem[], MachineState *ms);
> > > > > >  extern QemuOptsList qemu_numa_opts;
> > > > > >  void numa_cpu_pre_plug(const struct CPUArchId *slot, DeviceState *dev,    
> > > > >     
> > > >   
> > >   
> 
>
Andrew Jones Oct. 14, 2021, 3:36 p.m. UTC | #8
On Thu, Oct 14, 2021 at 05:14:17PM +0200, Igor Mammedov wrote:
> On Wed, 13 Oct 2021 14:28:40 +0200
> Andrew Jones <drjones@redhat.com> wrote:
> 
> > On Wed, Oct 13, 2021 at 02:11:25PM +0200, Andrew Jones wrote:
> > > On Wed, Oct 13, 2021 at 01:53:46PM +0200, Igor Mammedov wrote:  
> > > > On Wed, 13 Oct 2021 13:35:44 +0200
> > > > Andrew Jones <drjones@redhat.com> wrote:
> > > >   
> > > > > On Wed, Oct 13, 2021 at 01:30:11PM +0200, Igor Mammedov wrote:  
> > > > > > On Wed, 13 Oct 2021 12:58:04 +0800
> > > > > > Gavin Shan <gshan@redhat.com> wrote:
> > > > > >     
> > > > > > > The following option is used to specify the distance map. It's
> > > > > > > possible the option isn't provided by user. In this case, the
> > > > > > > distance map isn't populated and exposed to platform. On the
> > > > > > > other hand, the empty NUMA node, where no memory resides, is
> > > > > > > allowed on platforms like ARM64 virt. For these empty NUMA
> > > > > > > nodes, their corresponding device-tree nodes aren't populated,
> > > > > > > but their NUMA IDs should be included in the "/distance-map"
> > > > > > > device-tree node, so that kernel can probe them properly if
> > > > > > > device-tree is used.
> > > > > > > 
> > > > > > >   -numa,dist,src=<numa_id>,dst=<numa_id>,val=<distance>
> > > > > > > 
> > > > > > > This adds extra check after the machine is initialized, to
> > > > > > > ask for the distance map from user when empty nodes exist in
> > > > > > > device-tree.
> > > > > > > 
> > > > > > > Signed-off-by: Gavin Shan <gshan@redhat.com>
> > > > > > > ---
> > > > > > >  hw/core/machine.c     |  4 ++++
> > > > > > >  hw/core/numa.c        | 24 ++++++++++++++++++++++++
> > > > > > >  include/sysemu/numa.h |  1 +
> > > > > > >  3 files changed, 29 insertions(+)
> > > > > > > 
> > > > > > > diff --git a/hw/core/machine.c b/hw/core/machine.c
> > > > > > > index b8d95eec32..c0765ad973 100644
> > > > > > > --- a/hw/core/machine.c
> > > > > > > +++ b/hw/core/machine.c
> > > > > > > @@ -1355,6 +1355,10 @@ void machine_run_board_init(MachineState *machine)
> > > > > > >      accel_init_interfaces(ACCEL_GET_CLASS(machine->accelerator));
> > > > > > >      machine_class->init(machine);
> > > > > > >      phase_advance(PHASE_MACHINE_INITIALIZED);
> > > > > > > +
> > > > > > > +    if (machine->numa_state) {
> > > > > > > +        numa_complete_validation(machine);
> > > > > > > +    }
> > > > > > >  }
> > > > > > >  
> > > > > > >  static NotifierList machine_init_done_notifiers =
> > > > > > > diff --git a/hw/core/numa.c b/hw/core/numa.c
> > > > > > > index 510d096a88..7404b7dd38 100644
> > > > > > > --- a/hw/core/numa.c
> > > > > > > +++ b/hw/core/numa.c
> > > > > > > @@ -727,6 +727,30 @@ void numa_complete_configuration(MachineState *ms)
> > > > > > >      }
> > > > > > >  }
> > > > > > >  
> > > > > > > +/*
> > > > > > > + * When device-tree is used by the machine, the empty node IDs should
> > > > > > > + * be included in the distance map. So we need provide pairs of distances
> > > > > > > + * in this case.
> > > > > > > + */
> > > > > > > +void numa_complete_validation(MachineState *ms)
> > > > > > > +{
> > > > > > > +    NodeInfo *numa_info = ms->numa_state->nodes;
> > > > > > > +    int nb_numa_nodes = ms->numa_state->num_nodes;
> > > > > > > +    int i;
> > > > > > > +
> > > > > > > +    if (!ms->fdt || ms->numa_state->have_numa_distance) {    
> > > > > > 
> > > > > > also skip check/limitation when VM is launched with ACPI enabled?    
> > 
> > On second thought, I guess it's a good idea to not error out when ACPI is
> > enabled. There's no point in burdening the ACPI user.
> > 
> > > > > 
> > > > > Even with ACPI enabled we generate a DT and would like that DT to be as
> > > > > complete as possible. Of course we should generate a SLIT table with  
> > > > 
> > > > Guest will work just fine without distance map as SRAT describes
> > > > all numa nodes.
> > > > You are forcing VM to have SLIT just for the sake of 'completeness'
> > > > that's practically unused.
> > > > 
> > > > I'm still unsure about pushing all of this in generic numa code,
> > > > as this will be used only by ARM for now. It's better to keep it
> > > > ARM specific, and when RISCV machine will start using this, it
> > > > could be moved to generic code.  
> > 
> > I think RISCV could start using it now. Linux shares the mem/numa DT
> > parsing code between Arm and RISCV. If RISCV QEMU wanted to start
> > exposing NUMA nodes, then they might as well support empty ones from
> > the start.
> 
> When RISCV will start using memory-less nodes, we can move this check to
> generic code.
> So far 2/2 takes care of ARM only, as result I don't see
> a good reason to generalize it now. (CCing RISCV folks to see if
> there is any plans to impl. that)
>  
> 
> > > I don't see a problem in providing this DT node / ACPI table to guests
> > > with empty NUMA nodes. I don't even see a problem with providing the
> > > distance information unconditionally. Can you explain why we should
> > > prefer not to provide optional HW descriptions?  
> > 
> > I'm still curious why we should be so reluctant to add HW descriptions.
> > I agree we should be reluctant to error out, though.
> 
> If distance map were the only way to figure out present node-ids,
> I wouldn't mind making it non-optional.
> 
> However guest can already get node-ids from mem/cpu/pci nodes
> with current device-tree that QEMU generates and
> forcing optional distance-map (with duplicate info) on user
> creates non must-have CLI requirements/inconvenience that
> will eventually propagate to higher layers, I'd rather avoid
> that if possible.
> 
> So question is if an idea of fetching numa-ids from cpu nodes
> in addition to memory nodes (which should cover QEMU needs)
> have been considered and why it didn't work out?

Thinking about it some more. I think we only need patch 2/2 of this
series. We should double check, but if when Linux generates its
default distance-map it already generates a map using the numa-ids
in the cpu nodes of the DT, then I guess the resulting Linux generated
distance-map will be sufficient to represent the empty NUMA nodes and
could be used for DT memory hotplug if Linux ever tried to implement
that.

Gavin, can you check if we can just drop patch 1/2 and then when
booting a DT guest with empty numa nodes we get the distance
map we wanted to enforce anyway?

Thanks,
drew

> 
> > So, when ACPI is
> > enabled, let's skip the enforcement of the SLIT table generation, even
> > if there are empty nodes, as you suggest.
> > 
> > Thanks,
> > drew
> > 
> > > 
> > > Thanks,
> > > drew 
> > >   
> > > >   
> > > > > the distance information the user provides on the command line in order
> > > > > to satisfy the check, and we will, since we already have that code in
> > > > > place.  
> > > > 
> > > >   
> > > > > 
> > > > > Thanks,
> > > > > drew
> > > > >   
> > > > > >     
> > > > > > > +        return;
> > > > > > > +    }
> > > > > > > +
> > > > > > > +    for (i = 0; i < nb_numa_nodes; i++) {
> > > > > > > +        if (numa_info[i].present && !numa_info[i].node_mem) {
> > > > > > > +            error_report("Empty node %d found, please provide "
> > > > > > > +                         "distance map.", i);
> > > > > > > +            exit(EXIT_FAILURE);
> > > > > > > +        }
> > > > > > > +    }
> > > > > > > +}
> > > > > > > +
> > > > > > >  void parse_numa_opts(MachineState *ms)
> > > > > > >  {
> > > > > > >      qemu_opts_foreach(qemu_find_opts("numa"), parse_numa, ms, &error_fatal);
> > > > > > > diff --git a/include/sysemu/numa.h b/include/sysemu/numa.h
> > > > > > > index 4173ef2afa..80f25ab830 100644
> > > > > > > --- a/include/sysemu/numa.h
> > > > > > > +++ b/include/sysemu/numa.h
> > > > > > > @@ -104,6 +104,7 @@ void parse_numa_hmat_lb(NumaState *numa_state, NumaHmatLBOptions *node,
> > > > > > >  void parse_numa_hmat_cache(MachineState *ms, NumaHmatCacheOptions *node,
> > > > > > >                             Error **errp);
> > > > > > >  void numa_complete_configuration(MachineState *ms);
> > > > > > > +void numa_complete_validation(MachineState *ms);
> > > > > > >  void query_numa_node_mem(NumaNodeMem node_mem[], MachineState *ms);
> > > > > > >  extern QemuOptsList qemu_numa_opts;
> > > > > > >  void numa_cpu_pre_plug(const struct CPUArchId *slot, DeviceState *dev,    
> > > > > >     
> > > > >   
> > > >   
> > 
> > 
>
Gavin Shan Oct. 15, 2021, 8:22 a.m. UTC | #9
Hi Drew,

On 10/15/21 2:36 AM, Andrew Jones wrote:
> On Thu, Oct 14, 2021 at 05:14:17PM +0200, Igor Mammedov wrote:
>> On Wed, 13 Oct 2021 14:28:40 +0200
>> Andrew Jones <drjones@redhat.com> wrote:
>>> On Wed, Oct 13, 2021 at 02:11:25PM +0200, Andrew Jones wrote:
>>>> On Wed, Oct 13, 2021 at 01:53:46PM +0200, Igor Mammedov wrote:
>>>>> On Wed, 13 Oct 2021 13:35:44 +0200
>>>>> Andrew Jones <drjones@redhat.com> wrote:  
>>>>>> On Wed, Oct 13, 2021 at 01:30:11PM +0200, Igor Mammedov wrote:
>>>>>>> On Wed, 13 Oct 2021 12:58:04 +0800
>>>>>>> Gavin Shan <gshan@redhat.com> wrote:
>>>>>>>      
>>>>>>>> The following option is used to specify the distance map. It's
>>>>>>>> possible the option isn't provided by user. In this case, the
>>>>>>>> distance map isn't populated and exposed to platform. On the
>>>>>>>> other hand, the empty NUMA node, where no memory resides, is
>>>>>>>> allowed on platforms like ARM64 virt. For these empty NUMA
>>>>>>>> nodes, their corresponding device-tree nodes aren't populated,
>>>>>>>> but their NUMA IDs should be included in the "/distance-map"
>>>>>>>> device-tree node, so that kernel can probe them properly if
>>>>>>>> device-tree is used.
>>>>>>>>
>>>>>>>>    -numa,dist,src=<numa_id>,dst=<numa_id>,val=<distance>
>>>>>>>>
>>>>>>>> This adds extra check after the machine is initialized, to
>>>>>>>> ask for the distance map from user when empty nodes exist in
>>>>>>>> device-tree.
>>>>>>>>
>>>>>>>> Signed-off-by: Gavin Shan <gshan@redhat.com>
>>>>>>>> ---
>>>>>>>>   hw/core/machine.c     |  4 ++++
>>>>>>>>   hw/core/numa.c        | 24 ++++++++++++++++++++++++
>>>>>>>>   include/sysemu/numa.h |  1 +
>>>>>>>>   3 files changed, 29 insertions(+)
>>>>>>>>
>>>>>>>> diff --git a/hw/core/machine.c b/hw/core/machine.c
>>>>>>>> index b8d95eec32..c0765ad973 100644
>>>>>>>> --- a/hw/core/machine.c
>>>>>>>> +++ b/hw/core/machine.c
>>>>>>>> @@ -1355,6 +1355,10 @@ void machine_run_board_init(MachineState *machine)
>>>>>>>>       accel_init_interfaces(ACCEL_GET_CLASS(machine->accelerator));
>>>>>>>>       machine_class->init(machine);
>>>>>>>>       phase_advance(PHASE_MACHINE_INITIALIZED);
>>>>>>>> +
>>>>>>>> +    if (machine->numa_state) {
>>>>>>>> +        numa_complete_validation(machine);
>>>>>>>> +    }
>>>>>>>>   }
>>>>>>>>   
>>>>>>>>   static NotifierList machine_init_done_notifiers =
>>>>>>>> diff --git a/hw/core/numa.c b/hw/core/numa.c
>>>>>>>> index 510d096a88..7404b7dd38 100644
>>>>>>>> --- a/hw/core/numa.c
>>>>>>>> +++ b/hw/core/numa.c
>>>>>>>> @@ -727,6 +727,30 @@ void numa_complete_configuration(MachineState *ms)
>>>>>>>>       }
>>>>>>>>   }
>>>>>>>>   
>>>>>>>> +/*
>>>>>>>> + * When device-tree is used by the machine, the empty node IDs should
>>>>>>>> + * be included in the distance map. So we need provide pairs of distances
>>>>>>>> + * in this case.
>>>>>>>> + */
>>>>>>>> +void numa_complete_validation(MachineState *ms)
>>>>>>>> +{
>>>>>>>> +    NodeInfo *numa_info = ms->numa_state->nodes;
>>>>>>>> +    int nb_numa_nodes = ms->numa_state->num_nodes;
>>>>>>>> +    int i;
>>>>>>>> +
>>>>>>>> +    if (!ms->fdt || ms->numa_state->have_numa_distance) {
>>>>>>>
>>>>>>> also skip check/limitation when VM is launched with ACPI enabled?
>>>
>>> On second thought, I guess it's a good idea to not error out when ACPI is
>>> enabled. There's no point in burdening the ACPI user.
>>>

Yup, for platform like hw/arm/virt, the device-tree and ACPI table are
used at same time can't bypass the check/limitation. Instead, x86 won't be
affected as device-tree isn't used there.

>>>>>>
>>>>>> Even with ACPI enabled we generate a DT and would like that DT to be as
>>>>>> complete as possible. Of course we should generate a SLIT table with
>>>>>
>>>>> Guest will work just fine without distance map as SRAT describes
>>>>> all numa nodes.
>>>>> You are forcing VM to have SLIT just for the sake of 'completeness'
>>>>> that's practically unused.
>>>>>
>>>>> I'm still unsure about pushing all of this in generic numa code,
>>>>> as this will be used only by ARM for now. It's better to keep it
>>>>> ARM specific, and when RISCV machine will start using this, it
>>>>> could be moved to generic code.
>>>
>>> I think RISCV could start using it now. Linux shares the mem/numa DT
>>> parsing code between Arm and RISCV. If RISCV QEMU wanted to start
>>> exposing NUMA nodes, then they might as well support empty ones from
>>> the start.
>>
>> When RISCV will start using memory-less nodes, we can move this check to
>> generic code.
>> So far 2/2 takes care of ARM only, as result I don't see
>> a good reason to generalize it now. (CCing RISCV folks to see if
>> there is any plans to impl. that)
>>
>>>> I don't see a problem in providing this DT node / ACPI table to guests
>>>> with empty NUMA nodes. I don't even see a problem with providing the
>>>> distance information unconditionally. Can you explain why we should
>>>> prefer not to provide optional HW descriptions?
>>>
>>> I'm still curious why we should be so reluctant to add HW descriptions.
>>> I agree we should be reluctant to error out, though.
>>
>> If distance map were the only way to figure out present node-ids,
>> I wouldn't mind making it non-optional.
>>
>> However guest can already get node-ids from mem/cpu/pci nodes
>> with current device-tree that QEMU generates and
>> forcing optional distance-map (with duplicate info) on user
>> creates non must-have CLI requirements/inconvenience that
>> will eventually propagate to higher layers, I'd rather avoid
>> that if possible.
>>
>> So question is if an idea of fetching numa-ids from cpu nodes
>> in addition to memory nodes (which should cover QEMU needs)
>> have been considered and why it didn't work out?
> 
> Thinking about it some more. I think we only need patch 2/2 of this
> series. We should double check, but if when Linux generates its
> default distance-map it already generates a map using the numa-ids
> in the cpu nodes of the DT, then I guess the resulting Linux generated
> distance-map will be sufficient to represent the empty NUMA nodes and
> could be used for DT memory hotplug if Linux ever tried to implement
> that.
> 
> Gavin, can you check if we can just drop patch 1/2 and then when
> booting a DT guest with empty numa nodes we get the distance
> map we wanted to enforce anyway?
> 

It's possible that the empty NUMA nodes aren't referred by any CPUs,
as the following command line indicate. In this case, the empty NUMA
node IDs aren't existing in device-tree CPU nodes. So we still need
the distance-map.

In the following example, The empty NUMA node #2 and #3 aren't
referred by any CPUs. So their NUMA node IDs won't be included
to device-tree CPU nodes.

    /home/gavin/sandbox/qemu.main/build/qemu-system-aarch64 \
    -accel kvm -machine virt,gic-version=host               \
    -cpu host -smp 4,sockets=2,cores=2,threads=1            \
    -m 1024M,slots=16,maxmem=64G                            \
    -object memory-backend-ram,id=mem0,size=512M            \
    -object memory-backend-ram,id=mem1,size=512M            \
    -numa node,nodeid=0,cpus=0-1,memdev=mem0                \
    -numa node,nodeid=1,cpus=2-3,memdev=mem1                \
    -numa node,nodeid=2                                     \
    -numa node,nodeid=3
      :

However, I would like to drop this (PATCH[01/02]) in v4. The memory
hotplug through device-tree on ARM64 isn't existing. We might have
alternative ways to present the empty NUMA nodes when it's supported,
or we needn't it for ever because ACPI is enough to support the
memory hotplug.

Thanks,
Gavin

  
>>>>>>>      
>>>>>>>> +        return;
>>>>>>>> +    }
>>>>>>>> +
>>>>>>>> +    for (i = 0; i < nb_numa_nodes; i++) {
>>>>>>>> +        if (numa_info[i].present && !numa_info[i].node_mem) {
>>>>>>>> +            error_report("Empty node %d found, please provide "
>>>>>>>> +                         "distance map.", i);
>>>>>>>> +            exit(EXIT_FAILURE);
>>>>>>>> +        }
>>>>>>>> +    }
>>>>>>>> +}
>>>>>>>> +
>>>>>>>>   void parse_numa_opts(MachineState *ms)
>>>>>>>>   {
>>>>>>>>       qemu_opts_foreach(qemu_find_opts("numa"), parse_numa, ms, &error_fatal);
>>>>>>>> diff --git a/include/sysemu/numa.h b/include/sysemu/numa.h
>>>>>>>> index 4173ef2afa..80f25ab830 100644
>>>>>>>> --- a/include/sysemu/numa.h
>>>>>>>> +++ b/include/sysemu/numa.h
>>>>>>>> @@ -104,6 +104,7 @@ void parse_numa_hmat_lb(NumaState *numa_state, NumaHmatLBOptions *node,
>>>>>>>>   void parse_numa_hmat_cache(MachineState *ms, NumaHmatCacheOptions *node,
>>>>>>>>                              Error **errp);
>>>>>>>>   void numa_complete_configuration(MachineState *ms);
>>>>>>>> +void numa_complete_validation(MachineState *ms);
>>>>>>>>   void query_numa_node_mem(NumaNodeMem node_mem[], MachineState *ms);
>>>>>>>>   extern QemuOptsList qemu_numa_opts;
>>>>>>>>   void numa_cpu_pre_plug(const struct CPUArchId *slot, DeviceState *dev,
>>>>>>>      
>>>>>>    
>>>>>    
>>>
>>>
>>
>
Andrew Jones Oct. 15, 2021, 8:33 a.m. UTC | #10
On Fri, Oct 15, 2021 at 07:22:05PM +1100, Gavin Shan wrote:
> It's possible that the empty NUMA nodes aren't referred by any CPUs,
> as the following command line indicate. In this case, the empty NUMA
> node IDs aren't existing in device-tree CPU nodes. So we still need
> the distance-map.

Ah, indeed.

> 
> However, I would like to drop this (PATCH[01/02]) in v4. The memory
> hotplug through device-tree on ARM64 isn't existing. We might have
> alternative ways to present the empty NUMA nodes when it's supported,
> or we needn't it for ever because ACPI is enough to support the
> memory hotplug.

Agreed. Please update the commit message of 2/2 for v4 and also add
a comment above the new code with the rationale for dropping those
memory nodes.

Thanks,
drew
Gavin Shan Oct. 15, 2021, 10:51 a.m. UTC | #11
Hi Drew,

On 10/15/21 7:33 PM, Andrew Jones wrote:
> On Fri, Oct 15, 2021 at 07:22:05PM +1100, Gavin Shan wrote:
>> It's possible that the empty NUMA nodes aren't referred by any CPUs,
>> as the following command line indicate. In this case, the empty NUMA
>> node IDs aren't existing in device-tree CPU nodes. So we still need
>> the distance-map.
> 
> Ah, indeed.
> 
>>
>> However, I would like to drop this (PATCH[01/02]) in v4. The memory
>> hotplug through device-tree on ARM64 isn't existing. We might have
>> alternative ways to present the empty NUMA nodes when it's supported,
>> or we needn't it for ever because ACPI is enough to support the
>> memory hotplug.
> 
> Agreed. Please update the commit message of 2/2 for v4 and also add
> a comment above the new code with the rationale for dropping those
> memory nodes.
> 

v4 was posted for review. Your r-b tag was dropped as the additional
comments are added. Please take a look on v4 and sorry for having
taken so much time from you :)

Thanks,
Gavin
diff mbox series

Patch

diff --git a/hw/core/machine.c b/hw/core/machine.c
index b8d95eec32..c0765ad973 100644
--- a/hw/core/machine.c
+++ b/hw/core/machine.c
@@ -1355,6 +1355,10 @@  void machine_run_board_init(MachineState *machine)
     accel_init_interfaces(ACCEL_GET_CLASS(machine->accelerator));
     machine_class->init(machine);
     phase_advance(PHASE_MACHINE_INITIALIZED);
+
+    if (machine->numa_state) {
+        numa_complete_validation(machine);
+    }
 }
 
 static NotifierList machine_init_done_notifiers =
diff --git a/hw/core/numa.c b/hw/core/numa.c
index 510d096a88..7404b7dd38 100644
--- a/hw/core/numa.c
+++ b/hw/core/numa.c
@@ -727,6 +727,30 @@  void numa_complete_configuration(MachineState *ms)
     }
 }
 
+/*
+ * When device-tree is used by the machine, the empty node IDs should
+ * be included in the distance map. So we need provide pairs of distances
+ * in this case.
+ */
+void numa_complete_validation(MachineState *ms)
+{
+    NodeInfo *numa_info = ms->numa_state->nodes;
+    int nb_numa_nodes = ms->numa_state->num_nodes;
+    int i;
+
+    if (!ms->fdt || ms->numa_state->have_numa_distance) {
+        return;
+    }
+
+    for (i = 0; i < nb_numa_nodes; i++) {
+        if (numa_info[i].present && !numa_info[i].node_mem) {
+            error_report("Empty node %d found, please provide "
+                         "distance map.", i);
+            exit(EXIT_FAILURE);
+        }
+    }
+}
+
 void parse_numa_opts(MachineState *ms)
 {
     qemu_opts_foreach(qemu_find_opts("numa"), parse_numa, ms, &error_fatal);
diff --git a/include/sysemu/numa.h b/include/sysemu/numa.h
index 4173ef2afa..80f25ab830 100644
--- a/include/sysemu/numa.h
+++ b/include/sysemu/numa.h
@@ -104,6 +104,7 @@  void parse_numa_hmat_lb(NumaState *numa_state, NumaHmatLBOptions *node,
 void parse_numa_hmat_cache(MachineState *ms, NumaHmatCacheOptions *node,
                            Error **errp);
 void numa_complete_configuration(MachineState *ms);
+void numa_complete_validation(MachineState *ms);
 void query_numa_node_mem(NumaNodeMem node_mem[], MachineState *ms);
 extern QemuOptsList qemu_numa_opts;
 void numa_cpu_pre_plug(const struct CPUArchId *slot, DeviceState *dev,