Compare commits

...

47 Commits

Author SHA1 Message Date
Théophile Bastian 9d4e91248d Stop stack sketch from moving between frame 1-2 2019-10-24 11:24:19 +03:00
Théophile Bastian b8f437e146 "Pervasive" box: fix pause 2019-10-24 10:39:44 +03:00
Théophile Bastian 6af99634a5 Dim color boxes colours 2019-10-24 10:38:37 +03:00
Théophile Bastian e128a47ecd Add zip.c to demo directory 2019-10-19 09:33:06 +02:00
Théophile Bastian eab39a9ef3 Add lowlevellock DWARF 2019-10-19 09:31:34 +02:00
Théophile Bastian 6791c53069 Speedup: `gzip` -> `perf gzip` 2019-10-19 08:17:15 +02:00
Théophile Bastian 21ca3e2605 Unw data slow: not by dft. -> must dump to disk 2019-10-19 08:09:22 +02:00
Théophile Bastian 24f53aa0de What does this imply: enhance 2019-10-19 07:56:54 +02:00
Théophile Bastian 660852ce0d Reword "Constructed on demand..." 2019-10-19 07:18:00 +02:00
Théophile Bastian d95da5ab8c Changes made during rehearsal w/ Francesco 2019-10-19 07:14:07 +02:00
Théophile Bastian cfd73303e6 Call stack img: inline return addrs 2019-10-19 07:13:48 +02:00
Théophile Bastian 8e8a71765e Add .xcf source for call_stack 2019-10-18 12:49:06 +02:00
Théophile Bastian 7f9ca665ca Reduce Sloooow to 8 'o's 2019-10-18 11:43:43 +02:00
Théophile Bastian fc1c6dff2a Add `synthesize.sh` in demo -- silences useless warnings 2019-10-18 11:43:20 +02:00
Théophile Bastian fc080b8d15 Add slides about fixpoint 2019-10-18 11:34:17 +02:00
Théophile Bastian baca8da49a Add pictures on title slide 2019-10-18 10:40:13 +02:00
Théophile Bastian c5a0398449 Increase itemize itemsep 2019-10-17 16:33:56 +02:00
Théophile Bastian 36722963a1 Increase font size 2019-10-17 16:29:18 +02:00
Théophile Bastian 3b9768c76a Refactor "complex & slow" 2019-10-17 16:18:08 +02:00
Théophile Bastian 2870f6a51d Slide 11 not moving anymore 2019-10-17 15:21:32 +02:00
Théophile Bastian cfb31b5c3e Add slide before Unwinding data compilation 2019-10-17 15:17:58 +02:00
Théophile Bastian 67a5fbfe20 Enhance stack image
Different stack frame sizes, no main RA, %rsp -> stack pointer
2019-10-16 10:18:48 +02:00
Théophile Bastian cf661b00a5 Amends while doing beta test 2019-10-15 15:57:52 +02:00
Théophile Bastian 5ecaeca632 Add demo files 2019-10-15 13:09:30 +02:00
Théophile Bastian fe242b9ac6 Add old demo files 2019-10-15 13:09:29 +02:00
Théophile Bastian bb80c3be9a Remove "(ABI)" (unclear) 2019-10-15 13:09:29 +02:00
Théophile Bastian 7a443bba1b Clean overlays 2019-10-15 13:09:29 +02:00
Théophile Bastian f21ad366e7 Conclusive slide 2019-10-15 13:09:29 +02:00
Théophile Bastian a1cc44cfd8 eh_elf sketch instead of "Compilation overview" 2019-10-15 13:09:29 +02:00
Théophile Bastian ebb16df755 "Demo time!": unify fonts 2019-10-15 10:44:37 +02:00
Théophile Bastian a10def8e4c Working on an example: state assumptions 2019-10-15 10:43:04 +02:00
Théophile Bastian 4143216317 Gdb backtrace: clean up, RA colours 2019-10-14 20:16:20 +02:00
Théophile Bastian 8dd9195a52 Redesign call stack image 2019-10-14 20:08:08 +02:00
Théophile Bastian a59dec512e Add Torvalds' picture 2019-10-14 19:08:12 +02:00
Théophile Bastian bf3d847cf6 Squash "why does slow matter" into prev slide 2019-10-14 19:07:34 +02:00
Théophile Bastian 79f6500721 The real DWARF: use .PLT expression 2019-10-14 17:59:08 +02:00
Théophile Bastian 9d6d60737b DW. unwinding data: explain table 2019-10-14 17:34:51 +02:00
Théophile Bastian e943b3d799 Remove useless slide titles 2019-10-14 16:55:43 +02:00
Théophile Bastian e17dab21e4 Footer: only slide number 2019-10-14 16:53:16 +02:00
Théophile Bastian 2f4d546b20 Intro slide: webpage + funding 2019-10-14 16:29:41 +02:00
Théophile Bastian 93dcc441a3 Modifications made with Francesco + remove useless section title slides 2019-10-14 16:06:59 +02:00
Théophile Bastian f350dfa4d6 Remove tons of \pause{} 2019-10-11 11:57:32 +02:00
Théophile Bastian 4f585c0f13 Update speedup results tables 2019-10-11 11:45:35 +02:00
Théophile Bastian a93a884718 `make upload` updated 2019-10-11 11:45:23 +02:00
Théophile Bastian 4ccd4618f7 Cut out a bit more 2019-10-08 12:13:01 +02:00
Théophile Bastian 7cd581fbd0 Cut out a large part of the content 2019-10-08 12:00:43 +02:00
Théophile Bastian a22b55e086 Change README for OOPSLA19 2019-10-08 12:00:27 +02:00
24 changed files with 806 additions and 675 deletions

View File

@ -7,4 +7,4 @@ clean:
rm -f *aux *bbl *bcf *blg *_latexmk *fls *log *out *.run.xml
upload: build
scp slides.pdf www.tobast:~/files/oracle18.pdf
scp slides.pdf www.tobast:~/files/slides-oopsla19.pdf

View File

@ -1,3 +1,4 @@
# Presentation, Uppsala, 2018-11
# Slides for OOPSLA19 "Reliable and Fast DWARF-based Stack Unwinding"
Slides for a presentation at Uppsala, related to UPMARC'18
This repository contains the slides for OOPSLA19 presentation "Reliable and
Fast DWARF-based Stack Unwinding".

BIN
demo.old/demo.bin Executable file

Binary file not shown.

BIN
demo.old/demo.bin.synth Executable file

Binary file not shown.

14
demo.old/demo.c Normal file
View File

@ -0,0 +1,14 @@
#include <stdio.h>
int bar(int x) {
printf("'Im %d; how many? %n\n", x, &x);
return x;
}
int foo() {
return bar(3);
}
int main() {
return foo();
}

12
demo.old/synth.sh Executable file
View File

@ -0,0 +1,12 @@
#!/bin/bash
SYNTHESIS_SCRIPT="../../../src/dwarf-synthesis/synthesize_dwarf.sh"
if [ "$#" -lt 1 ] ; then
>&2 echo -e "Missing argument: object file.\nUsage: $0 object.o"
exit 1
fi
objfile="$1"
$SYNTHESIS_SCRIPT "$objfile" "$objfile.synth"

3
demo/.gitignore vendored Normal file
View File

@ -0,0 +1,3 @@
dwarf-synthesis
tests/data*
tests/*.synth

9
demo/Makefile Normal file
View File

@ -0,0 +1,9 @@
all:
@>&2 echo "Please provide an explicit target"
@exit 1
tests/data:
dd if=/dev/urandom of="$@" bs=512K count=4
clean:
rm -f tests/data.gz tests/gzip.synth

3
demo/synthesize.sh Executable file
View File

@ -0,0 +1,3 @@
#!/bin/bash
./dwarf-synthesis/synthesize_dwarf.sh $* 2>/dev/null

BIN
demo/tests/gzip Executable file

Binary file not shown.

132
demo/zip.c Normal file
View File

@ -0,0 +1,132 @@
/* zip.c -- compress files to the gzip or pkzip format
Copyright (C) 1997-1999, 2006-2007, 2009-2018 Free Software Foundation, Inc.
Copyright (C) 1992-1993 Jean-loup Gailly
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 3, or (at your option)
any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software Foundation,
Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. */
#include <config.h>
#include <ctype.h>
#include "tailor.h"
#include "gzip.h"
local ulg crc; /* crc on uncompressed file data */
off_t header_bytes; /* number of bytes in gzip header */
/* ===========================================================================
* Deflate in to out.
* IN assertions: the input and output buffers are cleared.
* The variables time_stamp and save_orig_name are initialized.
*/
int zip(in, out)
int in, out; /* input and output file descriptors */
{
uch flags = 0; /* general purpose bit flags */
ush attr = 0; /* ascii/binary flag */
ush deflate_flags = 0; /* pkzip -es, -en or -ex equivalent */
ulg stamp;
ifd = in;
ofd = out;
outcnt = 0;
/* Write the header to the gzip file. See algorithm.doc for the format */
method = DEFLATED;
put_byte(GZIP_MAGIC[0]); /* magic header */
put_byte(GZIP_MAGIC[1]);
put_byte(DEFLATED); /* compression method */
if (save_orig_name) {
flags |= ORIG_NAME;
}
put_byte(flags); /* general flags */
if (time_stamp.tv_nsec < 0)
stamp = 0;
else if (0 < time_stamp.tv_sec && time_stamp.tv_sec <= 0xffffffff)
stamp = time_stamp.tv_sec;
else
{
/* It's intended that timestamp 0 generates this warning,
since gzip format reserves 0 for something else. */
warning ("file timestamp out of range for gzip format");
stamp = 0;
}
put_long (stamp);
/* Write deflated file to zip file */
crc = updcrc(0, 0);
bi_init(out);
ct_init(&attr, &method);
lm_init(level, &deflate_flags);
put_byte((uch)deflate_flags); /* extra flags */
put_byte(OS_CODE); /* OS identifier */
if (save_orig_name) {
char *p = gzip_base_name (ifname); /* Don't save the directory part. */
do {
put_byte (*p);
} while (*p++);
}
header_bytes = (off_t)outcnt;
(void)deflate();
#ifndef NO_SIZE_CHECK
/* Check input size
* (but not on MSDOS -- diet in TSR mode reports an incorrect file size)
*/
if (ifile_size != -1L && bytes_in != ifile_size) {
fprintf(stderr, "%s: %s: file size changed while zipping\n",
program_name, ifname);
}
#endif
/* Write the crc and uncompressed size */
put_long(crc);
put_long((ulg)bytes_in);
header_bytes += 2*4;
flush_outbuf();
return OK;
}
/* ===========================================================================
* Read a new buffer from the current input file, perform end-of-line
* translation, and update the crc and input file size.
* IN assertion: size >= 2 (for end-of-line translation)
*/
int file_read(buf, size)
char *buf;
unsigned size;
{
unsigned len;
Assert(insize == 0, "inbuf not empty");
len = read_buffer (ifd, buf, size);
if (len == 0) return (int)len;
if (len == (unsigned)-1) {
read_error();
}
crc = updcrc((uch*)buf, len);
bytes_in += (off_t)len;
return (int)len;
}

Binary file not shown.

Before

Width:  |  Height:  |  Size: 37 KiB

After

Width:  |  Height:  |  Size: 20 KiB

BIN
img/call_stack.xcf Normal file

Binary file not shown.

BIN
img/fzn_circ.jpg Normal file

Binary file not shown.

After

Width:  |  Height:  |  Size: 15 KiB

BIN
img/roundtorvalds.png Normal file

Binary file not shown.

After

Width:  |  Height:  |  Size: 110 KiB

BIN
img/stephen_circ.jpg Normal file

Binary file not shown.

After

Width:  |  Height:  |  Size: 124 KiB

1196
slides.tex

File diff suppressed because it is too large Load Diff

7
src/dw_plt Normal file
View File

@ -0,0 +1,7 @@
30 24 34 FDE pc=004020..004040
DW_CFA_def_cfa_offset: 16
DW_CFA_advance_loc: 6 to 0000000000004026
DW_CFA_def_cfa_offset: 24
DW_CFA_advance_loc: 10 to 0000000000004030
DW_CFA_def_cfa_expression (DW_OP_breg7 (rsp): 8; DW_OP_breg16 (rip): 0; DW_OP_lit15; DW_OP_and; DW_OP_lit11; DW_OP_ge; DW_OP_lit3; DW_OP_shl; DW_OP_plus)
[...]

7
src/dw_plt_abbr Normal file
View File

@ -0,0 +1,7 @@
30 24 34 FDE pc=004020..004040
DW_CFA_def_cfa_offset: 16
DW_CFA_advance_loc: 6 to 0000000000004026
DW_CFA_def_cfa_offset: 24
DW_CFA_advance_loc: 10 to 0000000000004030
DW_CFA_def_cfa_expression (DW_OP_breg7 (rsp): 8;
DW_OP_breg16 (rip): 0; ...)

View File

@ -0,0 +1,5 @@
(gdb) backtrace
#0 0x406c2c in _L_lock_19
#1 0x406c2c in _L_lock_19
#2 0x4069c6 in abort
#3 0x401017 in main

25
src/lowlevellock_dw.c Normal file
View File

@ -0,0 +1,25 @@
#define LLL_STUB_UNWIND_INFO_START
".section .eh_frame,\"a\",@progbits\n"
"5:\t" ".long 7f-6f # Length of Common Information Entry\n"
"6:\t" ".long 0x0 # CIE Identifier Tag\n\t"
".byte 0x1 # CIE Version\n\t"
".ascii \"zR\\0\" # CIE Augmentation\n\t"
".uleb128 0x1 # CIE Code Alignment Factor\n\t"
".sleb128 -4 # CIE RA Column\n\t"
".byte 0x8 # Augmentation size\n\t"
".uleb128 0x1 # FDE Encoding (pcrel sdata4)\n\t"
".byte 0x1b # DW_CFA_def_cfa\n\t"
".byte 0xc\n\t"
".uleb128 0x4\n\t"
".uleb128 0x0\n\t"
".align 4\n"
"7:\t" ".long 17f-8f # FDE Length\n"
"8:\t" ".long 8b-5b # FDE CIE offset\n\t"
".long 1b-. # FDE initial location\n\t"
".long 4b-1b # FDE address range\n\t"
".uleb128 0x0 # Augmentation size\n\t"
".byte 0x16 # DW_CFA_val_expression\n\t"
".uleb128 0x8\n\t"
".uleb128 10f-9f\n"
"9:\t" ".byte 0x78 # DW_OP_breg8\n\t"
".sleb128 3b-1b\n"

View File

@ -0,0 +1,24 @@
.section .eh_frame,"a",@progbits
5: .long 7f-6f # Length of Common Information Entry
6: .long 0x0 # CIE Identifier Tag
.byte 0x1 # CIE Version
.ascii "zR\\0" # CIE Augmentation
.uleb128 0x1 # CIE Code Alignment Factor
.sleb128 -4 # CIE RA Column
.byte 0x8 # Augmentation size
.uleb128 0x1 # FDE Encoding (pcrel sdata4)
.byte 0x1b # DW_CFA_def_cfa
.byte 0xc
.uleb128 0x4
.uleb128 0x0
.align 4
7: .long 17f-8f # FDE Length
8: .long 8b-5b # FDE CIE offset
.long 1b-. # FDE initial location
.long 4b-1b # FDE address range
.uleb128 0x0 # Augmentation size
.byte 0x16 # DW_CFA_val_expression
.uleb128 0x8
.uleb128 10f-9f
9: .byte 0x78 # DW_OP_breg8
.sleb128 3b-1b

10
src/main_cfi.s Normal file
View File

@ -0,0 +1,10 @@
main:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
subq $32, %rsp
movl %edi, -20(%rbp)
movq %rsi, -32(%rbp)

27
src/main_cfi_full.s Normal file
View File

@ -0,0 +1,27 @@
main:
.LFB6:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
subq $32, %rsp
movl %edi, -20(%rbp)
movq %rsi, -32(%rbp)
movq -32(%rbp), %rax
addq $8, %rax
movq (%rax), %rax
movq %rax, %rdi
call atoi@PLT
movl %eax, -4(%rbp)
movl -4(%rbp), %eax
leave
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE6:
.size main, .-main
.ident "GCC: (GNU) 9.2.0"
.section .note.GNU-stack,"",@progbits