% 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}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Latex packages used in the document.
\usepackage[T1]{fontenc}					% allow Latin1 (extended ASCII) characters
\usepackage{textcomp}
\usepackage[latin1]{inputenc}
\usepackage{fullpage,times,comment}
\usepackage{epic,eepic}
\usepackage{upquote}						% switch curled `'" to straight
\usepackage{dirtytalk}
\usepackage{calc}
\usepackage{xspace}
\usepackage{graphicx}
\usepackage{tabularx}
\usepackage{multicol}
\usepackage[acronym]{glossaries}
\usepackage{varioref}	
\usepackage{listings}						% format program code
\usepackage[flushmargin]{footmisc}				% support label/reference in footnote
\usepackage{latexsym}						% \Box glyph
\usepackage{mathptmx}						% better math font with "times"
\usepackage[usenames]{color}
\usepackage[pagewise]{lineno}
\usepackage{fancyhdr}
\renewcommand{\linenumberfont}{\scriptsize\sffamily}
\input{style}							% bespoke macros used in the document
\usepackage[dvips,plainpages=false,pdfpagelabels,pdfpagemode=UseNone,colorlinks=true,pagebackref=true,linkcolor=blue,citecolor=blue,urlcolor=blue,pagebackref=true,breaklinks=true]{hyperref}
\usepackage{breakurl}

\usepackage{tikz}
\def\checkmark{\tikz\fill[scale=0.4](0,.35) -- (.25,0) -- (1,.7) -- (.25,.15) -- cycle;}

\renewcommand{\UrlFont}{\small\sf}

\setlength{\topmargin}{-0.45in}				% move running title into header
\setlength{\headsep}{0.25in}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Names used in the document.

\newcommand{\Version}{1.0.0}
\newcommand{\CS}{C\raisebox{-0.9ex}{\large$^\sharp$}\xspace}

\newcommand{\Textbf}[2][red]{{\color{#1}{\textbf{#2}}}}
\newcommand{\Emph}[2][red]{{\color{#1}\textbf{\emph{#2}}}}
\newcommand{\R}[1]{\Textbf{#1}}
\newcommand{\B}[1]{{\Textbf[blue]{#1}}}
\newcommand{\G}[1]{{\Textbf[OliveGreen]{#1}}}
\newcommand{\uC}{$\mu$\CC}
\newcommand{\cit}{\textsuperscript{[Citation Needed]}\xspace}
\newcommand{\TODO}{{\Textbf{TODO}}}

\input{glossary}

\newsavebox{\LstBox}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\setcounter{secnumdepth}{3}                           % number subsubsections
\setcounter{tocdepth}{3}                              % subsubsections in table of contents
% \linenumbers                                       	% comment out to turn off line numbering
\makeindex
\pagestyle{fancy}
\fancyhf{}
\cfoot{\thepage}
\rfoot{v\input{build/version}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\begin{document}
% \linenumbers

\title{Concurrency in \CFA}
\author{Thierry Delisle \\
School of Computer Science, University of Waterloo, \\ Waterloo, Ontario, Canada
}

\maketitle

\tableofcontents

\input{intro}

\input{cforall}

\input{basics}

\input{concurrency}

\input{parallelism}

\chapter{Putting it all together}

\chapter{Conclusion}

\chapter{Future work}
Concurrency and parallelism is still a very active field that strongly benefits from hardware advances. As such certain features that aren't necessarily mature enough in their current state could become relevant in the lifetime of \CFA.
\subsection{Transactions}

\section*{Acknowledgements}

\clearpage
\printglossary[type=\acronymtype]
\printglossary

\clearpage
\bibliographystyle{plain}
\bibliography{cw92,distSharedMem,lfp92,mlw92,parallel,parallelIO,partheory,pl,pldi92,ps,realtime,techreportsPAB,visual,local}


\end{document}
