Changeset 3ee8853

Timestamp:

Sep 7, 2023, 1:17:40 PM (8 months ago)

Author:

caparsons <caparson@…>

Branches:

master

Children:

2fa0237, 9509d67a

Parents:

0f8b1a7

Message:

made some small formatting changes

File:

• doc/theses/colby_parsons_MMAth/text/channels.tex (modified) (2 diffs)

doc/theses/colby_parsons_MMAth/text/channels.tex

@@ -154 +154 @@
 Thus, improperly handled \gls{toctou} issues with channels often result in deadlocks as threads performing the termination may end up unexpectedly blocking in their attempt to help other threads exit the system.
 
+\subsubsection{Go Channel Close}
 Go channels provide a set of tools to help with concurrent shutdown~\cite{go:chan} using a @close@ operation in conjunction with the \Go{select} statement.
 The \Go{select} statement is discussed in \ref{s:waituntil}, where \CFA's @waituntil@ statement is compared with the Go \Go{select} statement.
@@ -175 +176 @@
 Hence, due to Go's asymmetric approach to channel shutdown, separate synchronization between producers and consumers of a channel has to occur during shutdown.
 
-\paragraph{\CFA channels} have access to an extensive exception handling mechanism~\cite{Beach21}.
+\subsubsection{\CFA Channel Close}
+\CFA channels have access to an extensive exception handling mechanism~\cite{Beach21}.
 As such \CFA uses an exception-based approach to channel shutdown that is symmetric for both producers and consumers, and supports graceful shutdown.