Compare commits
47 commits
Author | SHA1 | Date | |
---|---|---|---|
9d4e91248d | |||
b8f437e146 | |||
6af99634a5 | |||
e128a47ecd | |||
eab39a9ef3 | |||
6791c53069 | |||
21ca3e2605 | |||
24f53aa0de | |||
660852ce0d | |||
d95da5ab8c | |||
cfd73303e6 | |||
8e8a71765e | |||
7f9ca665ca | |||
fc1c6dff2a | |||
fc080b8d15 | |||
baca8da49a | |||
c5a0398449 | |||
36722963a1 | |||
3b9768c76a | |||
2870f6a51d | |||
cfb31b5c3e | |||
67a5fbfe20 | |||
cf661b00a5 | |||
5ecaeca632 | |||
fe242b9ac6 | |||
bb80c3be9a | |||
7a443bba1b | |||
f21ad366e7 | |||
a1cc44cfd8 | |||
ebb16df755 | |||
a10def8e4c | |||
4143216317 | |||
8dd9195a52 | |||
a59dec512e | |||
bf3d847cf6 | |||
79f6500721 | |||
9d6d60737b | |||
e943b3d799 | |||
e17dab21e4 | |||
2f4d546b20 | |||
93dcc441a3 | |||
f350dfa4d6 | |||
4f585c0f13 | |||
a93a884718 | |||
4ccd4618f7 | |||
7cd581fbd0 | |||
a22b55e086 |
24 changed files with 806 additions and 675 deletions
2
Makefile
2
Makefile
|
@ -7,4 +7,4 @@ clean:
|
||||||
rm -f *aux *bbl *bcf *blg *_latexmk *fls *log *out *.run.xml
|
rm -f *aux *bbl *bcf *blg *_latexmk *fls *log *out *.run.xml
|
||||||
|
|
||||||
upload: build
|
upload: build
|
||||||
scp slides.pdf www.tobast:~/files/oracle18.pdf
|
scp slides.pdf www.tobast:~/files/slides-oopsla19.pdf
|
||||||
|
|
|
@ -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
BIN
demo.old/demo.bin
Executable file
Binary file not shown.
BIN
demo.old/demo.bin.synth
Executable file
BIN
demo.old/demo.bin.synth
Executable file
Binary file not shown.
14
demo.old/demo.c
Normal file
14
demo.old/demo.c
Normal file
|
@ -0,0 +1,14 @@
|
||||||
|
#include <stdio.h>
|
||||||
|
|
||||||
|
int bar(int x) {
|
||||||
|
printf("'I’m %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
12
demo.old/synth.sh
Executable 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
3
demo/.gitignore
vendored
Normal file
|
@ -0,0 +1,3 @@
|
||||||
|
dwarf-synthesis
|
||||||
|
tests/data*
|
||||||
|
tests/*.synth
|
9
demo/Makefile
Normal file
9
demo/Makefile
Normal 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
3
demo/synthesize.sh
Executable file
|
@ -0,0 +1,3 @@
|
||||||
|
#!/bin/bash
|
||||||
|
|
||||||
|
./dwarf-synthesis/synthesize_dwarf.sh $* 2>/dev/null
|
BIN
demo/tests/gzip
Executable file
BIN
demo/tests/gzip
Executable file
Binary file not shown.
132
demo/zip.c
Normal file
132
demo/zip.c
Normal 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
BIN
img/call_stack.xcf
Normal file
Binary file not shown.
BIN
img/fzn_circ.jpg
Normal file
BIN
img/fzn_circ.jpg
Normal file
Binary file not shown.
After Width: | Height: | Size: 15 KiB |
BIN
img/roundtorvalds.png
Normal file
BIN
img/roundtorvalds.png
Normal file
Binary file not shown.
After Width: | Height: | Size: 110 KiB |
BIN
img/stephen_circ.jpg
Normal file
BIN
img/stephen_circ.jpg
Normal file
Binary file not shown.
After Width: | Height: | Size: 124 KiB |
1140
slides.tex
1140
slides.tex
File diff suppressed because it is too large
Load diff
7
src/dw_plt
Normal file
7
src/dw_plt
Normal 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
7
src/dw_plt_abbr
Normal 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; ...)
|
5
src/lowlevellock_backtrace
Normal file
5
src/lowlevellock_backtrace
Normal 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
25
src/lowlevellock_dw.c
Normal 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"
|
24
src/lowlevellock_dw_extr.c
Normal file
24
src/lowlevellock_dw_extr.c
Normal 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
10
src/main_cfi.s
Normal 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
27
src/main_cfi_full.s
Normal 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
|
||||||
|
|
Loading…
Reference in a new issue