On Fri 18 Aug 2023 at 10:58, Krzysztof Kozlowski <krzysztof.kozlowski@xxxxxxxxxx> wrote: > On 17/08/2023 23:53, Kevin Hilman wrote: >> Krzysztof Kozlowski <krzysztof.kozlowski@xxxxxxxxxx> writes: >> >>> On 10/08/2023 19:15, Kevin Hilman wrote: >>>> DT maintainers, >>>> >>>> Alexander Stein <alexander.stein@xxxxxxxxxxx> writes: >>>> >>>>> Binding specify order of clocks as: >>>>> 1. "sclk" >>>>> 2. "lrclk" >>>>> 3. "mclk" >>>>> Adjust clocks accordingly. Fixes warnings: >>>> >>>> I understand this patch is to fix DT warnings (and thank you Alexander >>>> for fixing warnings!) ... *but* the underlying requirement being >>>> enforced by the schema here seems completely wrong to me, and a step >>>> backwards. >>>> >>>> Sorry if this is a FAQ someplace, but I couldn't find an explanation for >>>> this. One of the main goals of introducing names in the first place was >>>> to get rid of ordering requirements. >>> >>> Not entirely. The names was just a helper for cases when order is not >>> fixed, >> >> Exactly, "when order is not fixed." This is the case for lots of >> hardware today (not just clocks), and is precisely what we need to >> describe multiple, optional and independent (unordered) clocks. > > Minority of bindings require relaxed order, literally I remember just few. > *require* is the keyword here. Yes, a minority of interfaces can't be described as ordered, mostly because they have more than 1 optional ressource. Still the majority out there uses names and have little care for the order (or IDs). They are only describe has ordered because that is the simple way to do it with 'schema' >> >>> but even with the names for every regular case the order was >>> always strict. We always expect these to be ordered. >> >> I'm not sure who the "we" is you're referring to, but this expectation > > DT maintainers. Previously only Rob, now "we". AFAIK, kernel maintainers enforces the rule of the linux kernel. These rules are part of the kernel itself, so they can be discussed and clarified if needed, like checkpatch.pl or the code of conduct. It does not seems to be the case here and, maybe, it is partly the problem. > >> is new to me, and honestly a bit surprising. Before DT schema, driver & >> DT writers could happily describe their hardware using names for >> optional and unordered resources. > > You talk only about Linux and not even all of its drivers (because > several took by IDs), what about all other users of bindings? Do those drivers which take IDs specify the 'clock-names' as a required property ? If that's the case, shouldn't we question that ? What is the point of having a required property if it is purely decorative ? The property 'clock-names' is required with bindings discussed here. I assume that if an interface describes a required property, users of the interface will have to pay attention to it No one is questionning that the order is strict if "-names' is not part of interface or optionnal (that last one would be weird) > >> >>>> Now the DT schema is enforcing >>>> ordering requirements, but the drivers don't need ordering, so what is >>>> the point of enforcing ordering requirements? >>> >>> Because names are not everything. One OS implementation might still >>> take by indices, even if names are provided, so you cannot change the >>> order. >> >> Wait, isn't this an "OS-ism" imposing requirements on the DT that are >> not at all about describing hardware? >> >> Strictly ordering resources in DT that are completely independent (and >> unordered!) in hardware seems to be a big step away from the general >> guidance of "describe the hardware, not OS-isms". > > Bindings do not describe hardware (although this is usually what I write > in emails to simplify the discussion), but the interface between various > implementations and representation of hardware (DTS). > >> >> And so far, we've only been talking about clocks, but the ordering >> implications here apply to resets, pinctrl, regulators and probably >> others as well. All of these subsystems today have some way to describe >> unordered & independent resources using names. Yet, what you are >> implying here applies to all of these subsystems: even where names are >> used, these resources must be strictly ordered in DT. > > Yes, we expect them since long time as strictly ordered, unless > exception is needed - which is then encoded in the bindings. Every email > from Rob since some years was saying this, recent my talks and my emails. > >> From my >> perspective, this is a new requirement. Do you have any pointers to >> where this was discussed & decided? Admittedly, I do not follow DT >> schema developments closely, but new requirements like this have >> implications that I hope were discussed publically. > > I don't have resources, except that I recall vaguely that Rob said > original ePAPR or PowerPC was requiring it. > >> >>> Few bindings allow relaxed approach here, but these are written that way >>> to allow mixing order. >> >> Right, "mixing order" is another way of saying unordered, which is an >> accurate description of lots of hardware out there. >> >>> For few other bindings (e.g. newer Qualcomm clock controllers) we just >>> dropped the names entirely, because they bring little value and also >>> code for lookup by name is slower than by index. >> >> I can see that names might bring little value if there aren't >> independent optional clocks. I can also see that making that choice for >> perf reasons being a design choice, but that also a case of an OS design >> choice impacting the DT, and not really about describing the hardware. >> >> IMO, this design should be a choice of the driver writer who is most >> likely to best understand the hardware. Being forced into that strict >> ordering requirement by DT schema when that is not an accurate >> description of the hardware seems to be enforcing the wrong thing for >> the wrong reasons. > > No one enforces strict order when the hardware is not like this. I wrote > it before in the quote above and again in this email. Which HW is actually 'like this', ordered among ressources ? In every schematics and datasheets I have, things get named. Order is not even a topic. Most 'schema' have been described like this because it is easy and natural to just list your ressources. I did not realize when schema was introduced that order mattered. I'm pretty sure I'm not alone there. > >> >> Now that I've ranted a bit, maybe our time would be better spent if we >> get practical and discuss a concrete example. This other thread[1] has >> a specific example, and ends with a specific question from Jerome about >> how one should actually model a specific piece of hardware with current >> DT schema. > > The same as other cases. I cannot find examples, because there are > really just few real world cases like this. Maybe > qcom,sc7280-lpass-rx-macro. > Ok, I'll go with 'oneOf'. We'll see how it goes > But remember - people confuse clock which is not strictly required. E.g. > if UFS is not yet implemented, we can skip UFS-clock parent in some > clock-controller because UFS driver does not exist thus we do not care > about proper parenting and frequency of UFS. > > Now, that UFS clock is not optional. It must be there for proper > representation of hardware. We only allow to skip it if OS drivers are > half-developed. > > > Best regards, > Krzysztof
