Commit 16bbac3e38aa0ea5edc60591f980bc36a0af0171
1 parent
e58abf6d
New.
Showing
1 changed file
with
7 additions
and
7 deletions
certainty.tex
| @@ -84,13 +84,13 @@ service tracks when alternative decisions change, runs \texttt{evaluate} | @@ -84,13 +84,13 @@ service tracks when alternative decisions change, runs \texttt{evaluate} | ||
| 84 | evaluation logic when appropriate, and returns testing results to the | 84 | evaluation logic when appropriate, and returns testing results to the |
| 85 | \texttt{maybe} server. | 85 | \texttt{maybe} server. |
| 86 | 86 | ||
| 87 | -\sloppypar{Because unpredictable runtime variable changes could cause crashes | ||
| 88 | -or incorrect behavior, our prototype currently only changes variable values | ||
| 89 | -when they are set using a \texttt{maybe} statement. If the app wants to | ||
| 90 | -enable periodic readaptation of certain global variables, such as the | ||
| 91 | -interval controlling a timer, it can do so by periodically resetting the | ||
| 92 | -value using another \texttt{maybe} statement. This ensures that | ||
| 93 | -\texttt{maybe} variables only change when the developer expects them to.} | 87 | +\sloppypar{Because unexpected runtime variable changes could cause crashes or |
| 88 | +incorrect behavior, we only alter \texttt{maybe} variables when they are | ||
| 89 | +(re)initialized, not at arbitrary points during execution. If the app wants | ||
| 90 | +to enable periodic readaptation of certain variables, such as the interval | ||
| 91 | +controlling a timer, it can do so by periodically resetting the value using | ||
| 92 | +another \texttt{maybe} statement. This ensures that \texttt{maybe} variables | ||
| 93 | +only change when expected.} | ||
| 94 | 94 | ||
| 95 | \subsubsection{Simulation or emulation} | 95 | \subsubsection{Simulation or emulation} |
| 96 | 96 |