Changeset 34b6a7b6 for doc/theses/colby_parsons_MMAth/text/intro.tex

Timestamp:

Apr 3, 2023, 4:48:47 PM (19 months ago)

Author:

Mike Brooks <mlbrooks@…>

Branches:

ADT, ast-experimental, master

Children:

1dfc3d0, e8b1f23c

Parents:

fa6ca1a (diff), 1689ecf (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

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

doc/theses/colby_parsons_MMAth/text/intro.tex

@@ -1 +1 @@
 % ======================================================================
 % ======================================================================
-\chapter{Introduction}\label{s:cfa}
+\chapter{Introduction}\label{s:intro}
 % ======================================================================
 % ======================================================================
 
-Concurrent programs are the wild west of programming. Determinism and simple ordering of program operations go out the window. To seize the reins and write performant and safe concurrent code, concurrent language features are needed. Like any other craftsmen, programmers are only as good as their tools, and concurrent tooling and features are no exception. This thesis presents a set of concurrent features implemened in \CFA. These features aim to improve the performance of concurrent programs, aid in writing safe programs, and assist user productivity by improving the ease of concurrent programming. The groundwork for concurrent features in \CFA was implemented by Thierry Delisle, who contributed the threading system, coroutines, monitors and other tools\cite{Delisle18}. This thesis builds on top of that foundation by providing a suite of high-level concurrent features. These features include mutex statements, channels, an actor system and a waituntil statement. All of these features exist in other programming in some shape or form, however this thesis contributes upon the original ideas by improving performance, productivity, and safety.
+Concurrent programs are the wild west of programming because determinism and simple ordering of program operations go out the window. 
+To seize the reins and write performant and safe concurrent code, high-level concurrent-language features are needed. 
+Like any other craftsmen, programmers are only as good as their tools, and concurrent tooling and features are no exception. 
+This thesis presents a set of concurrent features implemented in the new programming-language \CFA. 
+These features aim to improve the performance of concurrent programs, aid in writing safe programs, and assist user productivity by improving the ease of concurrent programming. 
+The groundwork for concurrent features in \CFA was implemented by Thierry Delisle~\cite{Delisle18}, who contributed the threading system, coroutines, monitors and other tools. 
+This thesis builds on top of that foundation by providing a suite of high-level concurrent features. 
+These features include mutex statements, channels, an actor system and a waituntil statement. 
+All of these features exist in other programming in some shape or form, however this thesis extends the original ideas by improving performance, productivity, and safety.