Changeset e46ea00 for doc/theses/andrew_beach_MMath

Timestamp:

Jun 1, 2021, 9:46:51 AM (3 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

93f74c0f

Parents:

b405039

Message:

augment introduction chapter with places for extension

File:

• doc/theses/andrew_beach_MMath/intro.tex (modified) (2 diffs)

doc/theses/andrew_beach_MMath/intro.tex

@@ -4 +4 @@
 This thesis goes over the design and implementation of the exception handling
 mechanism (EHM) of
-\CFA (pernounced sea-for-all, can also be written Cforall or CFA).
-Exception handling provides dynamic inter-function control flow. Although
-a powerful feature they tend to be expensive to use so they are often limited
+\CFA (pronounced see-for-all and also written Cforall or CFA).
+Exception handling provides more complex dynamic inter-function control flow.
+For example, normally function call is a strict linear form: function @h@ calls @g@,
+@g@ calls @f@, @f@ returns to @g@ and @g@ to @h@.
+\begin{center}
+\input{callreturn}
+\end{center}
+Exception handling allows deviations,
+such as @f@ returning directly to @h@ and the intervening call to @g@ is unwound.
+Other derivations include dynamic function call (old Lisp~\cite{CommonLisp} call) versus static or continuation passing.
+Basically, any non-linear form of call-return can be part of an EHM.
+
+Although
+powerful, an EHM tends to be conceptually more complex and expensive to use, and hence often limited
 to unusual or ``exceptional" cases.
 The classic example of this is error handling, exceptions can be used to
-remove error handling logic from the main execution path and paying most of
-the cost only when the error actually occurs.
+remove error-handling logic from the main execution path and paying a higher
+performance cost only when the error actually occurs.
+
+\section{Background}
+
+Programming languages that provide different forms of EHM are: ...
+
+Mention the popular ``return union'' approach, which does not change the call/return control-flow.
+
+\section{New Work}
 
 % Overview of exceptions in Cforall.
-The \CFA EHM implements all of the common exception features (or an
+This thesis describes the design and implementation of the \CFA EHM.
+The work implements all of the common exception features (or an
 equivalent) found in most other EHMs and adds some features of its own.
 The design of all the features had to be adapted to \CFA's feature set as
@@ -33 +53 @@
 
 % A note that yes, that was a very fast overview.
-All the design and implementation of all of \CFA's EHM's features are
-described in detail later in this thesis, whether they are a common feature
+The design and implementation of all of \CFA's EHM's features are
+described in detail throughout in this thesis, whether they are a common feature
 or one unique to \CFA.
 
 % The current state of the project and what it contributes.
-All of these features have been added to the \CFA implemenation, along with
-a suite of test cases.
+All of these features have been implemented in \CFA, along with
+a suite of test cases, as part of this thesis.
 The implementation techniques are generally applicable in other programming
-languages and much of the design is as well, although occationally
-replacements for some of \CFA's more unusual feature would have to be found.
+languages and much of the design as well. Although some of \CFA's more unusual EHM feature
+would not be found in other programming languages.
+
+\section{Contributions}
+
+The contributions of this work are:
+\begin{enumerate}
+\item
+\item
+\item
+\item
+\end{enumerate}
+
+\section{Road Map}