|
|
@@ -108,7 +108,7 @@ Here instead we show the basic evolution of a simple coordination free execution
|
|
|
\frametitle{Invariants}
|
|
|
\begin{itemize}
|
|
|
\item It is important to note that \textbf{coordination can only be avoided if all local commit decisions are globally valid.}\pause
|
|
|
- \item So the best approach to guarantee the application level consistency is to apply a convergence analysis and then identify the \emph{true conflicts}. The uncertain situations must be threated in a conservative approach. \pause
|
|
|
+ \item So the best approach to guarantee the application level consistency is to apply a convergence analysis and then identify the \textbf{true conflicts}. The uncertain situations must be threated in a conservative approach. \pause
|
|
|
\item This means that we rely on the \textbf{analysis} done by the programmer at the application level to guarantee the correctness. This is clearly a drawback.
|
|
|
\end{itemize}
|
|
|
\end{frame}
|
