aboutsummaryrefslogtreecommitdiff
path: root/src/intro.tex
diff options
context:
space:
mode:
authorKrste Asanovic <krste@eecs.berkeley.edu>2018-07-29 21:59:28 -0700
committerKrste Asanovic <krste@eecs.berkeley.edu>2018-07-29 21:59:28 -0700
commit4a331c8aebde7bcf0c28eb75173fe76b9323f2eb (patch)
treefeec8063a8990e0c7cc8a7e7f486b6f13657c2cd /src/intro.tex
parentb10b94716234fc25a54f9a65de60fac97d210b37 (diff)
downloadriscv-isa-manual-4a331c8aebde7bcf0c28eb75173fe76b9323f2eb.zip
riscv-isa-manual-4a331c8aebde7bcf0c28eb75173fe76b9323f2eb.tar.gz
riscv-isa-manual-4a331c8aebde7bcf0c28eb75173fe76b9323f2eb.tar.bz2
Clarified difference between interrupts and traps, and behavior of
interrupts wrt execution environment.
Diffstat (limited to 'src/intro.tex')
-rw-r--r--src/intro.tex20
1 files changed, 13 insertions, 7 deletions
diff --git a/src/intro.tex b/src/intro.tex
index 2896e9d..1dedd08 100644
--- a/src/intro.tex
+++ b/src/intro.tex
@@ -522,16 +522,11 @@ opcode fields.
We use the term {\em exception} to refer to an unusual condition
occurring at run time associated with an instruction in the current
-RISC-V thread. We use the term {\em trap} to refer to the synchronous
+RISC-V hart. We use the term {\em trap} to refer to the synchronous
transfer of control to a trap handler caused by an exceptional
-condition occurring within a RISC-V thread. Trap handlers usually
+condition occurring within a RISC-V hart. Trap handlers usually
execute in a more privileged environment.
-We use the term {\em interrupt} to refer to an external event that
-occurs asynchronously to the current RISC-V thread. When an interrupt
-that must be serviced occurs, some instruction is selected to receive
-an interrupt exception and subsequently experiences a trap.
-
The instruction descriptions in following chapters describe conditions
that raise an exception during execution. Whether and how these are
converted into traps is dependent on the execution environment, though
@@ -540,6 +535,17 @@ trap when an exception is signaled (except for floating-point
exceptions, which, in the standard floating-point extensions, do not
cause traps).
+We use the term {\em interrupt} to refer to an external asynchronous
+event that causes a RISC-V hart to stop execution {\em precisely} on
+some instruction and then to enter an interrupt handler. Some
+execution environments might not make interrupts visible to the
+software running inside an execution environment (e.g., if more
+privileged software implementing the environment respond to external
+interrupts). When interrupts are made visible within an execution
+environment, some software interface must be defined within the
+execution environment to determine and service the cause of the
+interrupt, and to restore regular execution of the interrupted hart.
+
\begin{commentary}
Our use of ``exception'' and ``trap'' matches that in the IEEE-754
floating-point standard.