[Libre-soc-isa] [Bug 1046] questions and re-submission of ls001 (SVP64 concept) PO9 Allocation proposal (as ls001.po9)

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Wed May 31 04:23:07 BST 2023


--- Comment #8 from Paul Mackerras <paulus at ozlabs.org> ---
My comments on ls001.p09:

Regarding the definitions, it seems to me that definitions at this level of
detail belong in the new Simple-V chapter rather than chapter 1.

The rest of the material seems to be about 70% admonishment to future
architects and 30% information for present users and implementers. The 30% is
useful, but in my opinion the 70% is not appropriate for the ISA, whose primary
function is to define what the architecture currently is.

In particular, the use of terms like "prohibited" (concerning possible future
modifications to the ISA) and the phrase "nor may they be revoked rescinded
removed or recalled" are quite inappropriate for the ISA. If nothing else, they
are a claim to having wisdom greater than any future architect will ever have,
which is just presumptuous.

Another way to look at it is that the ISA is like a contract between
programmers and implementers. It is quite inappropriate (not to mention
ineffective) for a contract to try to say that the parties to the contract may
not ever reach a different agreement between themselves.

You are receiving this mail because:
You are on the CC list for the bug.

More information about the Libre-SOC-ISA mailing list