Register Causality check #3

Open
opened 2 years ago by Jean-François Nguyen · 0 comments
Collaborator

Register Causality check

Description

Check that causal consistency is preserved across register accesses. An instruction that writes to a register must retire before any later instruction (relative to program order) that reads it.

Scope

  • GPRs
  • CR
  • SPRs (LR,CTR,TAR,XER)
Register Causality check ======================== Description ----------- Check that causal consistency is preserved across register accesses. An instruction that writes to a register must retire before any later instruction (relative to program order) that reads it. Scope ----- - GPRs - CR - SPRs (LR,CTR,TAR,XER)
Sign in to join this conversation.
No Label
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: cores/power-fv#3
Loading…
There is no content yet.