| [694ee7d] | 1 | % requires tex packages: texlive-base texlive-latex-base tex-common texlive-humanities texlive-latex-extra texlive-fonts-recommended | 
|---|
|  | 2 |  | 
|---|
| [d02aaa9] | 3 | % inline code ©...© (copyright symbol) emacs: C-q M-) | 
|---|
|  | 4 | % red highlighting ®...® (registered trademark symbol) emacs: C-q M-. | 
|---|
|  | 5 | % blue highlighting ß...ß (sharp s symbol) emacs: C-q M-_ | 
|---|
|  | 6 | % green highlighting ¢...¢ (cent symbol) emacs: C-q M-" | 
|---|
|  | 7 | % LaTex escape §...§ (section symbol) emacs: C-q M-' | 
|---|
|  | 8 | % keyword escape ¶...¶ (pilcrow symbol) emacs: C-q M-^ | 
|---|
| [694ee7d] | 9 | % math escape $...$ (dollar symbol) | 
|---|
|  | 10 |  | 
|---|
| [0f9bef3] | 11 | \documentclass[letterpaper,12pt,titlepage,oneside,final]{book} | 
|---|
| [694ee7d] | 12 |  | 
|---|
|  | 13 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% | 
|---|
|  | 14 |  | 
|---|
|  | 15 | % Latex packages used in the document. | 
|---|
| [955d9e43] | 16 | \usepackage[T1]{fontenc}                                        % allow Latin1 (extended ASCII) characters | 
|---|
| [694ee7d] | 17 | \usepackage{textcomp} | 
|---|
|  | 18 | \usepackage[latin1]{inputenc} | 
|---|
|  | 19 | \usepackage{fullpage,times,comment} | 
|---|
|  | 20 | \usepackage{epic,eepic} | 
|---|
| [955d9e43] | 21 | \usepackage{upquote}                                            % switch curled `'" to straight | 
|---|
| [27dde72] | 22 | \usepackage{dirtytalk} | 
|---|
| [694ee7d] | 23 | \usepackage{calc} | 
|---|
|  | 24 | \usepackage{xspace} | 
|---|
|  | 25 | \usepackage{graphicx} | 
|---|
| [7b69174] | 26 | \usepackage{tabularx} | 
|---|
| [0f9bef3] | 27 | \usepackage{multicol} | 
|---|
| [a9aab60] | 28 | \usepackage[acronym]{glossaries} | 
|---|
| [0f9bef3] | 29 | \usepackage{varioref} | 
|---|
| [955d9e43] | 30 | \usepackage{listings}                                           % format program code | 
|---|
|  | 31 | \usepackage[flushmargin]{footmisc}                              % support label/reference in footnote | 
|---|
|  | 32 | \usepackage{latexsym}                                           % \Box glyph | 
|---|
|  | 33 | \usepackage{mathptmx}                                           % better math font with "times" | 
|---|
| [694ee7d] | 34 | \usepackage[usenames]{color} | 
|---|
|  | 35 | \usepackage[pagewise]{lineno} | 
|---|
| [9b4343e] | 36 | \usepackage{fancyhdr} | 
|---|
| [694ee7d] | 37 | \renewcommand{\linenumberfont}{\scriptsize\sffamily} | 
|---|
| [fe84230] | 38 | \input{style}                                                   % bespoke macros used in the document | 
|---|
| [694ee7d] | 39 | \usepackage[dvips,plainpages=false,pdfpagelabels,pdfpagemode=UseNone,colorlinks=true,pagebackref=true,linkcolor=blue,citecolor=blue,urlcolor=blue,pagebackref=true,breaklinks=true]{hyperref} | 
|---|
|  | 40 | \usepackage{breakurl} | 
|---|
| [c69adb7] | 41 |  | 
|---|
| [a9aab60] | 42 | \usepackage{tikz} | 
|---|
|  | 43 | \def\checkmark{\tikz\fill[scale=0.4](0,.35) -- (.25,0) -- (1,.7) -- (.25,.15) -- cycle;} | 
|---|
|  | 44 |  | 
|---|
| [694ee7d] | 45 | \renewcommand{\UrlFont}{\small\sf} | 
|---|
|  | 46 |  | 
|---|
| [955d9e43] | 47 | \setlength{\topmargin}{-0.45in}                         % move running title into header | 
|---|
| [694ee7d] | 48 | \setlength{\headsep}{0.25in} | 
|---|
|  | 49 |  | 
|---|
|  | 50 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% | 
|---|
|  | 51 |  | 
|---|
|  | 52 | % Names used in the document. | 
|---|
|  | 53 |  | 
|---|
|  | 54 | \newcommand{\Version}{1.0.0} | 
|---|
|  | 55 | \newcommand{\CS}{C\raisebox{-0.9ex}{\large$^\sharp$}\xspace} | 
|---|
|  | 56 |  | 
|---|
|  | 57 | \newcommand{\Textbf}[2][red]{{\color{#1}{\textbf{#2}}}} | 
|---|
|  | 58 | \newcommand{\Emph}[2][red]{{\color{#1}\textbf{\emph{#2}}}} | 
|---|
|  | 59 | \newcommand{\R}[1]{\Textbf{#1}} | 
|---|
|  | 60 | \newcommand{\B}[1]{{\Textbf[blue]{#1}}} | 
|---|
|  | 61 | \newcommand{\G}[1]{{\Textbf[OliveGreen]{#1}}} | 
|---|
|  | 62 | \newcommand{\uC}{$\mu$\CC} | 
|---|
|  | 63 | \newcommand{\cit}{\textsuperscript{[Citation Needed]}\xspace} | 
|---|
| [0f9bef3] | 64 | \newcommand{\TODO}{{\Textbf{TODO}}} | 
|---|
| [694ee7d] | 65 |  | 
|---|
| [c69adb7] | 66 | \input{glossary} | 
|---|
| [694ee7d] | 67 |  | 
|---|
|  | 68 | \newsavebox{\LstBox} | 
|---|
|  | 69 |  | 
|---|
|  | 70 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% | 
|---|
|  | 71 |  | 
|---|
| [27dde72] | 72 | \setcounter{secnumdepth}{3}                           % number subsubsections | 
|---|
|  | 73 | \setcounter{tocdepth}{3}                              % subsubsections in table of contents | 
|---|
|  | 74 | % \linenumbers                                          % comment out to turn off line numbering | 
|---|
| [694ee7d] | 75 | \makeindex | 
|---|
| [9b4343e] | 76 | \pagestyle{fancy} | 
|---|
|  | 77 | \fancyhf{} | 
|---|
|  | 78 | \cfoot{\thepage} | 
|---|
| [bf70aa9] | 79 | \rfoot{v\input{version}} | 
|---|
| [694ee7d] | 80 |  | 
|---|
|  | 81 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% | 
|---|
|  | 82 |  | 
|---|
|  | 83 | \begin{document} | 
|---|
|  | 84 | % \linenumbers | 
|---|
|  | 85 |  | 
|---|
|  | 86 | \title{Concurrency in \CFA} | 
|---|
|  | 87 | \author{Thierry Delisle \\ | 
|---|
| [955d9e43] | 88 | School of Computer Science, University of Waterloo, \\ Waterloo, Ontario, Canada | 
|---|
| [694ee7d] | 89 | } | 
|---|
|  | 90 |  | 
|---|
|  | 91 | \maketitle | 
|---|
| [efe4d730] | 92 |  | 
|---|
| [27dde72] | 93 | \tableofcontents | 
|---|
| [efe4d730] | 94 |  | 
|---|
| [27dde72] | 95 | \input{intro} | 
|---|
| [694ee7d] | 96 |  | 
|---|
| [7c17511] | 97 | \input{cforall} | 
|---|
|  | 98 |  | 
|---|
| [27dde72] | 99 | \input{basics} | 
|---|
| [694ee7d] | 100 |  | 
|---|
| [27dde72] | 101 | \input{concurrency} | 
|---|
| [efe4d730] | 102 |  | 
|---|
| [27dde72] | 103 | \input{parallelism} | 
|---|
| [694ee7d] | 104 |  | 
|---|
| [0f9bef3] | 105 | \chapter{Putting it all together} | 
|---|
|  | 106 |  | 
|---|
|  | 107 | \chapter{Conclusion} | 
|---|
| [efe4d730] | 108 |  | 
|---|
| [0f9bef3] | 109 | \chapter{Future work} | 
|---|
| [c69adb7] | 110 | 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. | 
|---|
|  | 111 | \subsection{Transactions} | 
|---|
| [694ee7d] | 112 |  | 
|---|
|  | 113 | \section*{Acknowledgements} | 
|---|
|  | 114 |  | 
|---|
| [c69adb7] | 115 | \clearpage | 
|---|
| [a9aab60] | 116 | \printglossary[type=\acronymtype] | 
|---|
| [c69adb7] | 117 | \printglossary | 
|---|
| [694ee7d] | 118 |  | 
|---|
| [c69adb7] | 119 | \clearpage | 
|---|
| [694ee7d] | 120 | \bibliographystyle{plain} | 
|---|
| [efe4d730] | 121 | \bibliography{cw92,distSharedMem,lfp92,mlw92,parallel,parallelIO,partheory,pl,pldi92,ps,realtime,techreportsPAB,visual,local} | 
|---|
| [694ee7d] | 122 |  | 
|---|
|  | 123 |  | 
|---|
|  | 124 | \end{document} | 
|---|