%-------------------------------------------------------------------------------
\rotatefoilhead{{\Brown{\ \\ \  \\ \Large Rollback Recovery Techniques
for \\ Reliable Distributed Systems}}}
\vspace{0.2in}
\begin{center}
{\Large Ashis Tarafdar} \\ \ \\
{ashis@cs.utexas.edu} \\
\vspace{1in}
\begin{small}
\vspace{0.3in}
{Department of Computer Sciences}\\
{University of Texas at Austin}\\
{Austin, TX 78712}\\ \ \\
\end{small}
\end{center}
\setcounter{page}{1}

%-------------------------------------------------------------------------------
\movedUpBody{-0.75in}{\Brown{Fault Prevention vs Fault Tolerance}}
\vspace{0.5in}
\begin{tabbing}
xxxxxx\= xxxxx\= xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx\= \kill
\>$\bullet$ {\bf Fault prevention:}\\
\>\> $-$ before software deployment\\ 
\>\> $-$ e.g. programming language support, debugging tools\\ \\
\>$\bullet$ {\bf Fault tolerance:}\\
\>\> $-$ after software deployment\\ 
\>\> $-$ expected: $\approx$ 3 bugs per 1000 lines of code \ \ \Gray{[Gray \& Reuter 93]}\\ \\
\end{tabbing}
%-------------------------------------------------------------------------------

\movedUpBody{-0.75in}{\Brown{Coordinated Logging: Operation}}
\vspace{0.3in}
\begin{center}
	\begin{figure*}
	\epsfxsize=5.0in
	\centerline{\epsfbox{Figures/214.eps}}
	\end{figure*}
\vspace{0.2in}
\begin{tabbing}
xxxxxx\= xxxxx\=\kill
\>$\bullet$ Causality tracking: $O(1)$ sized clocks\\
\>$\bullet$ False causality: high
\end{tabbing}
\end{center}

%-------------------------------------------------------------------------------

