Skip to content

Commit

Permalink
tutorial 10 reworking the pdv cloud part
Browse files Browse the repository at this point in the history
  • Loading branch information
F-I-D-O committed Apr 25, 2024
1 parent d0bde9b commit b71b629
Showing 1 changed file with 20 additions and 12 deletions.
32 changes: 20 additions & 12 deletions 10.tex
Original file line number Diff line number Diff line change
Expand Up @@ -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}
Expand All @@ -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}
}
Expand Down

0 comments on commit b71b629

Please sign in to comment.