From b71b629c62e01e33d9b71758f6960eaa72742b6a Mon Sep 17 00:00:00 2001 From: David Fiedler Date: Thu, 25 Apr 2024 14:10:38 +0200 Subject: [PATCH] tutorial 10 reworking the pdv cloud part --- 10.tex | 32 ++++++++++++++++++++------------ 1 file changed, 20 insertions(+), 12 deletions(-) diff --git a/10.tex b/10.tex index 407c325..37f3768 100644 --- a/10.tex +++ b/10.tex @@ -409,20 +409,12 @@ \section{Čas a uspořádání událostí v DS (1. část)} \only<3>{\includegraphics[scale=0.35]{10/figs/pdv_cloud_2.png}}% \only<4>{\hspace{6.1pt}\includegraphics[scale=0.35]{10/figs/pdv_cloud_3.png}}% \only<5>{\hspace{6.1pt}\includegraphics[scale=0.35]{10/figs/pdv_cloud_4.png}}% -\only<6>{\vspace{1em}\hrule\vspace{1em} -\Large K čemu bychom zde mohli chtít používat logické hodiny?} % Zodpovězeno na dalších slidech [chceme detekovat, zda si User 2 refreshoval spravnou hodnotu.] \end{center} \end{frame} -{\setbeamertemplate{frame footer}{\see{{\tt ScalarClock.java} a {\tt ScalarTimestamp.java}\sep{\tt Run ScalarClockRun.java} v balíčku {\tt pdv\_cloud.scalar}}} \begin{frame} - \begin{block}{Doprogramujte Lamportovy logické hodiny} - Doimplementujte logiku Lamportových logických hodin ve třídě \texttt{ScalarClock.java}. Následně spusťte scénář \texttt{ScalarClockRun.java}. - \end{block} - - \pause\vspace{2em} \begin{center} \LARGE Co je v našem systému špatně? \end{center} @@ -433,13 +425,29 @@ \section{Čas a uspořádání událostí v DS (1. část)} \pause \vspace{2em} \begin{center} - {\LARGE Jsme to schopní detekovat skalárními hodinami?} - - \hfill Doimplementujte metodu \texttt{isCausalityForProcessViolated} + {\LARGE Dokázali bychom použít skalární hodiny?} - \hfill Pak zkuste spustit scénář \texttt{ScalarDSConfigBombarding} % Bombarding rozbije právě naimplementovanou detekci tím způsobem, že bude navyšovat čas na databázi a tím pádem budeme detekovat porušení kauzality pokaždé, přestože k němu třeba vůbec nedošlo. \end{center} +\end{frame} + +{\setbeamertemplate{frame footer}{\see{{\tt ScalarClock.java} a {\tt ScalarTimestamp.java}\sep{\tt Run ScalarClockRun.java} v balíčku {\tt pdv\_cloud.scalar}}} +\begin{frame} + \begin{block}{Doprogramujte Lamportovy logické hodiny} + Doimplementujte logiku Lamportových logických hodin ve třídě \texttt{ScalarClock.java}. Následně spusťte scénář \texttt{ScalarClockRun.java}. + \end{block} + \begin{center} + {\LARGE Následně spusťte i scénář s configem \small ScalarDSConfigBombarding} + + \vspace{2em} + \pause + + {\LARGE Jaký je problém?} + + \end{center} + + + \end{frame} }