Commit ad6071f7 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

One more image.

parent 72c68b20
......@@ -503,20 +503,18 @@
\begin{frame}{Logical Deallocation}
Logical deallocation of a block is a \emph{ghost operation:}
\bgroup\renewcommand\star{\;\ordinarystar\;}
\[
\loc\fpointsto{1}{\btuple\vals} \star \loc\vfpointedby{1}\lsv
\star \pure{\dom{\lsv}\subseteq\{\loc\}}
\quad \supd \quad
\ddag{\{\loc\}} \star \SC{\sz{\btuple\vals}}
\]
% TODO re-draw this rule by hand
\begin{center}
\includegraphics[width=.75\textwidth]{free-singleton}
\end{center}
\end{frame}
\begin{frame}{Deferred Predecessor Deletion}
Deletion of deallocated predecessors can be \emph{deferred:}
\begin{center}
\includegraphics[width=.75\textwidth]{cleanup}
\end{center}
\vspace{-7mm}
Deletion of deallocated predecessors can be \emph{deferred}.
\end{frame}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment