aboutsummaryrefslogtreecommitdiff
path: root/src/intro.tex
diff options
context:
space:
mode:
authorJohn Hauser <31252952+jhauser-us@users.noreply.github.com>2020-08-14 13:55:49 -0700
committerGitHub <noreply@github.com>2020-08-14 13:55:49 -0700
commit7dee20c9c802d0966d2beaddb11d1e1501a35b99 (patch)
tree8d678d9aaf6b410f94e40c8d22fd5ed039bbc798 /src/intro.tex
parentd2d4f86ba1f624a2d0f05cb7c226317ea21114b8 (diff)
downloadriscv-isa-manual-7dee20c9c802d0966d2beaddb11d1e1501a35b99.zip
riscv-isa-manual-7dee20c9c802d0966d2beaddb11d1e1501a35b99.tar.gz
riscv-isa-manual-7dee20c9c802d0966d2beaddb11d1e1501a35b99.tar.bz2
Improve table of trap characteristics in introduction (#562)
Diffstat (limited to 'src/intro.tex')
-rw-r--r--src/intro.tex14
1 files changed, 8 insertions, 6 deletions
diff --git a/src/intro.tex b/src/intro.tex
index 595625c..25bb89f 100644
--- a/src/intro.tex
+++ b/src/intro.tex
@@ -714,7 +714,8 @@ by a hart at runtime can have four different effects:
is terminated and reported to an external environment.
\end{description}
-The following table shows the characteristics of each kind of trap:
+Table~\ref{table:trapcharacteristics} shows the characteristics of each
+kind of trap.
\begin{table}[hbt]
\centering
@@ -722,13 +723,14 @@ The following table shows the characteristics of each kind of trap:
\hline
& Contained & Requested & Invisible & Fatal\\
\hline
- Execution terminates? & N & N$^{1}$ & N & Y \\
- Software is oblivious? & N & N & Y & Y$^{2}$ \\
- Handled by environment? & N & Y & Y & Y \\
+ Execution terminates & No & No$^{1}$ & No & Yes \\
+ Software is oblivious & No & No & Yes & Yes$^{2}$ \\
+ Handled by environment & No & Yes & Yes & Yes \\
\hline
\end{tabular}
- \caption{Characteristics of traps. Notes: 1) termination may be
- requested; 2) imprecise fatal traps might be observable by software.}
+ \caption{Characteristics of traps. Notes: 1) Termination may be
+ requested. 2) Imprecise fatal traps might be observable by software.}
+\label{table:trapcharacteristics}
\end{table}
The EEI defines for each trap whether it is handled precisely, though