search

riscv / riscv-profiles

RISC-V Architecture Profiles
Creative Commons Attribution 4.0 International
119 stars 33 forks source link

What does forward progress on LR/SC sequences refer to？ #177

Closed Mashiro96 closed 4 months ago

Mashiro96 commented 4 months ago

ISA Extensions： Ziccrse: Main memory supports forward progress on LR/SC sequences

What does forward progress on LR/SC sequences refer to？

pdonahue-ventana commented 4 months ago

This presumably refers to the RsrvEventual PMA attribute but it would be clearer if it used that standard PMA terminology.

aswaterman commented 4 months ago

The definition of Ziccrse is expressed in terms of RsrvEventual: "Main memory regions with both the cacheability and coherence PMAs must support RsrvEventual."

The snippet that OP quoted is from the Glossary, which by design uses informal descriptions rather than repeating the full definition of every extension. (For example, it would obviously be impractical to repeat the full definition of the V extension in the glossary entry.) So I think this is OK as-is.