Changeset 29c9b23 for doc/theses/andrew_beach_MMath/future.tex

Timestamp:

Feb 4, 2021, 9:56:11 AM (4 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

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

Children:

9af0fe2d

Parents:

6a99803

Message:

Andrew MMath: Supposed to be focused on features but it ended up leaking out.

File:

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

doc/theses/andrew_beach_MMath/future.tex

@@ -10 +10 @@
 \item
 The implementation of termination is not portable because it includes
-hand-crafted assembly statements. These sections must be generalized to support
-more hardware architectures, \eg ARM processor.
+hand-crafted assembly statements. These sections must be ported by hand to
+support more hardware architectures, such as the ARM processor.
 \item
 Due to a type-system problem, the catch clause cannot bind the exception to a
@@ -24 +24 @@
 scope of the @try@ statement, where the local control-flow transfers are
 meaningful.
+\item
+There is no detection of colliding unwinds. It is possible for clean-up code
+run during an unwind to trigger another unwind that escapes the clean-up code
+itself; such as a termination exception caught further down the stack or a
+cancellation. There do exist ways to handle this but currently they are not
+even detected and the first unwind will simply be forgotten, often leaving
+it in a bad state.
+\item
+Also the exception system did not have a lot of time to be tried and tested.
+So just letting people use the exception system more will reveal new
+quality of life upgrades that can be made with time.
 \end{itemize}