Changeset e41c4c6

Timestamp:

Apr 2, 2023, 8:20:16 AM (20 months ago)

Author:

caparsons <caparson@…>

Branches:

ADT, ast-experimental, master

Children:

fb7cda9

Parents:

1e6cecb (diff), 678c540 (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

Location:

doc/theses/colby_parsons_MMAth

Files:

• Makefile (modified) (1 diff)
• style/cfa-format.tex (modified) (3 diffs)
• text/CFA_intro.tex (modified) (2 diffs)
• text/frontpgs.tex (modified) (2 diffs)
• text/intro.tex (modified) (1 diff)
• thesis.tex (modified) (2 diffs)
• version (modified) (1 diff)

doc/theses/colby_parsons_MMAth/Makefile

@@ -101 +101 @@
         -${BibTeX} ${Build}/${basename $@}
         # Some citations reference others so run again to resolve these citations
-        ${LaTeX} ${basename $@}.tex
-        -${BibTeX} ${Build}/${basename $@}
+#       ${LaTeX} ${basename $@}.tex
+#       -${BibTeX} ${Build}/${basename $@}
         # Make index from *.aux entries and input index at end of document
         makeglossaries -q -s ${Build}/${basename $@}.ist ${Build}/${basename $@}

doc/theses/colby_parsons_MMAth/style/cfa-format.tex

@@ -11 +11 @@
 \lstdefinestyle{defaultStyle}{
   escapeinside={@@},
-  basicstyle=\linespread{0.9}\tt\footnotesize,          % reduce line spacing and use typewriter font
-  keywordstyle=\bfseries\color{blue},
-  keywordstyle=[2]\bfseries\color{Plum},
-  commentstyle=\itshape\color{OliveGreen},                  % green and italic comments
-  identifierstyle=\color{identifierCol},
-  stringstyle=\sf\color{Mahogany},                                % use sanserif font
+%   basicstyle=\linespread{0.9}\tt\footnotesize,                % reduce line spacing and use typewriter font
+  basicstyle=\linespread{0.9}\sf,               % reduce line spacing and use typewriter 
+%   keywordstyle=\bfseries\color{blue},
+%   keywordstyle=[2]\bfseries\color{Plum},
+%   commentstyle=\itshape\color{OliveGreen},                % green and italic comments
+%   identifierstyle=\color{identifierCol},
+%   stringstyle=\sf\color{Mahogany},                              % use sanserif font
+  stringstyle=\tt,                                % use sanserif font
   mathescape=true,
-  columns=fixed,
-  aboveskip=4pt,                                  % spacing above/below code block
-  belowskip=3pt,
+%   columns=fixed,
+  columns=fullflexible,
+%   aboveskip=4pt,                                  % spacing above/below code block
+%   belowskip=3pt,
   keepspaces=true,
   tabsize=4,
@@ -37 +40 @@
 \lstdefinestyle{cfaStyle}{
   escapeinside={@@},
-  basicstyle=\linespread{0.9}\tt\footnotesize,          % reduce line spacing and use typewriter font
-  keywordstyle=\bfseries\color{blue},
-  keywordstyle=[2]\bfseries\color{Plum},
-  commentstyle=\sf\itshape\color{OliveGreen},             % green and italic comments
-  identifierstyle=\color{identifierCol},
-  stringstyle=\sf\color{Mahogany},                                % use sanserif font
+%  basicstyle=\linespread{0.9}\tt\footnotesize,         % reduce line spacing and use typewriter font
+  basicstyle=\linespread{0.9}\sf,               % reduce line spacing and use typewriter font
+%  keywordstyle=\bfseries\color{blue},
+%  keywordstyle=[2]\bfseries\color{Plum},
+%  commentstyle=\sf\itshape\color{OliveGreen},            % green and italic comments
+%  identifierstyle=\color{identifierCol},
+%  stringstyle=\sf\color{Mahogany},                               % use sanserif font
+  stringstyle=\tt,                                % use sanserif font
   mathescape=true,
-  columns=fixed,
-  aboveskip=4pt,                                  % spacing above/below code block
-  belowskip=3pt,
+%  columns=fixed,
+  columns=fullflexible,
+%  aboveskip=4pt,                                  % spacing above/below code block
+%  belowskip=3pt,
   keepspaces=true,
   tabsize=4,
@@ -54 +60 @@
   showspaces=false,
   showstringspaces=false,
+  showlines=true,                                                       % show blank lines at end of code
   escapechar=\$,
   xleftmargin=\parindentlnth,                     % indent code to paragraph indentation
   moredelim=[is][\color{red}\bfseries]{**R**}{**R**},    % red highlighting
-  morekeywords=[2]{accept, signal, signal_block, wait, waitfor},
+  morekeywords=[2]{accept, signal, signal_block, wait, waitfor, waituntil},
+  abovecaptionskip=5pt,
 }
 

doc/theses/colby_parsons_MMAth/text/CFA_intro.tex

@@ -11 +11 @@
 References in \CFA are similar to references in \CC, however in \CFA references are rebindable, and support multi-level referencing. References in \CFA are a layer of syntactic sugar over pointers to reduce the number of ref/deref operations needed with pointer usage. Some examples of references in \CFA are shown in Listing~\ref{l:cfa_ref}. Another related item to note is that the \CFA equivalent of \CC's \code{nullptr} is \code{0p}.
 
-\begin{cfacode}[tabsize=3,caption={Example of \CFA references},label={l:cfa_ref}]
+\begin{cfacode}[caption={Example of \CFA references},label={l:cfa_ref}]
 int i = 2;
 int & ref_i = i;            // declare ref to i
@@ -32 +32 @@
 
 
-\begin{cfacode}[tabsize=3,caption={Example of \CFA function overloading},label={l:cfa_overload}]
+\begin{cfacode}[caption={Example of \CFA function overloading},label={l:cfa_overload}]
 int foo() { printf("A\n");  return 0;}
 int foo( int bar ) { printf("B\n"); return 1; }

doc/theses/colby_parsons_MMAth/text/frontpgs.tex

@@ -58 +58 @@
 % D E C L A R A T I O N   P A G E
 % -------------------------------
-  % The following is the sample Delaration Page as provided by the GSO
+  % The following is the sample Declaration Page as provided by the GSO
   % December 13th, 2006.  It is designed for an electronic thesis.
   \noindent
@@ -75 +75 @@
 \begin{center}\textbf{Abstract}\end{center}
 
-Concurrent programs are notoriously hard to program and even harder to debug. Furthermore concurrent programs must be performant, as the introduction of concurrency into a program is often done to achieve some form of speedup. This thesis presents a suite of high level concurrent language features in \CFA, all of which are implemented with the aim of improving the performance, productivity, and safety of concurrent programs. \CFA is a non object-oriented programming language that extends C. The foundation for concurrency in \CFA was laid by Thierry Delisle, who implemented coroutines, user-level threads, and monitors\cite{Delisle18}. This thesis builds upon that groundwork and introduces a suite of concurrent features as its main contribution. The features include Go-like channels, mutex statements (similar to \CC scoped locks or Java synchronized statement), an actor system, and a Go-like select statement. The root idea behind these features are not new, but the \CFA implementations improve upon the original ideas in performance, productivity, and safety.
+Concurrent programs are notoriously hard to program and even harder to debug. Furthermore concurrent programs must be performant, as the introduction of concurrency into a program is often done to achieve some form of speedup.
+
+This thesis presents a suite of high-level concurrent-language features in the new programming language \CFA, all of which are implemented with the aim of improving the performance, productivity, and safety of concurrent programs. \CFA is a non object-oriented programming language that extends C. The foundation for concurrency in \CFA was laid by Thierry Delisle~\cite{Delisle18}, who implemented coroutines, user-level threads, and monitors. This thesis builds upon that work and introduces a suite of new concurrent features as its main contribution. The features include Go-like channels, mutex statements (similar to \CC scoped locks or Java synchronized statement), an actor system, and a Go-like select statement. The root ideas behind these features are not new, but the \CFA implementations extends the original ideas in performance, productivity, and safety.
 
 \cleardoublepage

doc/theses/colby_parsons_MMAth/text/intro.tex

@@ -5 +5 @@
 % ======================================================================
 
-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.

doc/theses/colby_parsons_MMAth/thesis.tex

@@ -1 +1 @@
 % requires tex packages: texlive-base texlive-latex-base tex-common texlive-humanities texlive-latex-extra texlive-fonts-recommended
-
-% inline code �...� (copyright symbol) emacs: C-q M-)
-% red highlighting �...� (registered trademark symbol) emacs: C-q M-.
-% blue highlighting �...� (sharp s symbol) emacs: C-q M-_
-% green highlighting �...� (cent symbol) emacs: C-q M-"
-% LaTex escape �...� (section symbol) emacs: C-q M-'
-% keyword escape �...� (pilcrow symbol) emacs: C-q M-^
-% math escape $...$ (dollar symbol)
 
 \documentclass[letterpaper,12pt,titlepage,oneside,final]{book}
@@ -14 +6 @@
 
 % Latex packages used in the document.
+\usepackage{fullpage,times,comment}
+\usepackage{textcomp}
 \usepackage{epic,eepic}
 \usepackage{dirtytalk}

doc/theses/colby_parsons_MMAth/version

@@ -1 @@
-0.0.0
+0.0.15