\relax 
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
\global\let\oldcontentsline\contentsline
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global\let\oldnewlabel\newlabel
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand*\HyPL@Entry[1]{}
\abx@aux@sortscheme{nty}
\HyPL@Entry{0<</S/D>>}
\@writefile{toc}{\boolfalse {citerequest}\boolfalse {citetracker}\boolfalse {pagetracker}\boolfalse {backtracker}\relax }
\@writefile{lof}{\boolfalse {citerequest}\boolfalse {citetracker}\boolfalse {pagetracker}\boolfalse {backtracker}\relax }
\@writefile{lot}{\boolfalse {citerequest}\boolfalse {citetracker}\boolfalse {pagetracker}\boolfalse {backtracker}\relax }
\select@language{english}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\select@language{english}}
\@writefile{lof}{\defcounter {refsection}{0}\relax }\@writefile{lof}{\select@language{english}}
\@writefile{lot}{\defcounter {refsection}{0}\relax }\@writefile{lot}{\select@language{english}}
\abx@aux@cite{dyson}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{5}{section.0.1}}
\@writefile{lof}{\defcounter {refsection}{0}\relax }\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Real-time System\relax }}{5}{figure.0.1}}
\@writefile{lof}{\defcounter {refsection}{0}\relax }\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Hierarchical Scheduler\relax }}{5}{figure.0.2}}
\abx@aux@cite{stigge}
\@writefile{lof}{\defcounter {refsection}{0}\relax }\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Response Time\relax }}{6}{figure.0.3}}
\@writefile{lof}{\defcounter {refsection}{0}\relax }\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Deadline\relax }}{6}{figure.0.4}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}goal}{7}{subsection.0.1.1}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}criticality groups}{7}{subsection.0.1.2}}
\@writefile{lof}{\defcounter {refsection}{0}\relax }\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces Real-time Operating System\relax }}{8}{figure.0.5}}
\@writefile{lof}{\defcounter {refsection}{0}\relax }\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces Schedulability\relax }}{9}{figure.0.6}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}real-time isolation}{9}{subsection.0.1.3}}
\@writefile{lof}{\defcounter {refsection}{0}\relax }\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces Predictable\relax }}{9}{figure.0.7}}
\abx@aux@cite{unix_intro}
\@writefile{lof}{\defcounter {refsection}{0}\relax }\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces Resources\relax }}{10}{figure.0.8}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {1.4}different kinds of computer systems}{10}{subsection.0.1.4}}
\abx@aux@cite{rtspls}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.4.1}hybrids and gray zones}{11}{subsubsection.0.1.4.1}}
\abx@aux@cite{rtss}
\abx@aux@cite{rtssva}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.4.2}where does this project fit in?}{12}{subsubsection.0.1.4.2}}
\@writefile{lof}{\defcounter {refsection}{0}\relax }\@writefile{lof}{\contentsline {figure}{\numberline {9}{\ignorespaces WCET\relax }}{12}{figure.0.9}}
\abx@aux@cite{linux}
\@writefile{lof}{\defcounter {refsection}{0}\relax }\@writefile{lof}{\contentsline {figure}{\numberline {10}{\ignorespaces Scheduler\relax }}{13}{figure.0.10}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {1.5}why a real-time multicore?}{13}{subsection.0.1.5}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {1.6}meta}{14}{subsection.0.1.6}}
\abx@aux@cite{ieee_hs}
\abx@aux@cite{heechul}
\abx@aux@cite{heechul2}
\abx@aux@cite{memory-architectures-for-noc-based}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {section}{\numberline {2}Related work}{15}{section.0.2}}
\@writefile{lof}{\defcounter {refsection}{0}\relax }\@writefile{lof}{\contentsline {figure}{\numberline {11}{\ignorespaces EDF\relax }}{15}{figure.0.11}}
\abx@aux@cite{workload-aware-shaping-of-shared}
\abx@aux@cite{mapping-mixed-criticality-applications-on}
\abx@aux@cite{privatization-and-fixed-priority-scheduling}
\abx@aux@cite{scheduling-of-mixed-criticality-applications}
\abx@aux@cite{media}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {section}{\numberline {3}System overview: two cores, shared DRAM}{18}{section.0.3}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}the critical core}{18}{subsection.0.3.1}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}isolation between the cores}{18}{subsection.0.3.2}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}the best-effort core}{18}{subsection.0.3.3}}
\abx@aux@cite{cpp}
\abx@aux@cite{lang}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {section}{\numberline {4}The Linux implementation}{20}{section.0.4}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}the real-time system}{20}{subsection.0.4.1}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}the critical tasks}{21}{subsection.0.4.2}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}\texttt  {perf\_event\_open(2)}}{21}{subsection.0.4.3}}
\newlabel{poll}{{4.3}{21}{\texttt {perf\_event\_open(2)}}{subsection.0.4.3}{}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {4.4}\texttt  {cgroups}}{22}{subsection.0.4.4}}
\abx@aux@cite{advunix}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {section}{\numberline {5}Real-time Linux and Unix}{23}{section.0.5}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Linux real-time schedulers}{23}{subsection.0.5.1}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}the Linux and C++ clocks}{24}{subsection.0.5.2}}
\newlabel{clocks}{{5.2}{24}{the Linux and C++ clocks}{subsection.0.5.2}{}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {5.3}hardware}{26}{subsection.0.5.3}}
\newlabel{caches}{{5.3}{27}{hardware}{subsection.0.5.3}{}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {5.4}isolation}{29}{subsection.0.5.4}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.4.1}starvation}{30}{subsubsection.0.5.4.1}}
\newlabel{starvation}{{5.4.1}{30}{starvation}{subsubsection.0.5.4.1}{}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.4.2}isolating the cores on Linux}{30}{subsubsection.0.5.4.2}}
\newlabel{grub}{{5.4.2}{30}{isolating the cores on Linux}{subsubsection.0.5.4.2}{}}
\newlabel{remaining-processes}{{5.4.2}{31}{isolating the cores on Linux}{subsubsection.0.5.4.2}{}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {section}{\numberline {6}Scheduling}{32}{section.0.6}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {6.1}algorithm}{33}{subsection.0.6.1}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {6.2}step-by-step description}{34}{subsection.0.6.2}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {6.3}task priority}{34}{subsection.0.6.3}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {section}{\numberline {7}The task finite state machine}{36}{section.0.7}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {7.1}transitions}{36}{subsection.0.7.1}}
\gdef \LT@i {\LT@entry 
    {1}{89.99881pt}\LT@entry 
    {1}{284.99881pt}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {7.2}states}{37}{subsection.0.7.2}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {section}{\numberline {8}System description}{38}{section.0.8}}
\gdef \LT@ii {\LT@entry 
    {1}{70.49762pt}\LT@entry 
    {1}{70.49762pt}\LT@entry 
    {1}{70.49762pt}\LT@entry 
    {1}{207.0pt}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {8.1}the top-scheduler}{39}{subsection.0.8.1}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {8.2}how the time parameters relate}{40}{subsection.0.8.2}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {8.3}task scheduler}{40}{subsection.0.8.3}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsubsection}{\numberline {8.3.1}$m_{i}$, the maximum best-effort core memory accesses}{41}{subsubsection.0.8.3.1}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsubsection}{\numberline {8.3.2}$b_{i}$, the CPU-budget}{41}{subsubsection.0.8.3.2}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsubsection}{\numberline {8.3.3}$\alpha _{i}$, the (task) scheduling algorithm}{41}{subsubsection.0.8.3.3}}
\abx@aux@cite{periodicmodel}
\abx@aux@cite{mok}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {8.4}$P_{i}$, the sporadic task set}{42}{subsection.0.8.4}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {8.5}the sporadic task model}{42}{subsection.0.8.5}}
\newlabel{sporadic-task-model}{{8.5}{42}{the sporadic task model}{subsection.0.8.5}{}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsubsection}{\numberline {8.5.1}task parameters}{42}{subsubsection.0.8.5.1}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsubsection}{\numberline {8.5.2}task properties}{43}{subsubsection.0.8.5.2}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {section}{\numberline {9}Schedulability method: response time}{44}{section.0.9}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {9.1}$r_{j}$, the worst-case response-time for $t_{j}$}{44}{subsection.0.9.1}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsubsection}{\numberline {9.1.1}$Q_{j}$, queuing}{44}{subsubsection.0.9.1.1}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsubsection}{\numberline {9.1.2}$z$, the response time in global periods}{45}{subsubsection.0.9.1.2}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsubsection}{\numberline {9.1.3}$Q^{g}_{j}$, group deadline queuing}{45}{subsubsection.0.9.1.3}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsubsection}{\numberline {9.1.4}$Q^{s}_{j}$, cross-group (system) deadline queuing}{45}{subsubsection.0.9.1.4}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsubsection}{\numberline {9.1.5}depletion queuing}{46}{subsubsection.0.9.1.5}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsubsection}{\numberline {9.1.6}$o_{j}$, the scheduling overhead}{46}{subsubsection.0.9.1.6}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {9.2}$i_{j}$, interference from the best-effort core}{46}{subsection.0.9.2}}
\abx@aux@cite{hyoseung}
\newlabel{timed-memory-access}{{9.2}{47}{$i_{j}$, interference from the best-effort core}{subsection.0.9.2}{}}
\abx@aux@cite{baruah}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {section}{\numberline {10}Schedulability method: resource server}{48}{section.0.10}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {10.1}interval length}{49}{subsection.0.10.1}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {10.2}\texttt  {sbf}}{49}{subsection.0.10.2}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {10.3}\texttt  {dbf}}{51}{subsection.0.10.3}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {section}{\numberline {11}Experiments}{52}{section.0.11}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {11.1}building blocks}{52}{subsection.0.11.1}}
\newlabel{stress-warning}{{11.1}{53}{building blocks}{subsection.0.11.1}{}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {11.2}design}{54}{subsection.0.11.2}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {11.3}zsh wrappers}{54}{subsection.0.11.3}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {section}{\numberline {12}Contention experiment}{55}{section.0.12}}
\newlabel{contention-experiment}{{12}{55}{Contention experiment}{section.0.12}{}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {12.1}setup}{55}{subsection.0.12.1}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {12.2}conclusion}{56}{subsection.0.12.2}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {section}{\numberline {13}Best-effort core memory experiment}{57}{section.0.13}}
\newlabel{memory-experiment}{{13}{57}{Best-effort core memory experiment}{section.0.13}{}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {13.1}the importance of this experiment: delays and overheads}{57}{subsection.0.13.1}}
\newlabel{black-list}{{13.1}{57}{the importance of this experiment: delays and overheads}{subsection.0.13.1}{}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {13.2}systems}{58}{subsection.0.13.2}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsubsection}{\numberline {13.2.1}one-scheduler system: \texttt  {base-faculty-1}}{58}{subsubsection.0.13.2.1}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsubsection}{\numberline {13.2.2}two-scheduler system: \texttt  {base-faculty-2}}{59}{subsubsection.0.13.2.2}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {13.3}conclusion}{61}{subsection.0.13.3}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {section}{\numberline {14}\texttt  {hs} task systems experiment}{62}{section.0.14}}
\newlabel{task-system-experiment}{{14}{62}{\texttt {hs} task systems experiment}{section.0.14}{}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {14.1}setup}{62}{subsection.0.14.1}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {14.2}what is a task system?}{62}{subsection.0.14.2}}
\gdef \LT@iii {\LT@entry 
    {1}{140.70071pt}\LT@entry 
    {1}{273.29929pt}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {14.3}simulation issues}{63}{subsection.0.14.3}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {14.4}the result data}{63}{subsection.0.14.4}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {14.5}systems and results}{64}{subsection.0.14.5}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsubsection}{\numberline {14.5.1}\texttt  {base}}{64}{subsubsection.0.14.5.1}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsubsection}{\numberline {14.5.2}\texttt  {long-ticks}}{65}{subsubsection.0.14.5.2}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsubsection}{\numberline {14.5.3}\texttt  {long-period}}{66}{subsubsection.0.14.5.3}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {14.6}conclusion}{67}{subsection.0.14.6}}
\abx@aux@cite{multiframe}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {section}{\numberline {15}Linux processes experiment}{68}{section.0.15}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {15.1}advantages}{68}{subsection.0.15.1}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {15.2}disadvantages}{69}{subsection.0.15.2}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {15.3}systems and results}{69}{subsection.0.15.3}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsubsection}{\numberline {15.3.1}\texttt  {base-p}}{69}{subsubsection.0.15.3.1}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsubsection}{\numberline {15.3.2}\texttt  {base-p-no-memory-budget}}{70}{subsubsection.0.15.3.2}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {15.4}conclusion}{71}{subsection.0.15.4}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {section}{\numberline {16}Real real-time: audio experiment}{73}{section.0.16}}
\newlabel{audio-experiment}{{16}{73}{Real real-time: audio experiment}{section.0.16}{}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {16.1}system}{74}{subsection.0.16.1}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {16.2}execution}{75}{subsection.0.16.2}}
\newlabel{high-frequency-problem}{{16.2}{76}{execution}{subsection.0.16.2}{}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {16.3}ideal fallout}{77}{subsection.0.16.3}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {16.4}conclusion}{77}{subsection.0.16.4}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {section}{\numberline {17}Conclusion}{79}{section.0.17}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {section}{\numberline {18}References}{81}{section.0.18}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {section}{\numberline {A}Appendix A: Memory experiment fallout}{83}{section.Alph0.1}}
\newlabel{memory-experiment-fallout}{{A}{83}{Appendix A: Memory experiment fallout}{section.Alph0.1}{}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {A.a}\texttt  {base-faculty-1}}{84}{subsection.Alph0.1.1}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {A.b}\texttt  {base-faculty-2}}{85}{subsection.Alph0.1.2}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {section}{\numberline {B}Appendix B: Formulas}{86}{section.Alph0.2}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {B.a}system}{86}{subsection.Alph0.2.1}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {B.b}sporadic task model}{86}{subsection.Alph0.2.2}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {B.c}response time}{86}{subsection.Alph0.2.3}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {B.d}resource server}{86}{subsection.Alph0.2.4}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsubsection}{\numberline {B.d.a}supply}{87}{subsubsection.Alph0.2.4.1}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsubsection}{\numberline {B.d.b}demand}{87}{subsubsection.Alph0.2.4.2}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {section}{\numberline {C}Appendix C: \texttt  {hs} code}{88}{section.Alph0.3}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {C.a}man page for \texttt  {hs}}{88}{subsection.Alph0.3.1}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{../hs.txt}{88}{lstlisting.Alph0.-1}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {C.b}\texttt  {ask}}{92}{subsection.Alph0.3.2}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/public\textunderscore html/hs\textendash linux/src/include/ask.hh}{92}{lstlisting.Alph0.-2}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/public\textunderscore html/hs\textendash linux/src/ask.cc}{92}{lstlisting.Alph0.-3}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {C.c}\texttt  {be}}{92}{subsection.Alph0.3.3}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/public\textunderscore html/hs\textendash linux/src/include/be.hh}{92}{lstlisting.Alph0.-4}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/public\textunderscore html/hs\textendash linux/src/be.cc}{93}{lstlisting.Alph0.-5}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {C.d}\texttt  {file\_io}}{94}{subsection.Alph0.3.4}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/public\textunderscore html/hs\textendash linux/src/include/file\textunderscore io.hh}{94}{lstlisting.Alph0.-6}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/public\textunderscore html/hs\textendash linux/src/file\textunderscore io.cc}{94}{lstlisting.Alph0.-7}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {C.e}\texttt  {global\_scheduler}}{95}{subsection.Alph0.3.5}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/public\textunderscore html/hs\textendash linux/src/include/global\textunderscore scheduler.hh}{95}{lstlisting.Alph0.-8}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/public\textunderscore html/hs\textendash linux/src/global\textunderscore scheduler.cc}{96}{lstlisting.Alph0.-9}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {C.f}\texttt  {llc}}{105}{subsection.Alph0.3.6}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/public\textunderscore html/hs\textendash linux/src/include/llc.hh}{105}{lstlisting.Alph0.-10}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/public\textunderscore html/hs\textendash linux/src/llc.cc}{106}{lstlisting.Alph0.-11}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {C.g}\texttt  {log}}{107}{subsection.Alph0.3.7}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/public\textunderscore html/hs\textendash linux/src/include/log.hh}{107}{lstlisting.Alph0.-12}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/public\textunderscore html/hs\textendash linux/src/log.cc}{108}{lstlisting.Alph0.-13}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {C.h}\texttt  {main}}{109}{subsection.Alph0.3.8}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/public\textunderscore html/hs\textendash linux/src/include/main.hh}{109}{lstlisting.Alph0.-14}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/public\textunderscore html/hs\textendash linux/src/main.cc}{109}{lstlisting.Alph0.-15}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {C.i}\texttt  {options}}{110}{subsection.Alph0.3.9}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/public\textunderscore html/hs\textendash linux/src/include/options.hh}{110}{lstlisting.Alph0.-16}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/public\textunderscore html/hs\textendash linux/src/options.cc}{110}{lstlisting.Alph0.-17}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {C.j}\texttt  {program}}{113}{subsection.Alph0.3.10}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/public\textunderscore html/hs\textendash linux/src/include/program.hh}{113}{lstlisting.Alph0.-18}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/public\textunderscore html/hs\textendash linux/src/program.cc}{113}{lstlisting.Alph0.-19}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {C.k}\texttt  {sporadic\_task}}{114}{subsection.Alph0.3.11}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/public\textunderscore html/hs\textendash linux/src/include/sporadic\textunderscore task.hh}{114}{lstlisting.Alph0.-20}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/public\textunderscore html/hs\textendash linux/src/sporadic\textunderscore task.cc}{115}{lstlisting.Alph0.-21}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {C.l}\texttt  {task\_scheduler}}{119}{subsection.Alph0.3.12}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/public\textunderscore html/hs\textendash linux/src/include/task\textunderscore scheduler.hh}{119}{lstlisting.Alph0.-22}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/public\textunderscore html/hs\textendash linux/src/task\textunderscore scheduler.cc}{120}{lstlisting.Alph0.-23}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {C.m}\texttt  {tcb}}{126}{subsection.Alph0.3.13}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/public\textunderscore html/hs\textendash linux/src/include/tcb.hh}{126}{lstlisting.Alph0.-24}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/public\textunderscore html/hs\textendash linux/src/tcb.cc}{128}{lstlisting.Alph0.-25}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {C.n}\texttt  {time\_io}}{135}{subsection.Alph0.3.14}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/public\textunderscore html/hs\textendash linux/src/include/time\textunderscore io.hh}{135}{lstlisting.Alph0.-26}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/public\textunderscore html/hs\textendash linux/src/time\textunderscore io.cc}{135}{lstlisting.Alph0.-27}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {section}{\numberline {D}Appendix D: experiment code and example data}{136}{section.Alph0.4}}
\newlabel{code}{{D}{136}{Appendix D: experiment code and example data}{section.Alph0.4}{}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {D.a}example \texttt  {hs} system}{136}{subsection.Alph0.4.1}}
\newlabel{example-hs-task-system}{{D.a}{136}{Appendix D: experiment code and example data}{subsection.Alph0.4.1}{}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {D.b}useful zsh commands}{137}{subsection.Alph0.4.2}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/.zsh/be\textendash task}{137}{lstlisting.Alph0.-28}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/.zsh/be\textendash monitor}{138}{lstlisting.Alph0.-29}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/.zsh/be\textendash paths}{139}{lstlisting.Alph0.-30}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/.zsh/be\textendash signals}{139}{lstlisting.Alph0.-31}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {D.c}zsh wrapper to run experiments}{141}{subsection.Alph0.4.3}}
\newlabel{functions}{{D.c}{141}{Appendix D: experiment code and example data}{subsection.Alph0.4.3}{}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/.zsh/be\textendash experiment}{141}{lstlisting.Alph0.-32}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/.zsh/be\textendash experiment\textendash setup}{142}{lstlisting.Alph0.-33}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/.zsh/be\textendash compile\textendash elisp}{143}{lstlisting.Alph0.-34}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/.zsh/be\textendash contention\textendash experiment}{143}{lstlisting.Alph0.-35}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/.zsh/be\textendash memory\textendash experiment}{144}{lstlisting.Alph0.-36}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/.zsh/be\textendash system\textendash experiment}{145}{lstlisting.Alph0.-37}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/.zsh/be\textendash process\textendash experiment}{147}{lstlisting.Alph0.-38}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/.zsh/be\textendash audio\textendash experiment}{147}{lstlisting.Alph0.-39}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {subsection}{\numberline {D.d}tick trace cruncher in Elisp}{149}{subsection.Alph0.4.4}}
\@writefile{lol}{\defcounter {refsection}{0}\relax }\@writefile{lol}{\contentsline {lstlisting}{/home/incal/public\textunderscore html/hs\textendash linux/src/times.el}{149}{lstlisting.Alph0.-40}}
\@writefile{toc}{\defcounter {refsection}{0}\relax }\@writefile{toc}{\contentsline {section}{\numberline {$\rightarrow $}Index}{150}{section.Alph0.5}}