Constrained LR/SC Loops: prohibit CBO.CLEAN

riscv / riscv-CMOs

https://jira.riscv.org/browse/RVG-59

Creative Commons Attribution 4.0 International

77 stars 12 forks source link

Constrained LR/SC Loops: prohibit CBO.CLEAN #32

Closed ingallsj closed 2 years ago

ingallsj commented 2 years ago

Type of change: Software constraint.

Explanation: It seems safer and easier to just prohibit CBO.CLEAN as well to an address covered by the LR/SC reservation, rather than think through all the corner cases and chicken modes that would need to be handled if it were allowed.

dkruckemyer-ventana commented 2 years ago

Yeah, I like this, since this matches with implementing CBO.CLEAN as CBO.FLUSH.

dkruckemyer-ventana commented 2 years ago

Incorporated the intent of this pull request (hopefully...) into the draft spec #34