
\begin{slide}{Markierende Kollektoren}

\begin{itemize} \itemsep2pt\parskip 1pt
\item
  bei Speicheranforderung, 
  die nicht erfüllt werden kann:
\item
  alle \emph{lebenden}, d. h. von Wurzeln 
  erreichbaren Objekte werden markiert (mark)
\item
  restliche in Freispeicherliste (sweep)
\item
  Markierung: 1 Bit;
  Zeit $\sim$ Speicher, auch bei viel Müll.
\item
  benötigt Stack (gerade dann, 
  wenn wir keinen Platz mehr haben)? ---
  Nein, \emph{pointer reversal} möglich.
\item
  ist \emph{konservativ}: anwendbar auch
  bei Sprachen, bei denen Zeiger nicht sicher
  erkennbar sind 
\item
  \url{http://www.hpl.hp.com/personal/Hans_Boehm/gc/}

  (z. B. benutzt in GNU JVM, mono)
\end{itemize}


\end{slide}
