\begin{frame}
  \frametitle{La cohérence selon Lamport}

  Leslie Lamport : 

  \begin{itemize}
    \item Initialement ingénieur chez Intel dans les années 60.
    \item Il a travaillé sur les premières problématiques d'architectures multicœurs.
    \item Il a ainsi posé les bases de l'informatique distribuée.
  \end{itemize}

  Il a (entre autre) proposé une formalisation mathématique du comportement attendu d'un système réparti. \\
  Il propose 3 registres permettant de spécifier un comportement séquentiel dans un environnement distribué.

\end{frame}

\begin{frame}
    \frametitle{Sûreté}
    \begin{block}{Définition}
        Chaque opération de \textbf{lecture} réalisée dans le même espace \textbf{non-concurrent} doit fournir le même resultat.
    \end{block}
    \begin{figure}
        \input{schemas/linearisation_surete_hc}
    \end{figure}
  \end{frame}
  
  \begin{frame}
    \frametitle{Régularité}
    \begin{block}{Définition}
        Une \textbf{opération de lecture concurrente à une opération d'écriture} doit fournir une valeur \textbf{antérieure ou postérieure à l'écriture}.
    \end{block}
    \begin{figure}
        \input{schemas/linearisation_regularite_hc}
    \end{figure}
  \end{frame}
  
  \begin{frame}
    \frametitle{Atomicité}
    \begin{block}{Definition}
        Si \textbf{deux opérations de lecture sont non-concurrentes} alors la seconde doit fournir une valeur \textbf{au moins aussi récente que} la précédente.
    \end{block}
    \begin{figure}
        \input{schemas/linearisation_atomicite_hc}
    \end{figure}
  \end{frame}
  
  \begin{frame}
    \frametitle{Cohérence Atomique ($C_\top$)}
  
    \begin{block}{Définition}
        La cohérence atomique est le critère de cohérence le plus "fort".
      \begin{itemize}
        \item Propose une interactivité très faible.
        \item Nécessite une synchronisation forte entre chaque opération.
        \begin{itemize}
          \item Chaque opération est bloquante et doit attendre la fin des opérations précédentes pour être exécutée.
        \end{itemize} 
        \item Elle est utilisée comme référence pour les autres classes de cohérence. 
      \end{itemize}
    \end{block}
  \end{frame}