Compare commits
3 commits
e128a47ecd
...
9d4e91248d
Author | SHA1 | Date | |
---|---|---|---|
Théophile Bastian | 9d4e91248d | ||
Théophile Bastian | b8f437e146 | ||
Théophile Bastian | 6af99634a5 |
44
slides.tex
44
slides.tex
|
@ -33,6 +33,12 @@
|
|||
\setbeamertemplate{navigation symbols}{}
|
||||
\setbeamertemplate{headline}{}
|
||||
|
||||
\definecolor{infoboxbg}{HTML}{f3e7ac}
|
||||
\definecolor{infoboxborder}{HTML}{de9758}
|
||||
|
||||
\definecolor{alertboxbg}{HTML}{ffc6c7}
|
||||
\definecolor{alertboxborder}{HTML}{ea2f61}
|
||||
|
||||
\newcommand{\cmark}{\color{OliveGreen}\ding{52}}
|
||||
\newcommand{\xmark}{\color{BrickRed}\ding{56}}
|
||||
|
||||
|
@ -179,11 +185,16 @@ Segmentation fault.
|
|||
\textbf{\Large How does it work?}
|
||||
\end{center}
|
||||
\end{column}
|
||||
\hfill
|
||||
\begin{column}{0.35\textwidth}
|
||||
\pause{}
|
||||
\includegraphics[width=0.95\linewidth]{img/call_stack}
|
||||
\end{column}
|
||||
\end{columns}
|
||||
|
||||
\only<4->{
|
||||
\begin{textblock*}{0.35\textwidth}[1,0.5](0.9\paperwidth,0.5\paperheight)%
|
||||
\includegraphics[width=0.95\linewidth]{img/call_stack}
|
||||
\end{textblock*}
|
||||
}
|
||||
\end{frame}
|
||||
|
||||
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||
|
@ -191,7 +202,7 @@ Segmentation fault.
|
|||
|
||||
\begin{frame}
|
||||
\begin{columns}[c]
|
||||
\begin{column}{0.65\textwidth}
|
||||
\begin{column}{0.55\textwidth}
|
||||
\begin{center}
|
||||
\large\bf
|
||||
How do we get\\
|
||||
|
@ -203,10 +214,14 @@ Segmentation fault.
|
|||
|
||||
\end{center}
|
||||
\end{column}
|
||||
\hfill
|
||||
\begin{column}{0.35\textwidth}
|
||||
\includegraphics[width=0.95\linewidth]{img/call_stack}
|
||||
\end{column}
|
||||
\end{columns}
|
||||
|
||||
\begin{textblock*}{0.35\textwidth}[1,0.5](0.9\paperwidth,0.5\paperheight)%
|
||||
\includegraphics[width=0.95\linewidth]{img/call_stack}
|
||||
\end{textblock*}
|
||||
\end{frame}
|
||||
|
||||
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||
|
@ -283,8 +298,10 @@ Segmentation fault.
|
|||
\end{frame}
|
||||
|
||||
\begin{frame}{What does this imply?}
|
||||
Your compiler actually generates codes for \alert{two machines}:\\
|
||||
your processor and the DWARF VM\@.
|
||||
\begin{center}
|
||||
\textbf{Your compiler generates code for \alert{two machines}:\\
|
||||
your processor and the DWARF VM\@.}
|
||||
\end{center}
|
||||
|
||||
\vfill{}
|
||||
\begin{columns}
|
||||
|
@ -310,6 +327,8 @@ Segmentation fault.
|
|||
\end{center}
|
||||
\end{column}
|
||||
|
||||
\pause{}
|
||||
|
||||
\begin{column}{0.55\textwidth}
|
||||
\begin{itemize}
|
||||
\item[$\implies$] \alert{Cumbersome} to generate for the
|
||||
|
@ -325,6 +344,7 @@ Segmentation fault.
|
|||
|
||||
\end{column}
|
||||
\end{columns}
|
||||
\vfill{}
|
||||
\end{frame}
|
||||
|
||||
\begin{frame}
|
||||
|
@ -332,7 +352,7 @@ Segmentation fault.
|
|||
|
||||
\only<2>{
|
||||
\begin{textblock*}{0.60\textwidth}[0.5,0.5](0.5\paperwidth,0.5\paperheight)%
|
||||
\begin{tcolorbox}[halign=center, colframe=OliveGreen, colback=YellowGreen]
|
||||
\begin{tcolorbox}[halign=center, colframe=infoboxborder, colback=infoboxbg]
|
||||
In \prog{glibc}, \prog{lowlevellock.h}:
|
||||
\alert{off by one error in unwinding data}.
|
||||
|
||||
|
@ -343,7 +363,7 @@ Segmentation fault.
|
|||
|
||||
\only<3->{
|
||||
\begin{textblock*}{0.90\textwidth}[0.5,0](0.5\paperwidth,0.10\paperheight)%
|
||||
\begin{tcolorbox}[halign=center, colframe=red, colback=Lavender]
|
||||
\begin{tcolorbox}[halign=center, colframe=alertboxborder, colback=alertboxbg]
|
||||
\bf \LARGE
|
||||
Complex \,\& \,slow
|
||||
\end{tcolorbox}
|
||||
|
@ -352,11 +372,11 @@ Segmentation fault.
|
|||
|
||||
\only<4->{
|
||||
\begin{textblock*}{0.90\textwidth}[0.5,0](0.5\paperwidth,0.30\paperheight)%
|
||||
\begin{tcolorbox}[halign=center, colframe=red, colback=Lavender]
|
||||
\begin{tcolorbox}[halign=center, colframe=alertboxborder, colback=alertboxbg]
|
||||
\LARGE
|
||||
\textbf{Pervasive:}\\ relied upon by profilers, debuggers,
|
||||
aaand\ldots{}
|
||||
\onslide<4->{
|
||||
\onslide<5->{
|
||||
C++ exceptions. \\
|
||||
\medskip{}
|
||||
\textbf{$\leadsto$ not only for debuggers!}}
|
||||
|
@ -446,7 +466,7 @@ Segmentation fault.
|
|||
|
||||
{\only<3>{
|
||||
\begin{textblock*}{\textwidth}[0.5,0.5](0.5\paperwidth,0.5\paperheight)%
|
||||
\begin{tcolorbox}[halign=center, colframe=red, colback=Lavender]
|
||||
\begin{tcolorbox}[halign=center, colframe=alertboxborder, colback=alertboxbg]
|
||||
\large
|
||||
\alert{\bf Assumptions}
|
||||
\vspace{0.6em}
|
||||
|
@ -512,7 +532,7 @@ Segmentation fault.
|
|||
\end{itemize}
|
||||
|
||||
\vspace{1em}
|
||||
\begin{tcolorbox}[halign=center, colframe=OliveGreen, colback=YellowGreen]
|
||||
\begin{tcolorbox}[halign=center, colframe=infoboxborder, colback=infoboxbg]
|
||||
\large
|
||||
Implemented on top of CMU's \prog{BAP}
|
||||
\end{tcolorbox}
|
||||
|
|
Loading…
Reference in a new issue