Index: doc/theses/andrew_beach_MMath/implement.tex
===================================================================
--- doc/theses/andrew_beach_MMath/implement.tex	(revision 403f2875bbc58cdb14c718a07369c09e820a40eb)
+++ doc/theses/andrew_beach_MMath/implement.tex	(revision 692f0c895772f0dbe0cfe4f849661f820c7bc5eb)
@@ -14,57 +14,70 @@
 
 \subsection{Virtual Type}
-Virtual types only have one change to their structure, the addition of a
-pointer to the virtual table. This is always the first field so that
-if it is cast to a supertype the field's location is still known.
-
-This field is set as part of all new generated constructors.
+Virtual types only have one change to their structure: the addition of a
+pointer to the virtual table, called the \emph{virtual-table pointer}.
+Internally, the field is called
+@virtual_table@.
+This constant pointer is always the first field of the table so when
+casting to a supertype, the field's location is always known.
+The field is initialized as part of all generated constructors.
 \todo{They only come as part exceptions and don't work.}
-After the object is created the field is constant.
-
-However it can be read from, internally it is just a regular field called
-@virtual_table@. Dereferencing it gives the virtual table and access to the
+%After the object is created the field is constant.
+Dereferencing it gives the virtual table and access to the
 type's virtual members.
 
 \subsection{Virtual Table}
-Every time a virtual type is defined the new virtual table type must also be
-defined.
-
-The unique instance is important because the address of the virtual table
-instance is used as the identifier for the virtual type. So a pointer to the
-virtual table and the ID for the virtual type are interchangable.
+% PAB: These 2 paragraphs are repeated below, and maybe some of the paragraph above, too.
+\begin{comment}
+Every time a virtual type is defined, a new virtual table-type is
+instantiated.
+The uniqueness of the virtual-table
+instance is important because its address
+is used as the identifier for the virtual type. Hence, a pointer to the
+virtual table and the ID for the virtual type are interchangeable.
 \todo{Unique instances might be going so we will have to talk about the new
 system instead.}
 
-The first step in putting it all together is to create the virtual table type.
-The virtual table type is just a structure and can be described in terms of
-its fields. The first field is always the parent type ID (or a pointer to
-the parent virtual table) or 0 (the null pointer).
-Next are other fields on the parent virtual table are repeated.
-Finally are the fields used to store any new virtual members of the new
-The virtual type
-
-The virtual system is accessed through a private constant field inserted at the
-beginning of every virtual type, called the virtual-table pointer. This field
-points at a type's virtual table and is assigned during the object's
-construction. The address of a virtual table acts as the unique identifier for
+The first step is creating the virtual-table type.
+The virtual-table type is a structure and is described in terms of
+its fields. The first field contains the parent-type ID (or a pointer to
+the parent virtual-table) or 0 (null pointer).
+Next are repeated fields from on the parent virtual-table.
+Finally, the fields used to store any new virtual members of the new
+the virtual type.
+\end{comment}
+
+%The virtual system is accessed through a private constant field inserted at the
+%beginning of every virtual type. This field
+The virtual-table pointer
+points at a type's virtual table (see Figure~\vref{f:VirtualTableLayout}).
+%and is assigned during the object's
+%construction.
+The address of a virtual table acts as the unique identifier for
 the virtual type, and the first field of a virtual table is a pointer to the
-parent virtual-table or @0p@. The remaining fields are duplicated from the
+parent virtual-table or @0p@ (null pointer). The remaining fields are duplicated from the
 parent tables in this type's inheritance chain, followed by any fields this type
-introduces. Parent fields are duplicated so they can be changed (all virtual
-members are overridable), so that references to the dispatched type
+introduces. Parent fields are duplicated so they can be changed, \ie all virtual
+members are overridable, while the parent pointer allows access to the original values.
+Hence, references to the dispatched type
 are replaced with the current virtual type.
 % These are always taken by pointer or reference.
 
+\begin{figure}
 % Simple ascii diragram:
-\begin{verbatim}
-parent_pointer  \
-parent_field0   |
-...             | Same layout as parent.
-parent_fieldN   /
-child_field0
+\begin{cfa}
+parent_pointer  // \C{parent pointer to access its fields}
+parent_field0   // \C{same layout as parent to allow replacement}
+...
+parent_fieldN
+child_field0    // \C{new types for this virtual table}
 ...
 child_fieldN
-\end{verbatim}
-\todo{Refine the diagram}
+size
+alignment
+\end{cfa}
+%\todo{Refine the diagram}
+\caption{Virtual Table Layout}
+\label{f:VirtualTableLayout}
+\end{figure}
 
 % For each virtual type, a virtual table is constructed. This is both a new type
@@ -73,9 +86,12 @@
 % the type and the instance.
 
-A virtual table is created when the virtual type is created. The name of the
+\begin{comment}
+PAB: seems to be said already.
+A virtual table is created when a virtual type is created. The name of the
 type is created by mangling the name of the base type. The name of the instance
 is also generated by name mangling. The fields are initialized automatically.
 The parent field is initialized by getting the type of the parent field and
-using that to calculate the mangled name of the parent's virtual table type.
+using that to calculate the mangled name of the parent's virtual-table type.
+\end{comment}
 There are two special fields that are included like normal fields but have
 special initialization rules: the @size@ field is the type's size and is
@@ -86,31 +102,30 @@
 
 These operations are split up into several groups depending on where they take
-place which varies for monomorphic and polymorphic types. The first devision is
+place, which varies for monomorphic and polymorphic types. The first devision is
 between the declarations and the definitions. Declarations, such as a function
-signature or a aggregate's name, must always be visible but may be repeated in
+signature or an aggregate's name, must always be visible but may be repeated in
 the form of forward declarations in headers. Definitions, such as function
 bodies and a aggregate's layout, can be separately compiled but must occur
 exactly once in a source file.
 
-\begin{sloppypar}
-The declarations include the virtual type definition and forward declarations
-of the virtual table instance, constructor, message function and
+The declarations include the virtual-type definition and forward declarations
+of the virtual-table instance, constructor, message function and
 @get_exception_vtable@. The definition includes the storage and initialization
 of the virtual table instance and the bodies of the three functions.
-\end{sloppypar}
-
-Monomorphic instances put all of these two groups in one place each.
-Polymorphic instances also split out the core declarations and definitions from
-the per-instance information. The virtual table type and most of the functions
-are polymorphic so they are all part of the core. The virtual table instance
-and the @get_exception_vtable@ function.
-
-\begin{sloppypar}
+
+Monomorphic instances put all of these two groups in one place.
+Polymorphic instances split out the core declarations and definitions from
+the per-instance information. The virtual-table type and most of the functions
+are polymorphic so they are all part of the core. The virtual-table instance
+and the @get_exception_vtable@ function \PAB{ are ...}.
+
 Coroutines and threads need instances of @CoroutineCancelled@ and
 @ThreadCancelled@ respectively to use all of their functionality. When a new
-data type is declared with @coroutine@ or @thread@ the forward declaration for
+data type is declared with @coroutine@ or @thread@, the forward declaration for
 the instance is created as well. The definition of the virtual table is created
 at the definition of the main function.
-\end{sloppypar}
+
+\PAB{You need an example here to show what happens for this case.}
+
 
 \subsection{Virtual Cast}
@@ -121,29 +136,32 @@
 The function is
 \begin{cfa}
-void * __cfa__virtual_cast(
-	struct __cfa__parent_vtable const * parent,
+void * __cfa__virtual_cast( struct __cfa__parent_vtable const * parent,
 	struct __cfa__parent_vtable const * const * child );
 \end{cfa}
-and it is implemented in the standard library. The structure reperents the
-head of a vtable which is the pointer to the parent virtual table. The
-@parent@ points directly at the parent type virtual table while the @child@
-points at the object of the (possibe) child type.
-
-In terms of the virtual cast expression, @parent@ comes from looking up the
+and it is implemented in the standard library. The structure represents the
+head of a virtual table, which is the pointer to the parent virtual table. The
+@parent@ points directly at the parent-type virtual-table, while the @child@
+points at the object of the (possible) child type.
+
+\PAB{Need a figure to show this relationship.}
+
+In terms of the virtual-cast expression, @parent@ comes from looking up the
 type being cast to and @child@ is the result of the expression being cast.
-Because the complier outputs C code, some type C type casts are also used.
-The last bit of glue is an map that saves every virtual type the compiler
-sees. This is used to check the type used in a virtual cast is a virtual
+Because the complier outputs C code, some C-type casts are also used.
+The last bit of glue is a map that saves every virtual type the compiler
+sees. This table is used to check the type used in a virtual cast is a virtual
 type and to get its virtual table.
 (It also checks for conflicting definitions.)
 
-Inside the function it is a simple conditional. If the type repersented by
-@parent@ is or is an ancestor of the type repersented by @*child@ (it
-requires one more level of derefence to pass through the object) then @child@
+\PAB{Can this be rolled into the figure above?}
+
+Inside the function is a simple conditional. If the type represented by
+@parent@ is an ancestor of the type represented by @*child@ (it
+requires one more level of dereference to pass through the object) then @child@
 is returned, otherwise the null pointer is returned.
 
-The check itself is preformed is a simple linear search. If the child
-virtual table or any of its ancestors (which are retreved through the first
-field of every virtual table) are the same as the parent virtual table then
+The check is a simple linear search (like \Cpp RTTI). If the child
+virtual table or any of its ancestors (which are retrieved through the first
+field of every virtual table) are the same as the parent virtual-table then
 the cast succeeds.
 
@@ -156,20 +174,22 @@
 % resumption doesn't as well.
 
-% Many modern languages work with an interal stack that function push and pop
+% Many modern languages work with an internal stack that function push and pop
 % their local data to. Stack unwinding removes large sections of the stack,
 % often across functions.
 
 Stack unwinding is the process of removing stack frames (activations) from the
-stack. On function entry and return, unwinding is handled directly by the code
-embedded in the function. Usually, the stack-frame size is known statically
+stack. On function entry and return, unwinding is handled directly by the call/return code
+embedded in a function. Usually, the stack-frame size is known statically
 based on parameter and local variable declarations. For dynamically-sized
-local variables, a runtime computation is necessary to know the frame
+local variables.
+(Often called a variable-length array or VLA, even when the variable type is an aggregate.)
+For VLAs, a runtime computation is necessary to know the frame
 size. Finally, a function's frame-size may change during execution as local
-variables (static or dynamic sized) go in and out of scope.
+variables (static or dynamic sized) go in and out of scope, which is a form of VLA.
 Allocating/deallocating stack space is usually an $O(1)$ operation achieved by
 bumping the hardware stack-pointer up or down as needed.
 
-Unwinding across multiple stack frames is more complex because individual stack
-management code associated with each frame is bypassed. That is, the location
+Unwinding across multiple stack frames is more complex because individual stack-management
+code associated with each frame can be bypassed. That is, the location
 of a function's frame-management code is largely unknown and dispersed
 throughout the function, hence the current frame size managed by that code is
@@ -191,17 +211,20 @@
 reseting to a snap-shot of an arbitrary but existing function frame on the
 stack. It is up to the programmer to ensure the snap-shot is valid when it is
-reset, making this unwinding approach fragile with potential errors that are
+reset and that unwound frames do not have side-effects.
+Hence, this unwinding approach is fragile with potential errors that are
 difficult to debug because the stack becomes corrupted.
 
-However, many languages define cleanup actions that must be taken when objects
-are deallocated from the stack or blocks end, such as running a variable's
-destructor or a @try@ statement's @finally@ clause. Handling these mechanisms
+With respect to stack side-effects, many languages define cleanup actions that must be taken when objects
+are deallocated from the stack, when the function of blocks within the function end, such as running a variable's
+destructor or a @try@ statement's @finally@ clause.
+The purpose of these side-effects is to reestablish the global state of the program, such as dynamic memory-allocation or file access.
+Handling these side-effect mechanisms
 requires walking the stack and checking each stack frame for these potential
-actions.
-
-For exceptions, it must be possible to walk the stack frames in search of @try@
+actions, where a frame can be any block with declarations.
+
+In languages like \Cpp and Java, it must be possible to walk the stack frames in search of @try@
 statements to match and execute a handler. For termination exceptions, it must
 also be possible to unwind all stack frames from the throw to the matching
-catch, and each of these frames must be checked for cleanup actions. Stack
+catch (including the @try@ block), and each of these frames must be checked for cleanup actions. Stack
 walking is where most of the complexity and expense of exception handling
 appears.
@@ -226,5 +249,5 @@
 LSDA can contain any information but conventionally it is a table with entries
 representing regions of the function and what has to be done there during
-unwinding. These regions are bracketed by the instruction pointer. If the
+unwinding. These regions are bracketed by instruction addresses. If the
 instruction pointer is within a region's start/end, then execution is currently
 executing in that region. Regions are used to mark out the scopes of objects
@@ -238,16 +261,15 @@
 
 The GCC compilation flag @-fexceptions@ causes the generation of an LSDA and
-attaches its personality function. However, this
+attaches its personality function.
+It attaches a series of opaque directives (@.cfi_personality@ directive)
+used internally and not part of this work.
+However, this
 flag only handles the cleanup attribute:
-\todo{Peter: What is attached? Andrew: It uses the .cfi\_personality directive
-and that's all I know.}
 \begin{cfa}
 void clean_up( int * var ) { ... }
 int avar __attribute__(( cleanup(clean_up) ));
 \end{cfa}
-which is used on a variable and specifies a function, in this case @clean_up@,
-run when the variable goes out of scope.
-The function is passed a pointer to the object being removed from the stack
-so it can be used to mimic destructors.
+that is used on a variable and specifies a function, in this case @clean_up@,
+run when the variable goes out of scope, which is used to mimic destructors.
 However, this feature cannot be used to mimic @try@ statements as it cannot
 control the unwinding.
@@ -257,5 +279,5 @@
 section covers some of the important parts of the interface.
 
-A personality function can preform different actions depending on how it is
+A personality function can perform different actions depending on how it is
 called.
 \begin{lstlisting}[language=C,{moredelim=**[is][\color{red}]{@}{@}}]
@@ -268,5 +290,5 @@
 \end{lstlisting}
 The @action@ argument is a bitmask of possible actions:
-\begin{enumerate}
+\begin{enumerate}[topsep=5pt]
 \item
 @_UA_SEARCH_PHASE@ specifies a search phase and tells the personality function
@@ -291,13 +313,14 @@
 @_UA_FORCE_UNWIND@ specifies a forced unwind call. Forced unwind only performs
 the cleanup phase and uses a different means to decide when to stop
-(see \vref{s:ForcedUnwind}).
+(see Section~\vref{s:ForcedUnwind}).
 \end{enumerate}
 
 The @exception_class@ argument is a copy of the
 \lstinline[language=C]|exception|'s @exception_class@ field.
+\PAB{Say more.}
 
 The \lstinline[language=C]|exception| argument is a pointer to the user
 provided storage object. It has two public fields, the exception class, which
-is actually just a number, identifying the exception handling mechanism that
+is just a number, identifying the exception handling mechanism that
 created it, and the cleanup function. The cleanup function is called if
 required by the exception.
@@ -309,5 +332,5 @@
 that can be passed several places in libunwind. It includes a number of
 messages for special cases (some of which should never be used by the
-personality function) and error codes but unless otherwise noted the
+personality function) and error codes. However, unless otherwise noted, the
 personality function should always return @_URC_CONTINUE_UNWIND@.
 
@@ -324,5 +347,5 @@
 @_URC_END_OF_STACK@.
 
-Second, when a handler is matched, raise exception continues onto the cleanup
+Second, when a handler is matched, raise exception walks the stack again performing the cleanup
 phase.
 Once again, it calls the personality functions of each stack frame from newest
@@ -338,5 +361,5 @@
 Forced Unwind is the other central function in libunwind.
 \begin{cfa}
-_Unwind_Reason_Code _Unwind_ForcedUnwind( _Unwind_Exception *,
+_Unwind_Reason_Code _Unwind_ForcedUnwind(_Unwind_Exception *,
 	_Unwind_Stop_Fn, void *);
 \end{cfa}
@@ -380,9 +403,9 @@
 Each stack must have its own exception context. In a sequential \CFA program,
 there is only one stack with a single global exception-context. However, when
-the library @libcfathread@ is linked, there are multiple stacks where each
+the library @libcfathread@ is linked, there are multiple stacks, where each
 needs its own exception context.
 
-General access to the exception context is provided by function
-@this_exception_context@. For sequential execution, this function is defined as
+The function @this_exception_context@ provides general access to the exception context.
+For sequential execution, this function is defined as
 a weak symbol in the \CFA system-library, @libcfa@. When a \CFA program is
 concurrent, it links with @libcfathread@, where this function is defined with a
@@ -390,7 +413,7 @@
 
 The sequential @this_exception_context@ returns a hard-coded pointer to the
-global execption context.
+global exception context.
 The concurrent version adds the exception context to the data stored at the
-base of each stack. When @this_exception_context@ is called it retrieves the
+base of each stack. When @this_exception_context@ is called, it retrieves the
 active stack and returns the address of the context saved there.
 
@@ -399,6 +422,6 @@
 % catches. Talk about GCC nested functions.
 
-Termination exceptions use libunwind heavily because it matches the intended
-use from \Cpp exceptions closely. The main complication for \CFA is that the
+Termination exceptions use libunwind heavily because \CFA termination exceptions match
+\Cpp exceptions closely. The main complication for \CFA is that the
 compiler generates C code, making it very difficult to generate the assembly to
 form the LSDA for try blocks or destructors.
@@ -407,9 +430,9 @@
 The first step of a termination raise is to copy the exception into memory
 managed by the exception system. Currently, the system uses @malloc@, rather
-than reserved memory or the stack top. The exception handling mechanism manages
+than reserved memory or the stack top. The exception-handling mechanism manages
 memory for the exception as well as memory for libunwind and the system's own
 per-exception storage.
 
-[Quick ASCII diagram to get started.]
+\begin{figure}
 \begin{verbatim}
 Fixed Header  | _Unwind_Exception   <- pointer target
@@ -420,7 +443,10 @@
               V ...
 \end{verbatim}
-
-Exceptions are stored in variable-sized blocks.
-The first component is a fixed sized data structure that contains the
+\caption{Exception Layout}
+\label{f:ExceptionLayout}
+\end{figure}
+
+Exceptions are stored in variable-sized blocks (see Figure~\vref{f:ExceptionLayout}).
+The first component is a fixed-sized data-structure that contains the
 information for libunwind and the exception system. The second component is an
 area of memory big enough to store the exception. Macros with pointer arthritic
@@ -428,5 +454,55 @@
 @_Unwind_Exception@ to the entire node.
 
-All of these nodes are linked together in a list, one list per stack, with the
+Multiple exceptions can exist because handlers can call functions that raise
+exceptions.  Figure~\vref{f:MultipleExceptions} shows a \Cpp program where
+exceptions are handled, and then a function is called from the handler that
+raises a new exception. The previous exception must persist because it is
+unhandled, and hence, control can return to the handler and that exception is
+reraised.
+
+\begin{figure}
+\centering
+\newsavebox{\myboxA}
+\newsavebox{\myboxB}
+\begin{lrbox}{\myboxA}
+\begin{lstlisting}[language=C++,{moredelim=**[is][\color{red}]{@}{@}}]
+struct E {};
+int cnt = 3;
+void f( int i ) {
+	if ( i == 0 ) @throw E();@
+	try {
+		@f( i - 1 );@
+	} catch( E ) { // handler h
+		cnt -= 1;
+		if ( cnt > 0 ) @f( 2 );@
+	}
+}
+int main() { @f( 2 );@ }
+\end{lstlisting}
+\end{lrbox}
+
+\begin{lrbox}{\myboxB}
+\begin{lstlisting}
+h  $\makebox[0pt][l]{\textbackslash}f$
+   f
+   f
+h  $\makebox[0pt][l]{\textbackslash}f$  throw E$\(_2\)$
+   f
+   f
+h  $\makebox[0pt][l]{\textbackslash}f$  throw E$\(_1\)$
+   f
+   f
+\end{lstlisting}
+\end{lrbox}
+
+{\usebox\myboxA}
+\hspace{25pt}
+{\usebox\myboxB}
+
+\caption{Multiple Exceptions}
+\label{f:MultipleExceptions}
+\end{figure}
+
+In this case, the exception nodes are linked together in a list, one list per stack, with the
 list head stored in the exception context. Within each linked list, the most
 recently thrown exception is at the head followed by older thrown
@@ -439,5 +515,5 @@
 exception, the copy function, and the free function, so they are specific to an
 exception type. The size and copy function are used immediately to copy an
-exception into managed memory. After the exception is handled the free function
+exception into managed memory. After the exception is handled, the free function
 is used to clean up the exception and then the entire node is passed to free
 so the memory can be given back to the heap.
@@ -445,5 +521,5 @@
 \subsection{Try Statements and Catch Clauses}
 The try statement with termination handlers is complex because it must
-compensate for the lack of assembly-code generated from \CFA. Libunwind
+compensate for the lack of assembly code generated from \CFA. Libunwind
 requires an LSDA and personality function for control to unwind across a
 function. The LSDA in particular is hard to mimic in generated C code.
@@ -454,10 +530,10 @@
 calls them.
 Because this function is known and fixed (and not an arbitrary function that
-happens to contain a try statement) this means the LSDA can be generated ahead
+happens to contain a try statement), this means the LSDA can be generated ahead
 of time.
 
 Both the LSDA and the personality function are set ahead of time using
-embedded assembly. This is handcrafted using C @asm@ statements and contains
-enough information for the single try statement the function repersents.
+embedded assembly. This assembly code is handcrafted using C @asm@ statements and contains
+enough information for the single try statement the function represents.
 
 The three functions passed to try terminate are:
@@ -487,14 +563,20 @@
 nested functions and all other functions besides @__cfaehm_try_terminate@ in
 \CFA use the GCC personality function and the @-fexceptions@ flag to generate
-the LSDA. This allows destructors to be implemented with the cleanup attribute.
+the LSDA. Through this mechanism, \CFA destructors are implemented via the cleanup attribute.
+
+\PAB{Try to put together an example try statement illustrating these components.}
 
 \section{Resumption}
 % The stack-local data, the linked list of nodes.
 
-Resumption simple to implement because there is no stack unwinding. The
+Resumption is simpler to implement than termination because there is no stack
+unwinding.  \PAB{You need to explain how the \lstinline{catchResume} clauses are
+handled. Do you use the personality mechanism in libunwind or do you roll your
+own mechanism?}
+
+The
 resumption raise uses a list of nodes for its stack traversal. The head of the
 list is stored in the exception context. The nodes in the list have a pointer
 to the next node and a pointer to the handler function.
-
 A resumption raise traverses this list. At each node the handler function is
 called, passing the exception by pointer. It returns true if the exception is
@@ -512,5 +594,5 @@
 the stack
 already examined, is accomplished by updating the front of the list as the
-search continues. Before the handler at a node is called the head of the list
+search continues. Before the handler at a node is called, the head of the list
 is updated to the next node of the current node. After the search is complete,
 successful or not, the head of the list is reset.
@@ -521,8 +603,10 @@
 the other handler checked up to this point are not checked again.
 
-This structure also supports new handler added while the resumption is being
+This structure also supports new handlers added while the resumption is being
 handled. These are added to the front of the list, pointing back along the
 stack -- the first one points over all the checked handlers -- and the ordering
 is maintained.
+
+\PAB{Again, a figure to show how this works would be helpful.}
 
 \label{p:zero-cost}
@@ -539,12 +623,14 @@
 % that unwind is required knowledge for that chapter.
 
+\PAB{This paragraph needs to be moved to the start of this Section, where I have have my other comment.}
+
 \section{Finally}
 % Uses destructors and GCC nested functions.
-Finally clauses is placed into a GCC nested-function with a unique name, and no
+A finally clause is placed into a GCC nested-function with a unique mangled name, and no
 arguments or return values. This nested function is then set as the cleanup
 function of an empty object that is declared at the beginning of a block placed
-around the context of the associated @try@ statement.
-
-The rest is handled by GCC. The try block and all handlers are inside the
+around the context of an associated @try@ statement.
+
+The rest is handled by GCC. The try block and all handlers are inside this
 block. At completion, control exits the block and the empty object is cleaned
 up, which runs the function that contains the finally code.
@@ -554,18 +640,20 @@
 
 Cancellation also uses libunwind to do its stack traversal and unwinding,
-however it uses a different primary function @_Unwind_ForcedUnwind@. Details
-of its interface can be found in the \vref{s:ForcedUnwind}.
+however it uses a different primary function, @_Unwind_ForcedUnwind@. Details
+of its interface can be found in Section~\vref{s:ForcedUnwind}.
 
 The first step of cancellation is to find the cancelled stack and its type:
-coroutine or thread. Fortunately, the thread library stores the main thread
-pointer and the current thread pointer, and every thread stores a pointer to
-its main coroutine and the coroutine it is currently executing.
-
-So if the active thread's main and current coroutine are the same. If they
-are then the current stack is a thread stack, otherwise it is a coroutine
-stack. If it is a thread stack then an equality check with the stored main
-thread pointer and current thread pointer is enough to tell if the current
-thread is the main thread or not.
-
+coroutine or thread. Fortunately, the thread library stores the program-main thread
+pointer and the current-thread pointer, and every thread stores a pointer to
+the current coroutine it is executing.
+
+\PAB{I don't know if my corrections in the previous paragraph are correct.}
+
+When the active thread and coroutine are the same, the current stack is the thread stack, otherwise it is a coroutine
+stack.
+% PAB: repeated?
+% If it is a thread stack, then an equality check with the stored main
+% thread pointer and current thread pointer is enough to tell if the current
+% thread is the main thread or not.
 However, if the threading library is not linked, the sequential execution is on
 the main stack. Hence, the entire check is skipped because the weak-symbol
@@ -575,10 +663,10 @@
 Regardless of how the stack is chosen, the stop function and parameter are
 passed to the forced-unwind function. The general pattern of all three stop
-functions is the same: they continue unwinding until the end of stack when they
-do there primary work.
-
+functions is the same: continue unwinding until the end of stack.
+%when they
+%do there primary work.
 For main stack cancellation, the transfer is just a program abort.
 
-For coroutine cancellation, the exception is stored on the coroutine's stack,
+For coroutine cancellation, the exception is stored in the coroutine's stack,
 and the coroutine context switches to its last resumer. The rest is handled on
 the backside of the resume, which check if the resumed coroutine is