diff options
| author | Andrew Waterman <andrew@sifive.com> | 2017-03-18 20:17:23 -0700 |
|---|---|---|
| committer | Andrew Waterman <andrew@sifive.com> | 2017-03-18 20:18:06 -0700 |
| commit | e7ea775d436ce507eeebaf1aeed8670433704c15 (patch) | |
| tree | b5d59351186ee6fb07844f99b715ee1bd2385f73 | |
| parent | f2ed45b1791bb602657adc2ea9ab5fc409c62542 (diff) | |
| download | riscv-isa-manual-e7ea775d436ce507eeebaf1aeed8670433704c15.zip riscv-isa-manual-e7ea775d436ce507eeebaf1aeed8670433704c15.tar.gz riscv-isa-manual-e7ea775d436ce507eeebaf1aeed8670433704c15.tar.bz2 | |
Software shouldn't use misaligned accesses on non-idempotent regions
| -rw-r--r-- | src/machine.tex | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/machine.tex b/src/machine.tex index f272b2b..650b139 100644 --- a/src/machine.tex +++ b/src/machine.tex @@ -2195,6 +2195,13 @@ also necessary to ensure software or compiler optimizations do not generate spurious accesses to non-idempotent memory regions. \end{commentary} +\begin{commentary} +Non-idempotent regions might not support misaligned accesses, in which case +software might emulate misaligned accesses as a sequence of aligned accesses, +each possibly causing side effects. Therefore, portable software should not +issue misaligned accesses to non-idempotent regions. +\end{commentary} + \section{Physical Memory Protection} \label{sec:pmp} |