Changeset d3c3261

Timestamp:

Jul 31, 2023, 2:03:41 PM (16 months ago)

Author:

caparsons <caparson@…>

Branches:

master

Children:

000d68f, 17c13b9

Parents:

f496046

Message:

fleshed out conclusion

File:

• doc/theses/colby_parsons_MMAth/text/conclusion.tex (modified) (1 diff)

doc/theses/colby_parsons_MMAth/text/conclusion.tex

@@ -10 +10 @@
 The @waituntil@ statement aids in writing concurrent programs in both the message passing and shared memory paradigms of concurrency.
 Furthermore, no other language provides a synchronous multiplexing tool polymorphic over resources like \CFA's @waituntil@.
-From the novel copy-queue data structure in the actor system and the plethora of user-supporting safety features, all these utilities build upon existing tools with value added.
+
+On overview of the contributions in this thesis include the following:
+\begin{enumerate}
+\item The mutex statement, which provides performant and deadlock-free multiple lock acquisition.
+\item Channels with comparable performance to Go, that have safety and productivity features including deadlock detection and an easy-to-use exception-based channel @close@ routine.
+\item An in-memory actor system that achieved the lowest latency message send of systems tested due to the novel copy-queue data structure. The actor system presented has built-in detection of six common actor errors, and it has good performance compared to other systems on all benchmarks.
+\item A @waituntil@ statement which tackles the hard problem of allowing a thread to safely synchronously wait for some set of concurrent resources.
+\end{enumerate}
+
+From the novel copy-queue data structure in the actor system and the plethora of user-supporting safety features, all these utilities build upon existing concurrent tooling with value added.
 Performance results verify that each new feature is comparable or better than similar features in other programming languages.
-
-\PAB{This part seems a little short.}
+All in all, this suite of concurrent tools expands users' ability to easily write safe and performant multi-threaded programs in \CFA.
 
 \section{Future Work}