On Wed, Nov 07, 2018 at 04:31:34AM +0200, Nick Kossifidis wrote:
[...]
Mark and Sudeep thanks a lot for your feedback, I guess you convinced me
that having a device tree binding for the scheduler is not a correct
approach.
Thanks :)
It's not a device after all and I agree that the device tree shouldn't
become an OS configuration file. Regarding multiple levels of shared
resources my point is that since cpu-map doesn't contain any information of
what is shared among the cluster/core members it's not easy to do any
further translation. Last time I checked the arm code that uses cpu-map, it
only defines one domain for SMT, one for MC and then everything else is
ignored. No matter how many clusters have been defined, anything above the
core level is the same (and then I guess you started talking about adding
"packages" on the representation side).
Correct.
The reason I proposed to have a binding for the scheduler directly is not
only because it's simpler and closer to what really happens in the code, it
also makes more sense to me than the combination of cpu-map with all the
related mappings e.g. for numa or caches or power domains etc.
Again you are just looking at it with Linux kernel perspective.
However you are right we could definitely augment cpu-map to include support
for what I'm saying and clean things up, and since you are open about
improving it here is a proposal that I hope you find interesting: At first
let's get rid of the <thread> nodes, they don't make sense:
thread0 {
cpu = <&CPU0>;
};
Do you have any strong reasons to do so ?
Since it's already there for some time, I believe we can't remove it for
backward compatibility reasons.
A thread node can't have more than one cpu entry and any properties
should be on the cpu node itself, so it doesn't / can't add any
more information. We could just have an array of cpu nodes on the
<core> node, it's much cleaner this way.
core0 {
members = <&CPU0>, <&CPU1>;
};
I agree, but we have kernel code using it(arm64/kernel/topology.c). It's
too late to remove it. But we can always keep to optional if we move the
ARM64 binding as generic to start with and mandate it for only ARM64.
Then let's allow the cluster and core nodes to accept attributes that are
common for the cpus they contain. Right now this is considered invalid.
Yes, we have discussed in the past and decided not to. I am fine if we
need to change it, but assuming the topology implies other information
could be wrong. On ARM platforms we have learnt it, so we kept any
information away from topology. I assume same with RISC-V, different
vendors implement in different ways, so it's better to consider those
factors.
For power domains we have a generic binding described on
Documentation/devicetree/bindings/power/power_domain.txt
which basically says that we need to put power-domains = <power domain
specifiers> attribute on each of the cpu nodes.
OK, but what's wrong with that. I gives full flexibility.
The same happens with the capacity binding specified for arm on
Documentation/devicetree/bindings/arm/cpu-capacity.txt
which says we should add the capacity-dmips-mhz on each of the cpu nodes.
Ditto, we may need this for our single cluster DSU systems.
The same also happens with the generic numa binding on
Documentation/devicetree/bindings/numa.txt
which says we should add the nuna-node-id on each of the cpu nodes.
Yes, but again what's the problem ?
We could allow for these attributes to exist on cluster and core nodes
as well so that we can represent their properties better. It shouldn't
be a big deal and it can be done in a backwards-compatible way (if we
don't find them on the cpu node, climb up the topology hierarchy until
we find them / not find them at all). All I'm saying is that I prefer this:
[...]
cluster0 {
cluster0 {
core0 {
power-domains = <&pdc 0>;
numa-node-id = <0>;
capacity-dmips-mhz = <578>;
members = <&cpu0>, <&cpu1>;
}
};
cluster1 {
capacity-dmips-mhz = <1024>;
core0 {
power-domains = <&pdc 1>;
numa-node-id = <1>;
members = <&cpu2>;
};
core1 {
power-domains = <&pdc 2>;
numa-node-id = <2>;
members = <&cpu3>;
};
};
}
Why are you so keen on optimising the representation ?
If you are worried about large systems, generate one instead of
handcrafted.
When it comes to shared resources, the standard dt mappings we have are for
caches and are on the device spec standard (coming from power pc's ePAPR
standard I think). The below comes from HiFive unleashed's device tree
(U540Config.dts) that follows the spec:
I don't understand what you are trying to explain, ePAPR does specify
per CPU entries.
[...]
Note that the cache-controller node that's common between the 4 cores can
exist anywhere BUT the cluster node ! However it's a property of the
cluster.
A quick search through the tree got me r8a77980.dtsi that defines the cache
on the cpus node and I'm sure there are other similar cases. Wouldn't this
be better ?
cluster0 {
core0 {
cache-controller@2010000 {
cache-block-size = <64>;
cache-level = <2>;
cache-sets = <2048>;
cache-size = <2097152>;
cache-unified;
compatible = "sifive,ccache0", "cache";
...
};
members = <&cpu0>, <&cpu1>, <&cpu2>, <&cpu3>;
Not a good idea IMO.
We could even remove next-level-cache from the cpu nodes and infer it from
the topology (search the topology upwards until we get a node that's
"cache"-compatible), we can again make this backwards-compatible.
Why are you assuming that they *have* to be so aligned with topology ?
How do you deal with different kind of systems ?
Finally from the examples above I'd like to stress out that the distinction
between a cluster and a core doesn't make much sense and it also makes the
representation more complicated. To begin with, how would you call the setup
on HiFive Unleashed ? A cluster of 4 cores that share the same L3 cache ?
One core with 4 harts that share the same L3 cache ? We could represent it
like this instead:
Just represent each physical cache and get the list of CPUs sharing it.
Doesn't matter what it is: cluster or cluster of clusters or cluster of
harts, blah, blah. It really doesn't matter.
We could e.g. keep only cluster nodes and allow them to contain either an
array of harts or other cluster sub-nodes + optionally a set of attributes,
common to the members/sub-nodes of the cluster. This way we'll get in the
first example:
All these fancy new ideas you are proposing are good if vendors follow
some things religiously, but I really doubt if that's true. So just
have maximum flexibility so that we can represent maximum number of
systems without having to redefine the bindings again and again for the
same thing.
So instead of finding ways to optimise, you should really come up with
list of shortcomings in the existing bindings so that we cover more
platforms with generic bindings. IMO you are too concerned on optimisation
of DT representation which may defeat the purpose of generic bindings.