source: doc/proposals/concurrency/thesis.tex @ 7c17511

aaron-thesisarm-ehcleanup-dtorsdeferred_resndemanglerjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newwith_gc
Last change on this file since 7c17511 was 7c17511, checked in by Thierry Delisle <tdelisle@…>, 4 years ago

More work on the basics section

  • Property mode set to 100644
File size: 3.8 KB
Line 
1% requires tex packages: texlive-base texlive-latex-base tex-common texlive-humanities texlive-latex-extra texlive-fonts-recommended
2
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-^
9% math escape $...$ (dollar symbol)
10
11\documentclass[letterpaper,12pt,titlepage,oneside,final]{book}
12
13%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
14
15% Latex packages used in the document.
16\usepackage[T1]{fontenc}                                        % allow Latin1 (extended ASCII) characters
17\usepackage{textcomp}
18\usepackage[latin1]{inputenc}
19\usepackage{fullpage,times,comment}
20\usepackage{epic,eepic}
21\usepackage{upquote}                                            % switch curled `'" to straight
22\usepackage{dirtytalk}
23\usepackage{calc}
24\usepackage{xspace}
25\usepackage{graphicx}
26\usepackage{tabularx}
27\usepackage{multicol}
28\usepackage[acronym]{glossaries}
29\usepackage{varioref}   
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"
34\usepackage[usenames]{color}
35\usepackage[pagewise]{lineno}
36\usepackage{fancyhdr}
37\renewcommand{\linenumberfont}{\scriptsize\sffamily}
38\input{style}                                                   % bespoke macros used in the document
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}
41
42\usepackage{tikz}
43\def\checkmark{\tikz\fill[scale=0.4](0,.35) -- (.25,0) -- (1,.7) -- (.25,.15) -- cycle;}
44
45\renewcommand{\UrlFont}{\small\sf}
46
47\setlength{\topmargin}{-0.45in}                         % move running title into header
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}
64\newcommand{\TODO}{{\Textbf{TODO}}}
65
66\input{glossary}
67
68\newsavebox{\LstBox}
69
70%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
71
72\setcounter{secnumdepth}{3}                           % number subsubsections
73\setcounter{tocdepth}{3}                              % subsubsections in table of contents
74% \linenumbers                                          % comment out to turn off line numbering
75\makeindex
76\pagestyle{fancy}
77\fancyhf{}
78\cfoot{\thepage}
79\rfoot{v\input{build/version}}
80
81%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
82
83\begin{document}
84% \linenumbers
85
86\title{Concurrency in \CFA}
87\author{Thierry Delisle \\
88School of Computer Science, University of Waterloo, \\ Waterloo, Ontario, Canada
89}
90
91\maketitle
92
93\tableofcontents
94
95\input{intro}
96
97\input{cforall}
98
99\input{basics}
100
101\input{concurrency}
102
103\input{parallelism}
104
105\chapter{Putting it all together}
106
107\chapter{Conclusion}
108
109\chapter{Future work}
110Concurrency 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}
112
113\section*{Acknowledgements}
114
115\clearpage
116\printglossary[type=\acronymtype]
117\printglossary
118
119\clearpage
120\bibliographystyle{plain}
121\bibliography{cw92,distSharedMem,lfp92,mlw92,parallel,parallelIO,partheory,pl,pldi92,ps,realtime,techreportsPAB,visual,local}
122
123
124\end{document}
Note: See TracBrowser for help on using the repository browser.