Changeset 33e1c91

Timestamp:

Jun 21, 2021, 4:55:22 PM (3 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

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

Children:

929d925

Parents:

5a4f1a8

Message:

Andrew MMath: Some feedback for additions to implement went to features instead.

File:

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

doc/theses/andrew_beach_MMath/features.tex

@@ -734 +734 @@
 a destructor and prevents cascading the error across multiple threads if
 the user is not equipped to deal with it.
-Also you can always add an explicit join if that is the desired behaviour.
+It is always possible to add an explicit join if that is the desired behaviour.
+
+With explicit join and a default handler that triggers a cancellation, it is
+possible to cascade an error across any number of threads, cleaning up each
+in turn, until the error is handled or the main thread is reached.
 
 \paragraph{Coroutine Stack}
@@ -750 +754 @@
 (in terms of coroutine state) called resume on this coroutine, so the message
 is passed to the latter.
+
+With a default handler that triggers a cancellation, it is possible to
+cascade an error across any number of coroutines, cleaning up each in turn,
+until the error is handled or a thread stack is reached.