[Libre-soc-isa] [Bug 1056] questions and feedback (v2) on OPF RFC ls010
bugzilla-daemon at libre-soc.org
bugzilla-daemon at libre-soc.org
Mon May 29 13:52:06 BST 2023
https://bugs.libre-soc.org/show_bug.cgi?id=1056
--- Comment #21 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(In reply to Paul Mackerras from comment #8)
> Saying "Simple-V has been carefully designed" sounds self-congratulatory.
mmm... ah, i know why it seems that way. the entire writing style
of the spec is "third person impersonal". even hinting of the
*existence* of a person or persons who put thought into the wording
is anomalous.
a style guide document is very important here.
> I
> think you're just saying that all of the state needed to resume a sequence
> of iterations after an interruption at any point is available in the SVSTATE
> SPR. Is there more to it than that?
aside from REMAP, no there isn't! (it's taken literally years to think
that through).
> You say "and the four REMAP SPRs if in use at the time". How is an interrupt
> handler to know whether the REMAP SPRs are in use?
>
> Saying "Whilst this initially sounds unsafe ..."
interesting. turning uncertainty into certainty. again another one for
the style guide.
> assumes a certain ignorance
> on the part of the reader which may not be justified.
again it breaks the "third person impersonal" paradigm/style. fascinating.
> A Programming Note
> that says something along the lines of "Interrupt handlers and function
> prologs should generally avoid using SVP64 instructions until after Simple-V
> architected state has been saved to memory", with the possible addition of
> "just as they avoid using Floating-Point, Vector or VSX instructions until
> after the associated state has been saved to memory".
which is direct, clear, and most importantly *entirely third person*.
> Saying "which is very rare for Vector ISAs" is at risk of becoming dated,
> and doesn't help our understanding of Simple-V itself.
again it's an "observation" which in turn is an "opinion" which implies
"a person" which is not third-person-impersonal. i am spotting the
general theme here at last (hooray).
--
You are receiving this mail because:
You are on the CC list for the bug.
More information about the Libre-SOC-ISA
mailing list