[694ee7d] | 1 | % requires tex packages: texlive-base texlive-latex-base tex-common texlive-humanities texlive-latex-extra texlive-fonts-recommended
|
---|
| 2 |
|
---|
[d67cdb7] | 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}
|
---|
[d67cdb7] | 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}
|
---|
[64b272a] | 37 | \usepackage{float}
|
---|
[694ee7d] | 38 | \renewcommand{\linenumberfont}{\scriptsize\sffamily}
|
---|
[64b272a] | 39 | \usepackage{siunitx}
|
---|
| 40 | \sisetup{ binary-units=true }
|
---|
[fe84230] | 41 | \input{style} % bespoke macros used in the document
|
---|
[694ee7d] | 42 | \usepackage[dvips,plainpages=false,pdfpagelabels,pdfpagemode=UseNone,colorlinks=true,pagebackref=true,linkcolor=blue,citecolor=blue,urlcolor=blue,pagebackref=true,breaklinks=true]{hyperref}
|
---|
| 43 | \usepackage{breakurl}
|
---|
[c69adb7] | 44 |
|
---|
[a9aab60] | 45 | \usepackage{tikz}
|
---|
| 46 | \def\checkmark{\tikz\fill[scale=0.4](0,.35) -- (.25,0) -- (1,.7) -- (.25,.15) -- cycle;}
|
---|
| 47 |
|
---|
[694ee7d] | 48 | \renewcommand{\UrlFont}{\small\sf}
|
---|
| 49 |
|
---|
[955d9e43] | 50 | \setlength{\topmargin}{-0.45in} % move running title into header
|
---|
[694ee7d] | 51 | \setlength{\headsep}{0.25in}
|
---|
| 52 |
|
---|
| 53 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
---|
| 54 |
|
---|
| 55 | % Names used in the document.
|
---|
| 56 |
|
---|
| 57 | \newcommand{\Version}{1.0.0}
|
---|
| 58 | \newcommand{\CS}{C\raisebox{-0.9ex}{\large$^\sharp$}\xspace}
|
---|
| 59 |
|
---|
| 60 | \newcommand{\Textbf}[2][red]{{\color{#1}{\textbf{#2}}}}
|
---|
| 61 | \newcommand{\Emph}[2][red]{{\color{#1}\textbf{\emph{#2}}}}
|
---|
| 62 | \newcommand{\R}[1]{\Textbf{#1}}
|
---|
| 63 | \newcommand{\B}[1]{{\Textbf[blue]{#1}}}
|
---|
| 64 | \newcommand{\G}[1]{{\Textbf[OliveGreen]{#1}}}
|
---|
| 65 | \newcommand{\uC}{$\mu$\CC}
|
---|
| 66 | \newcommand{\cit}{\textsuperscript{[Citation Needed]}\xspace}
|
---|
[0f9bef3] | 67 | \newcommand{\TODO}{{\Textbf{TODO}}}
|
---|
[694ee7d] | 68 |
|
---|
[c69adb7] | 69 | \input{glossary}
|
---|
[694ee7d] | 70 |
|
---|
| 71 | \newsavebox{\LstBox}
|
---|
| 72 |
|
---|
| 73 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
---|
| 74 |
|
---|
[fb31cb8] | 75 | \setcounter{secnumdepth}{2} % number subsubsections
|
---|
| 76 | \setcounter{tocdepth}{2} % subsubsections in table of contents
|
---|
[27dde72] | 77 | % \linenumbers % comment out to turn off line numbering
|
---|
[694ee7d] | 78 | \makeindex
|
---|
[9b4343e] | 79 | \pagestyle{fancy}
|
---|
| 80 | \fancyhf{}
|
---|
| 81 | \cfoot{\thepage}
|
---|
[bf70aa9] | 82 | \rfoot{v\input{version}}
|
---|
[694ee7d] | 83 |
|
---|
| 84 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
---|
| 85 |
|
---|
| 86 | \begin{document}
|
---|
| 87 | % \linenumbers
|
---|
| 88 |
|
---|
| 89 | \title{Concurrency in \CFA}
|
---|
| 90 | \author{Thierry Delisle \\
|
---|
[955d9e43] | 91 | School of Computer Science, University of Waterloo, \\ Waterloo, Ontario, Canada
|
---|
[694ee7d] | 92 | }
|
---|
| 93 |
|
---|
| 94 | \maketitle
|
---|
[efe4d730] | 95 |
|
---|
[27dde72] | 96 | \tableofcontents
|
---|
[efe4d730] | 97 |
|
---|
[27dde72] | 98 | \input{intro}
|
---|
[694ee7d] | 99 |
|
---|
[7c17511] | 100 | \input{cforall}
|
---|
| 101 |
|
---|
[27dde72] | 102 | \input{basics}
|
---|
[694ee7d] | 103 |
|
---|
[27dde72] | 104 | \input{concurrency}
|
---|
[efe4d730] | 105 |
|
---|
[27dde72] | 106 | \input{parallelism}
|
---|
[694ee7d] | 107 |
|
---|
[dcfc4b35] | 108 | \input{internals}
|
---|
| 109 |
|
---|
[d67cdb7] | 110 | \input{together}
|
---|
[0f9bef3] | 111 |
|
---|
[64b272a] | 112 | \input{results}
|
---|
| 113 |
|
---|
[d67cdb7] | 114 | \input{future}
|
---|
[efe4d730] | 115 |
|
---|
[d67cdb7] | 116 | \chapter{Conclusion}
|
---|
[694ee7d] | 117 |
|
---|
| 118 | \section*{Acknowledgements}
|
---|
| 119 |
|
---|
[c69adb7] | 120 | \clearpage
|
---|
[a9aab60] | 121 | \printglossary[type=\acronymtype]
|
---|
[c69adb7] | 122 | \printglossary
|
---|
[694ee7d] | 123 |
|
---|
[c69adb7] | 124 | \clearpage
|
---|
[694ee7d] | 125 | \bibliographystyle{plain}
|
---|
[efe4d730] | 126 | \bibliography{cw92,distSharedMem,lfp92,mlw92,parallel,parallelIO,partheory,pl,pldi92,ps,realtime,techreportsPAB,visual,local}
|
---|
[694ee7d] | 127 |
|
---|
| 128 |
|
---|
| 129 | \end{document}
|
---|