presentacion.tex

   1 \documentclass[handout]{beamer}
   2
   3 \usepackage[brazil]{babel}
   4 \usepackage[utf8]{inputenc}
   5 \usepackage{graphicx}
   6 \usepackage{url}
   7 \usepackage{tikz}
   8 \usepackage{tikz-qtree}
   9 \usepackage[square,numbers]{natbib}
  10 \newcommand{\newblock}{}
  11
  12 \usepackage{handoutWithNotes}
  13
  14 % \usepackage{pgfpages}
  15 \pgfpagesuselayout{2 on 1 with notes}[a4paper,border shrink=5mm]
  16
  17
  18 \newcommand{\mytitle}{Avaliação do impacto de mecanismos de
  19   armazenamento de estado no desempenho de sistemas replicados}
  20 \newcommand{\f}{$\blacksquare$}
  21
  22 \hypersetup{
  23      pdftitle={\mytitle},
  24      pdfauthor={Rodrigo E. Lazo Paz},
  25      pdfdisplaydoctitle=true,
  26      pdfborder=0 0 0
  27 }
  28
  29 \usetheme{Rochester}
  30 \usecolortheme{orchid}
  31 %\usefonttheme{structureitalicserif}
  32
  33 \title{\mytitle}
  34
  35 \author{
  36 Rodrigo E. Lazo Paz\\%\thanks{Grants.} \\
  37 IC, Unicamp \\
  38 Campinas, Brasil \\
  39 {\small \url{rodrigo.lazo@students.ic.unicamp.br}} \\
  40 \and
  41 Luiz E. Buzato \\ %\thanks{Identificação de projetos aqui.}\\
  42 IC, Unicamp \\ Campinas, Brasil \\ {\small
  43 \url{buzato@ic.unicamp.br}}
  44 }
  45
  46
  47 \begin{document}
  48 \begin{frame}
  49   \titlepage{}
  50 \end{frame}
  51
  52 \AtBeginSection[]
  53 {
  54   \frame<handout:0>
  55   {
  56     \frametitle{Estrutura}
  57     \tableofcontents[currentsection,hideallsubsections]
  58   }
  59 }
  60
  61 \AtBeginSubsection[]
  62 {
  63
  64 }
  65
  66 % \section{Contexto}
  67 % \begin{frame}
  68 %   \frametitle{Contexto}
  69 %   \begin{itemize}
  70 %   \item Replicação ativa no LSD.
  71 %   \item Desenvolvimento de Treplica~\cite{vieira08:_trepl,labos2009:viera09}.
  72 %   \item Analises, avaliação e optimização de Paxos e FastPaxos~\cite{Vieira:2008:CRF:1390853.1390875, vieira09, vieira-tr10a}.
  73 %   \end{itemize}
  74 % \end{frame}
  75
  76 \section{Fundamentação teórica}
  77 \begin{frame}
  78   \frametitle{Modelo de falhas}
  79   Consenso no modelo de falha-e-recuperação~\cite{Aguilera:2000:FDC:1035750.1035753}.
  80
  81   \begin{figure}
  82     \centering
  83   \begin{tikzpicture}[grow=left]
  84     \tikzset{level distance=100pt,sibling distance=18pt}
  85     \tikzset{execute at begin node=\strut}
  86     \Tree [.{Bom(F)} {\textit{Sempre Ativo}} {\textit{Eventualmente Ativo}} ]
  87   \end{tikzpicture}
  88
  89   \begin{tikzpicture}[grow=left]
  90     \tikzset{level distance=100pt,sibling distance=18pt}
  91     \tikzset{execute at begin node=\strut}
  92     \Tree [.{Ruim(F)} {\textit{Eventualmente Inativo}} {\textit{Instável}} ]
  93   \end{tikzpicture}
  94
  95   \caption{Classificação dos processos pelo comportamento de falhas.}
  96   \label{fig:class_falhas}
  97   \end{figure}
  98
  99 \end{frame}
 100
 101 \begin{frame}
 102   \frametitle{Paxos e FastPaxos}
 103
 104     \begin{figure}
 105       \center
 106       \begin{tikzpicture}[scale=.8,font=\footnotesize]
 107         \newcounter{p}
 108         \setcounter{p}{1}
 109         \foreach \name / \pos in {coordenador/0,receptor/1,receptor/2,aprendiz/3}
 110         {
 111           \path[draw,->,left] (0,\pos) node {\texttt{p\arabic{p}}} -- (6,\pos) node[right] {\textit{\name}};
 112           \addtocounter{p}{1}
 113         }
 114         % initial req
 115         \path[draw,->,left] (0.5,0) -- (1,1);
 116         \path[draw,->,left] (0.5,0) -- (2,2);
 117         % resp
 118         \path[draw,->,left] (1.4,1) -- (2.4,0);
 119         \path[draw,->,left] (2.1,2) -- (2.7,0);
 120         % propose
 121         \path[draw,->,left] (3,0) -- (3.7,1);
 122         \path[draw,->,left] (3,0) -- (3.9,2);
 123         % acepted
 124         % \path[draw,->,left] (4,1) -- (5,0);
 125         \path[draw,->,left] (4,1) -- (5.5,3);
 126         \path[draw,->,left] (4.2,2) -- (5.1,3);
 127         % \path[draw,->,left] (4.2,2) -- (5.3,0);
 128       \end{tikzpicture}
 129       \caption{Progresso do algoritmo Paxos.}
 130     \end{figure}
 131
 132   Armazenamento de estado:
 133     \begin{itemize}
 134     \item Rodada atual e voto.
 135     \item Ledger de acordos.
 136     \end{itemize}
 137
 138
 139 \end{frame}
 140
 141 \begin{frame}
 142   \frametitle{Broadcast de ordem total}
 143   Operações: \texttt{TO-broadcast} e \texttt{TO-deliver}.
 144
 145   \vspace{.1in}
 146   Propriedades:
 147   \begin{itemize}
 148   \item \textit{Validade}.
 149   \item \textit{Acordo uniforme}.
 150   \item \textit{Integridade uniforme}.
 151   \item \textit{Ordem total uniforme}.
 152   \end{itemize}
 153 \end{frame}
 154
 155 \begin{frame}
 156   \frametitle{Treplica}
 157   \begin{itemize}
 158   \item Filas assíncronas persistentes~\cite{vieira08:_trepl,
 159       vieira10:implementing-tr}.
 160   \item Persistência baseada na fila.
 161     \begin{figure}[h]
 162       \centering
 163       \includegraphics[scale=.8]{images/treplica}
 164       \caption{Filas Persistentes Paxos~\cite{vieira08:_trepl}}
 165     \end{figure}
 166
 167   \end{itemize}
 168 \end{frame}
 169
 170 \section{Definição do Problema}
 171
 172 \begin{frame}
 173   \frametitle{Problema}
 174   \begin{itemize}
 175 \item \emph{O uso de memória estável é sempre necessário para se
 176     manter a consistência e tolerância a falhas de sistemas replicados
 177     baseados em consenso?}
 178 \item \emph{Se não for assim, que mecanismos e meios alternativos de
 179     armazenamento podem ser utilizados para reduzir o custo da
 180     recuperação de um processo falho?}
 181 \end{itemize}
 182 \end{frame}
 183
 184 \section{Proposta de Pesquisa}
 185
 186 \begin{frame}
 187   \frametitle{Modelo do sistema}
 188   \begin{itemize}
 189   \item Falha-e-recuperação.
 190   \item Cada processo têm acesso a memoria estável (disco) e volátil (RAM).
 191   \item A memoria volátil é suficientemente grande.
 192   \item Processos pertencem à LAN.
 193   \item Existem processos ``replicas'' e ``repositórios''.
 194   \end{itemize}
 195 \end{frame}
 196
 197 \begin{frame}
 198   \frametitle{Proposta}
 199   \begin{figure}[h]
 200   \centering
 201    \includegraphics[width=90mm]{images/system_arch}
 202   \caption{Arquitetura do sistema}
 203   \label{fig:arquitetura}
 204 \end{figure}
 205 \end{frame}
 206
 207 \begin{frame}
 208   \frametitle{Proposta}
 209   \begin{figure}[h]
 210   \centering
 211    \includegraphics[width=60mm]{images/sistema_no_nada}
 212   \caption{Arquitetura do sistema sem armazenamento remoto.}
 213 \end{figure}
 214 \end{frame}
 215
 216 \begin{frame}
 217   \frametitle{Proposta}
 218   \begin{figure}[h]
 219   \centering
 220    \includegraphics[width=61mm]{images/sistema_no_repositorios}
 221   \caption{Arquitetura do sistema com armazenamento remoto.}
 222 \end{figure}
 223 \end{frame}
 224
 225 \begin{frame}
 226   \frametitle{Proposta}
 227   \begin{figure}[h]
 228   \centering
 229    \includegraphics[width=65mm]{images/sistema_repositorios}
 230   \caption{Arquitetura do sistema com repositórios remotos.}
 231 \end{figure}
 232 \end{frame}
 233
 234 \begin{frame}
 235   \frametitle{Proposta}
 236   \begin{figure}[h]
 237   \centering
 238    \includegraphics[width=64mm]{images/sistema_repositorios_sync}
 239   \caption{Arquitetura do sistema com repositórios sincronizados.}
 240 \end{figure}
 241 \end{frame}
 242
 243 \begin{frame}
 244   \frametitle{Proposta}
 245   Melhorar o desempenho do sistema na fase de recuperação.
 246   \begin{figure}[h]
 247   \centering
 248    \includegraphics[width=70mm]{images/dummy}
 249   \caption{Economic Paxos Coordinators.}
 250 \end{figure}
 251 \end{frame}
 252
 253 \begin{frame}
 254   \begin{center}
 255     \Huge{Perguntas?}
 256   \end{center}
 257
 258 \end{frame}
 259
 260 \begin{frame}[allowframebreaks]
 261     \bibliographystyle{plain}
 262     \bibliography{bibliography}
 263 \end{frame}
 264 \end{document}
 265
 266 %%% Local Variables:
 267 %%% mode: latex
 268 %%% TeX-master: t
 269 %%% End: