source: doc/proposals/concurrency/thesis.tex @ 78372fd

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since 78372fd was 27dde72, checked in by Thierry Delisle <tdelisle@…>, 7 years ago

Major update to the concurrency proposal to be based on multiple files

  • 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{basics}
98
99\input{concurrency}
100
101\input{parallelism}
102
103\chapter{Putting it all together}
104
105\chapter{Conclusion}
106
107\chapter{Future work}
108Concurrency 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.
109\subsection{Transactions}
110
111\section*{Acknowledgements}
112
113\clearpage
114\printglossary[type=\acronymtype]
115\printglossary
116
117\clearpage
118\bibliographystyle{plain}
119\bibliography{cw92,distSharedMem,lfp92,mlw92,parallel,parallelIO,partheory,pl,pldi92,ps,realtime,techreportsPAB,visual,local}
120
121
122\end{document}
Note: See TracBrowser for help on using the repository browser.