Conclusive slide

slides.tex

@@ -16,6 +16,8 @@
 \usepackage{pifont}
 \usepackage{multirow}
 \usepackage[many]{tcolorbox}
+\usepackage[absolute,overlay]{textpos}
+\usetikzlibrary{arrows.meta}
 
 \usepackage{texlib/my_listings}
 \usepackage{texlib/specific}
@@ -133,9 +135,9 @@ $ ./a.out
 Segmentation fault.
 
 |\pause|(gdb) backtrace
-#0   0x54625 in fct_b
-#1   0x54663 in fct_a
-#2   0x54674 in main
+#0   |0x54625| in fct_b
+#1   |\color{blue}0x54663| in fct_a
+#2   |\color{red}0x54674| in main
             \end{lstlisting}
             \pause{}
             \begin{center}
@@ -325,17 +327,31 @@ Segmentation fault.
 \begin{frame}
     \newcommand{\firsttblrows}{
 \tblrowval{\hspace{-2ex}<{\bf foo}>:}{}{\textbf{CFA}}{\textbf{ra}}
-\rowonly<3>{\tblhl{}}  \tblrowval{push}{\%r15}{rsp+8}{c-8}
-\rowonly<4>{\tblhl{}} \tblrowval{push}{\%r14}{rsp+16}{c-8}
-\rowonly<5>{\tblhl{}} \tblrowval{mov}{\$0x3,\%eax}{rsp+24}{c-8}
-\rowonly<6>{\tblhl{}} \tblrowval{push}{\%r13}{rsp+24}{c-8}
+\rowonly<4>{\tblhl{}}  \tblrowval{push}{\%r15}{rsp+8}{c-8}
+\rowonly<5>{\tblhl{}} \tblrowval{push}{\%r14}{rsp+16}{c-8}
+\rowonly<6>{\tblhl{}} \tblrowval{mov}{\$0x3,\%eax}{rsp+24}{c-8}
+\rowonly<7>{\tblhl{}} \tblrowval{push}{\%r13}{rsp+24}{c-8}
 \tblrowval{push}{\%r12}{rsp+32}{c-8}
 \tblrowval{push}{\%rbp}{rsp+40}{c-8}
 \tblrowval{push}{\%rbx}{rsp+48}{c-8}
 \tblrowval{sub}{\$0x68,\%rsp}{rsp+56}{c-8}
 }
 
-    \only<-8>{
+
+    {\only<3>{
+		\begin{textblock*}{0.90\textwidth}[0.5,0.5](0.5\paperwidth,0.5\paperheight)%
+			\begin{tcolorbox}[halign=center, colframe=red, colback=Lavender]
+				\large
+				\alert{\bf Assumptions:}
+                \begin{itemize}
+                    \item the assembly is was generated by a compiler
+                    \item which also generated unwinding data
+                    \item and I have a reliable DWARF parser
+                \end{itemize}
+			\end{tcolorbox}
+		\end{textblock*}
+	}}
+    \only<-9>{
         \begin{table}
             \ttfamily\large
             \begin{tabularx}{0.9\linewidth}{
@@ -353,16 +369,16 @@ Segmentation fault.
         \blknote{
             \centering
         \begin{overlayarea}{0.9\textwidth}{4.8ex}
-            \only<3>{Upon function call, \alert{ra = *(\reg{rsp})}}
-            \only<4>{\texttt{push} decreases \reg{rsp} by 8: %
+            \only<4>{Upon function call, \alert{ra = *(\reg{rsp})}}
+            \only<5>{\texttt{push} decreases \reg{rsp} by 8: %
                 \alert{ra = *(\reg{rsp} + 8)}}
-            \only<5>{and again: %
+            \only<6>{and again: %
                 \alert{ra = *(\reg{rsp} + 16)}}
-            \only<6>{This \texttt{mov} leaves \reg{rsp} untouched: %
+            \only<7>{This \texttt{mov} leaves \reg{rsp} untouched: %
                 \alert{ra = *(\reg{rsp} + 16)}}
-            \only<7>{The unwinding table captures an \alert{abstract execution}
+            \only<8>{The unwinding table captures an \alert{abstract execution}
             of the code\ldots}
-            \only<8>{\ldots and thus can be \alert{synthesized from the binary}.}
+            \only<9>{\ldots and thus can be \alert{synthesized from the binary}.}
         \end{overlayarea}
     }
     }
@@ -407,7 +423,7 @@ Segmentation fault.
     \vfill
     \centering
     \begin{beamercolorbox}[sep=8pt,center,shadow=true,rounded=true]{title}
-        \Large\bf
+        \Large
         Demo time!
     \end{beamercolorbox}
     \vfill
@@ -420,31 +436,52 @@ Segmentation fault.
 
 \subsection{Compilation ahead-of-time}
 
-\begin{frame}
-    \begin{itemize}
-        \item Compiled to \alert{C code}
-        \item C code then \alert{compiled to native binary} (gcc)
-            \begin{itemize}
-                \item[$\leadsto$] gcc optimisations for free
-            \end{itemize}
-        \item Compiled as \alert{separate \texttt{.so} files}, called \ehelfs{}
-            \bigskip{}
-        \item Morally a \alert{monolithic switch} on IPs
-        \item Each case contains assembly that computes a \alert{row of the
-            table}
-    \end{itemize}
-\end{frame}
-
-
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \begin{frame}[shrink]
-    \lstinputlisting[language=C]{src/fib7/fib7.eh_elf_basic.c}
+    \vspace{0.5cm}
+    \begin{tikzpicture}
+        \begin{scope}[every node/.style={rectangle,thick,draw,scale=0.95}]
+            \node (dwarf) at (0, 0) {
+                \lstinputlisting[basicstyle=\tiny,numbers=none,language=]{src/dw_plt_abbr}
+            };
 
-    \pause{}
-    \vspace{1em}
-    \begin{center}
-        The real code is optimised, but boils down to this.
-    \end{center}
+            \only<2->{
+                \node (table) at (0.5\textwidth, -0.23\textheight) {
+                    \tiny\tt
+                    \begin{tabular}{
+                            >{\columncolor{YellowGreen}}l
+                            >{\columncolor{Thistle}}l
+                            l l
+                        >{\columncolor{Apricot}}l}
+                        LOC & CFA & rbx & rbp & ra \\
+                        0084950 & rsp+8 & u & u & c-8 \\
+                        0084952 & rsp+16 & u & u & c-8 \\
+                        0084954 & rsp+24 & u & u & c-8 \\
+                        0084956 & rsp+32 & u & u & c-8 \\
+                    \end{tabular}
+                };
+            }
+            \only<3->{
+                \node (csrc) at (0, -0.6\textheight) {
+                    \lstinputlisting[basicstyle=\tiny,numbers=none,language=C]{src/fib7/fib7.eh_elf_basic.c}
+                };
+                \node (ehelf) at (0.55\textwidth, -0.75\textheight) {
+                    ELF file:
+                    ``\ehelf{}''
+                };
+            }
+        \end{scope}
+
+        \begin{scope}[>={Stealth[black]},
+                every node/.style={fill=white,rectangle},
+                every path/.style={draw=black,very thick}]
+            \only<2->{\path [->] (dwarf) -| node {runtime} (table);}
+            \only<3->{
+                \path [->] (dwarf) edge node {ahead of time} (csrc);
+                \path [->] (csrc) -| node {gcc, AoT} (ehelf);
+            }
+        \end{scope}
+    \end{tikzpicture}
 \end{frame}
 
 
@@ -490,16 +527,14 @@ Segmentation fault.
 \section*{Conclusion}
 \setcounter{section}{0}
 
-\begin{frame}
-    The original article \textbf{Reliable and Fast DWARF-based Stack Unwinding}
-    contains
-
-    \vspace{1em}
-
+\begin{frame}{A lot of things remain to be done!}
     \begin{itemize}
-        \item{} DWARF unwinding tables validation;
-        \item{} DWARF unwinding tables synthesis;
-        \item{} DWARF-based unwinding speedup.
+        \item{} Synthesis + compare = verification of unwinding data!
+        \item{} Synthesis could be integrated in compilers: support for inline
+            assembly, fallback, \ldots
+        \item{} Speedup could be implemented in profilers, debuggers,
+            \ldots{}
+        \item{} Probably many more cool things to do!
     \end{itemize}
 
     \vspace{1em}