gsadmin/garage
1
0
Fork 0
mirror of https://github.com/deuxfleurs-org/garage.git synced 2026-08-27 07:27:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add 12 lattice diagrams to explain CRDTs and quorums

Browse Source
This commit is contained in:
Alex Auvolat
2023-01-12 17:17:13 +01:00
parent fe850f62c9
commit f5a7bc3736
15 changed files with 6658 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files
doc/talks/2023-01-18-tocatta/talk.tex
+32 -11
View File
@@ -494,8 +494,7 @@
\item \textbf{Linearizability} of all operations\\
(strongest consistency guarantee)
\vspace{1em}
\item \textbf{Replicated state machines} that can implement
any sequential specification
\item Any sequential specification can be implemented as a \textbf{replicated state machine}
\vspace{1em}
\item \textbf{Costly}, the leader is a bottleneck;
leader elections on failure take time
@@ -515,7 +514,7 @@
\item \textbf{Operations have to commute}, i.e.~we
can only implement CRDTs
\vspace{1em}
\item \textbf{Fast}, no node is a bottleneck;\\
\item \textbf{Fast}, no single bottleneck;\\
works the same with offline nodes
\end{itemize}
} \end{minipage}
@@ -530,27 +529,29 @@
\vspace{2em}
\hspace{1em}
\begin{minipage}{7cm}
\begin{minipage}{6.5cm}
\underline{Consensus-based systems:}
\vspace{1em}
\textbf{Any sequential specification}\\~
\vspace{1em}
\textbf{Easier to program for}: just write your program as if it were sequential on a single machine
\end{minipage}
\hfill
\begin{minipage}{7cm}
\begin{minipage}{6.5cm}
\underline{Weakly consistent systems:}
\vspace{1em}
\textbf{CRDTs only}\\(conflict-free replicated data types)
\vspace{1em}
Part of the complexity is \textbf{reported to the consumer of the API}\\~
\end{minipage}
\hspace{1em}
\vspace{3em}
\begin{center}
Part of the complexity is \textbf{reported to the consumer of the API}
\end{center}
\end{frame}
\begin{frame}
@@ -663,7 +664,27 @@
\end{frame}
\begin{frame}
\frametitle{Impact on performances}
\frametitle{Understanding CRDTs and quorums}
\begin{figure}
\centering
\def\svgwidth{.8\textwidth}
\only<1>{\import{assets/}{lattice1.pdf_tex}}%
\only<2>{\import{assets/}{lattice2.pdf_tex}}%
\only<3>{\import{assets/}{lattice3.pdf_tex}}%
\only<4>{\import{assets/}{lattice4.pdf_tex}}%
\only<5>{\import{assets/}{lattice5.pdf_tex}}%
\only<6>{\import{assets/}{lattice6.pdf_tex}}%
\only<7>{\import{assets/}{lattice7.pdf_tex}}%
\only<8>{\import{assets/}{lattice8.pdf_tex}}%
\only<9>{\import{assets/}{lattice9.pdf_tex}}%
\only<10>{\import{assets/}{latticeA.pdf_tex}}%
\only<11>{\import{assets/}{latticeB.pdf_tex}}%
\only<12>{\import{assets/}{latticeC.pdf_tex}}%
\end{figure}
\end{frame}
\begin{frame}
\frametitle{Performance gains in practice}
\begin{center}
\includegraphics[width=.8\linewidth]{assets/endpoint-latency-dc.png}
\end{center}