diff options
| -rw-r--r-- | src/counters.tex | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/counters.tex b/src/counters.tex index 7425a49..48f8bda 100644 --- a/src/counters.tex +++ b/src/counters.tex @@ -149,7 +149,14 @@ should be evaluated relative to the requirements of the platform. \end{commentary} The real-time clocks of all harts in a single user application -should be synchronized to within one tick of the real-time clock. +must be synchronized to within one tick of the real-time clock. + +\begin{commentary} +As with other architectural mandates, it suffices to appear ``as if'' +harts are synchronized to within one tick of the real-time clock, +i.e., software is unable to observe that there is a greater delta +between the real-time clock values observed on two harts. +\end{commentary} The RDINSTRET pseudoinstruction reads the low XLEN bits of the {\tt instret} CSR, which counts the number of instructions retired by |