iterators.tex

\section{Iteratoren}

\begin{frame}[fragile]
  \frametitle{Iteratoren : fail-fast}

  \begin{lstlisting}
  void failFastIterator() {
    List<String> l = new ArrayList<>();
    l.add("a");
    for (String s : l) { // ConcurrentModificationException beim zweiten Aufruf
      l.add(s);
    }
  }
  \end{lstlisting}

  \begin{block}{Was ist fail-fast ?}
    \begin{itemize}[<+->]
      \item Iterator wird erstellt
      \item zugrunde liegende Collection wird modifiziert (ausgenommen Iterator.remove())
      \item Iterator wirft beim nächsten Aufruf ConcurrentModificationException
      \item[$\Rightarrow$] schneller Fehler im Fall einer concurrent modification
    \end{itemize}
  \end{block}

\end{frame}

\begin{frame}
  \frametitle{Iteratoren : fail-fast}

  \begin{block}{Achtung}
    \begin{itemize}[<+->]
      \item wird über ein internes status feld realisiert, bspw ArrayList mit int modCount
      \item fail-fast ist nicht garantiert
      \item Heuristik entscheidet: Es kann auch keine ConcurrentModificationException fliegen, trotz Modifikation!
      \item Nicht auf ConcurrentModificationException im normalen Programmfluss reagieren, das ist nur eine Bug-Erkennung!
    \end{itemize}
  \end{block}

\end{frame}

\begin{frame}[fragile]
  \frametitle{Iteratoren : fail-safe}

klappt: gibt [a,a] aus
  \begin{lstlisting}
  void failSafeIterator() {
    List<String> l = new CopyOnWriteArrayList<>();
    l.add("a");
    for (String s : l) {
      l.add(s);
    }
    System.out.println(l);
  }
  \end{lstlisting}

  \begin{block}{Was ist fail-safe ?}
    \begin{itemize}
      \item keine Exception (ConcurrentModificationException)
      \item Iteratoren arbeiten auf einer Kopie
      \item Kopie muss nicht aktuell sein
    \end{itemize}
  \end{block}

\end{frame}
    
\begin{frame}[fragile]
  \frametitle{Iteratoren : weakly-consistent}

funktioniert, Ausgabe [a, aa]
  \begin{lstlisting}
  void weaklyConsistentIterator() {
    ConcurrentSkipListSet<String> set = new ConcurrentSkipListSet<>();
    set.add("a");
    for (String s : set) {
      set.add(s + s);
    }
    System.out.println(set);
  }
  \end{lstlisting}

  \begin{block}{Was ist weakly-consistent ?}
    \begin{itemize}
      \item keine Exception (ConcurrentModificationException)
      \item während Iteration: zeigen vielleicht Änderungen an, vielleicht auch nicht
    \end{itemize}
  \end{block}

\end{frame}