failure sketches a be2er way to debug
play

Failure Sketches: A Be2er Way to Debug Baris Kasikci, - PowerPoint PPT Presentation

Nov 06, 2022 •294 likes •666 views

Failure Sketches: A Be2er Way to Debug Baris Kasikci, Cris<ano Pereira, Gilles Pokam, Benjamin Schubert, Madan Musuvathi, George Candea Failure and Root

  1. Failure ¡Sketches: ¡ ¡ A ¡Be2er ¡Way ¡to ¡Debug ¡ Baris ¡Kasikci, ¡Cris<ano ¡Pereira, ¡Gilles ¡Pokam, ¡ ¡ Benjamin ¡Schubert, ¡Madan ¡Musuvathi, ¡George ¡Candea

  2. Failure and Root Cause • Failure • Violation of a program specification • Memory errors, hangs, etc • Root cause • “The real reason” behind the failure • When removed from the program, the failure does not recur 2

  3. Debugging In-Production Software Failures Today 3

  4. Debugging In-Production Software Failures Today 3

  5. Debugging In-Production Software Failures Today #0 0x00007f51abae820b in raise (sig=11) at ../nptl/ sysdeps/unix/sysv/linux/pt-raise.c:37 #1 0x000000000042d289 in ap_buffered_log_writer (r=0x7f51a40053d0, handle=0x20eeba0, strs=0x7f51a4003578, strl=0x7f51a40035e8, nelts=14, len=82) at mod_log_config.c:1368 #2 0x000000000042b10d in config_log_transaction (r=0x7f51a40053d0, cls=0x20b9d50, default_format=0x20ee370) at mod_log_config.c:930 #3 0x000000000042aad6 in multi_log_transaction (r=0x7f51a40053d0) at mod_log_config.c:950 #4 0x000000000046cb2d in ap_run_log_transaction (r=0x7f51a40053d0) at protocol.c:1563 #5 0x0000000000436e81 in ap_process_request (r=0x7f51a40053d0) at http_request.c:312 #6 0x000000000042e9da in ap_process_http_connection (c=0x7f519c000b68) at http_core.c:293 #7 0x0000000000465cdd in ap_run_process_connection (c=0x7f519c000b68) at connection.c:85 #8 0x00000000004661f5 in ap_process_connection (c=0x7f519c000b68, csd=0x7f519c000a20) at connection.c:211 #9 0x0000000000451ba0 in process_socket (p=0x7f519c0009b8, sock=0x7f519c000a20, my_child_num=0, my_thread_num=0, bucket_alloc=0x7f51a4001348) at worker.c:632 #10 0x0000000000451221 in worker_thread (thd=0x210fa90, dummy=0x7f51a40008c0) at worker.c:946 #11 0x00007f51ac87c555 in dummy_worker (opaque=0x210fa90) at thread.c:127 #12 0x00007f51abae0182 in start_thread (arg=0x7f51aa8ef700) at pthread_create.c:312 #13 0x00007f51ab80d47d in clone () at ../sysdeps/ unix/sysv/linux/x86_64/clone.S:111 3

  6. Debugging In-Production Software Failures Today Understand root cause #0 0x00007f51abae820b in raise (sig=11) at ../nptl/ sysdeps/unix/sysv/linux/pt-raise.c:37 #1 0x000000000042d289 in ap_buffered_log_writer (r=0x7f51a40053d0, handle=0x20eeba0, strs=0x7f51a4003578, strl=0x7f51a40035e8, nelts=14, len=82) at mod_log_config.c:1368 #2 0x000000000042b10d in config_log_transaction (r=0x7f51a40053d0, cls=0x20b9d50, default_format=0x20ee370) at mod_log_config.c:930 #3 0x000000000042aad6 in multi_log_transaction (r=0x7f51a40053d0) at mod_log_config.c:950 #4 0x000000000046cb2d in ap_run_log_transaction (r=0x7f51a40053d0) at protocol.c:1563 #5 0x0000000000436e81 in ap_process_request (r=0x7f51a40053d0) at http_request.c:312 #6 0x000000000042e9da in ap_process_http_connection (c=0x7f519c000b68) at http_core.c:293 #7 0x0000000000465cdd in ap_run_process_connection (c=0x7f519c000b68) at connection.c:85 #8 0x00000000004661f5 in ap_process_connection (c=0x7f519c000b68, csd=0x7f519c000a20) at connection.c:211 #9 0x0000000000451ba0 in process_socket (p=0x7f519c0009b8, sock=0x7f519c000a20, my_child_num=0, my_thread_num=0, bucket_alloc=0x7f51a4001348) at worker.c:632 #10 0x0000000000451221 in worker_thread (thd=0x210fa90, dummy=0x7f51a40008c0) at worker.c:946 #11 0x00007f51ac87c555 in dummy_worker (opaque=0x210fa90) at thread.c:127 #12 0x00007f51abae0182 in start_thread (arg=0x7f51aa8ef700) at pthread_create.c:312 #13 0x00007f51ab80d47d in clone () at ../sysdeps/ unix/sysv/linux/x86_64/clone.S:111 3

  7. Debugging In-Production Software Failures Today Understand root cause #0 0x00007f51abae820b in raise (sig=11) at ../nptl/ sysdeps/unix/sysv/linux/pt-raise.c:37 #1 0x000000000042d289 in ap_buffered_log_writer (r=0x7f51a40053d0, handle=0x20eeba0, strs=0x7f51a4003578, strl=0x7f51a40035e8, nelts=14, len=82) at mod_log_config.c:1368 #2 0x000000000042b10d in config_log_transaction (r=0x7f51a40053d0, cls=0x20b9d50, default_format=0x20ee370) at mod_log_config.c:930 #3 0x000000000042aad6 in multi_log_transaction (r=0x7f51a40053d0) at mod_log_config.c:950 #4 0x000000000046cb2d in ap_run_log_transaction (r=0x7f51a40053d0) at protocol.c:1563 #5 0x0000000000436e81 in ap_process_request (r=0x7f51a40053d0) at http_request.c:312 #6 0x000000000042e9da in ap_process_http_connection (c=0x7f519c000b68) at http_core.c:293 #7 0x0000000000465cdd in ap_run_process_connection (c=0x7f519c000b68) at connection.c:85 #8 0x00000000004661f5 in ap_process_connection (c=0x7f519c000b68, csd=0x7f519c000a20) at connection.c:211 #9 0x0000000000451ba0 in process_socket (p=0x7f519c0009b8, sock=0x7f519c000a20, my_child_num=0, my_thread_num=0, bucket_alloc=0x7f51a4001348) at worker.c:632 #10 0x0000000000451221 in worker_thread (thd=0x210fa90, dummy=0x7f51a40008c0) at worker.c:946 #11 0x00007f51ac87c555 in dummy_worker (opaque=0x210fa90) at thread.c:127 #12 0x00007f51abae0182 in start_thread (arg=0x7f51aa8ef700) at pthread_create.c:312 #13 0x00007f51ab80d47d in clone () at ../sysdeps/ unix/sysv/linux/x86_64/clone.S:111 Reproduce the problem 3

  8. Debugging In-Production Software Failures Today Understand root cause #0 0x00007f51abae820b in raise (sig=11) at ../nptl/ sysdeps/unix/sysv/linux/pt-raise.c:37 #1 0x000000000042d289 in ap_buffered_log_writer (r=0x7f51a40053d0, handle=0x20eeba0, strs=0x7f51a4003578, strl=0x7f51a40035e8, nelts=14, len=82) at mod_log_config.c:1368 #2 0x000000000042b10d in config_log_transaction (r=0x7f51a40053d0, cls=0x20b9d50, default_format=0x20ee370) at mod_log_config.c:930 #3 0x000000000042aad6 in multi_log_transaction (r=0x7f51a40053d0) at mod_log_config.c:950 #4 0x000000000046cb2d in ap_run_log_transaction (r=0x7f51a40053d0) at protocol.c:1563 #5 0x0000000000436e81 in ap_process_request (r=0x7f51a40053d0) at http_request.c:312 #6 0x000000000042e9da in ap_process_http_connection (c=0x7f519c000b68) at http_core.c:293 #7 0x0000000000465cdd in ap_run_process_connection (c=0x7f519c000b68) at connection.c:85 #8 0x00000000004661f5 in ap_process_connection (c=0x7f519c000b68, csd=0x7f519c000a20) at connection.c:211 #9 0x0000000000451ba0 in process_socket (p=0x7f519c0009b8, sock=0x7f519c000a20, my_child_num=0, my_thread_num=0, bucket_alloc=0x7f51a4001348) at worker.c:632 #10 0x0000000000451221 in worker_thread (thd=0x210fa90, dummy=0x7f51a40008c0) at worker.c:946 #11 0x00007f51ac87c555 in dummy_worker (opaque=0x210fa90) at thread.c:127 #12 0x00007f51abae0182 in start_thread (arg=0x7f51aa8ef700) at pthread_create.c:312 #13 0x00007f51ab80d47d in clone () at ../sysdeps/ unix/sysv/linux/x86_64/clone.S:111 Reproduce the problem 3

  9. Tackling the Debugging Challenge • Record/replay • Special runtime support 1 • VM checkpointing • Custom hardware 2 • Not widely available 1 ¡ J. ¡Tucek ¡et ¡al., ¡Triage: ¡Diagnosing ¡Produc<on ¡Run ¡Failures ¡at ¡the ¡User's ¡Site, ¡SOSP ¡2007 ¡ 2 ¡ G. ¡Pokam ¡et ¡al., ¡QuickRec: ¡prototyping ¡an ¡intel ¡architecture ¡extension ¡for ¡record ¡and ¡replay ¡of ¡mul<threaded ¡ programs, ¡ISCA ¡2013 4

  10. Tackling the Debugging Challenge • Record/replay • Special runtime support 1 • VM checkpointing • Custom hardware 2 • Not widely available Existing tools don’t help debugging in-production failures 3 1 ¡ J. ¡Tucek ¡et ¡al., ¡Triage: ¡Diagnosing ¡Produc<on ¡Run ¡Failures ¡at ¡the ¡User's ¡Site, ¡SOSP ¡2007 ¡ 2 ¡ G. ¡Pokam ¡et ¡al., ¡QuickRec: ¡prototyping ¡an ¡intel ¡architecture ¡extension ¡for ¡record ¡and ¡replay ¡of ¡mul<threaded ¡ programs, ¡ISCA ¡2013 3 ¡ C. ¡Sadowski ¡et ¡al. ¡,How ¡developers ¡use ¡data ¡race ¡detec<on ¡tools, ¡Workshop ¡on ¡Evalua<on ¡and ¡Usability ¡of ¡ Programming ¡Languages ¡and ¡Tools ¡2014 4

  11. Debugging In-Production Software Failures Today Understand root cause #0 0x00007f51abae820b in raise (sig=11) at ../nptl/ sysdeps/unix/sysv/linux/pt-raise.c:37 #1 0x000000000042d289 in ap_buffered_log_writer (r=0x7f51a40053d0, handle=0x20eeba0, strs=0x7f51a4003578, strl=0x7f51a40035e8, nelts=14, len=82) at mod_log_config.c:1368 #2 0x000000000042b10d in config_log_transaction (r=0x7f51a40053d0, cls=0x20b9d50, default_format=0x20ee370) at mod_log_config.c:930 #3 0x000000000042aad6 in multi_log_transaction (r=0x7f51a40053d0) at mod_log_config.c:950 #4 0x000000000046cb2d in ap_run_log_transaction (r=0x7f51a40053d0) at protocol.c:1563 #5 0x0000000000436e81 in ap_process_request (r=0x7f51a40053d0) at http_request.c:312 #6 0x000000000042e9da in ap_process_http_connection (c=0x7f519c000b68) at http_core.c:293 #7 0x0000000000465cdd in ap_run_process_connection (c=0x7f519c000b68) at connection.c:85 #8 0x00000000004661f5 in ap_process_connection (c=0x7f519c000b68, csd=0x7f519c000a20) at connection.c:211 #9 0x0000000000451ba0 in process_socket (p=0x7f519c0009b8, sock=0x7f519c000a20, my_child_num=0, my_thread_num=0, bucket_alloc=0x7f51a4001348) at worker.c:632 #10 0x0000000000451221 in worker_thread (thd=0x210fa90, dummy=0x7f51a40008c0) at worker.c:946 #11 0x00007f51ac87c555 in dummy_worker (opaque=0x210fa90) at thread.c:127 #12 0x00007f51abae0182 in start_thread (arg=0x7f51aa8ef700) at pthread_create.c:312 #13 0x00007f51ab80d47d in clone () at ../sysdeps/ unix/sysv/linux/x86_64/clone.S:111 Reproduce the problem 5

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Why Are Some Countries Be2er at Science &amp; Technology

Why Are Some Countries Be2er at Science &amp; Technology

Why Are Some Countries Be2er at Science &amp; Technology Than Others? All research available at: http://www.mzak.net presented by: Mark Zachary Taylor Sam Nunn School of International

688 views • 52 slides
Cool Cisco IOS Commands: debug interface debug interface When you are performing debugs you have

Cool Cisco IOS Commands: debug interface debug interface When you are performing debugs you have

Cool Cisco IOS Commands: debug interface debug interface When you are performing debugs you have at least two concerns: 1) making sure the that debug does not clobber the CPU of your device, and 2) filtering the debug output to get to the

460 views • 9 slides
Physical Sketches CPSC 581 - Fall 2015 Motivation Experience your sketches in a more physical

Physical Sketches CPSC 581 - Fall 2015 Motivation Experience your sketches in a more physical

Physical Sketches CPSC 581 - Fall 2015 Motivation Experience your sketches in a more physical form Test your interaction design with potential end-users Better insights by exploring in 3D! Architecture scale model Industrial Design

417 views • 27 slides
To use it, you must compile your code with the -g option CXXFLAGS += -g g++ -g debug.cpp -o

To use it, you must compile your code with the -g option CXXFLAGS += -g g++ -g debug.cpp -o

To use it, you must compile your code with the -g option CXXFLAGS += -g g++ -g debug.cpp -o debug To run, type in gdb ./debug After typing in gdb ./debug you will enter the debugger Type run and it will run

502 views • 6 slides
Urban Metabolism Analysis to Be2er Understand Complex Urban

Urban Metabolism Analysis to Be2er Understand Complex Urban

Urban Metabolism Analysis to Be2er Understand Complex Urban Systems Stephanie Pincetl, Director California Center for Sustainable Communi?es October 14, 2014

266 views • 25 slides
COMPSCI 326 Web Programming Week 09: ER Diagram Sketches Agenda 4:00 4:35 ER Diagram

COMPSCI 326 Web Programming Week 09: ER Diagram Sketches Agenda 4:00 4:35 ER Diagram

COMPSCI 326 Web Programming Week 09: ER Diagram Sketches Agenda 4:00 4:35 ER Diagram Sketches 4:35 5:10 Team Lightning Data Talks 2 minute presentation on: 1. 1-2 sentences overviewing your startups application 2. 1-2

632 views • 22 slides
Bloom Filters, Count Sketches and Adaptive Sketches Rice University Anshumali Shrivastava

Bloom Filters, Count Sketches and Adaptive Sketches Rice University Anshumali Shrivastava

Bloom Filters, Count Sketches and Adaptive Sketches Rice University Anshumali Shrivastava anshumali@rice.edu 29th August 2016 Anshumali Shrivastava (COMP 640) Sketching 29th August 2016 1 / 22 Basics: Universal Hashing Basic tool for

542 views • 33 slides
DRAFTING THE UNIVERSAL LANGUAGE SKETCHING Rough Sketches are the most common recording method.

DRAFTING THE UNIVERSAL LANGUAGE SKETCHING Rough Sketches are the most common recording method.

DRAFTING THE UNIVERSAL LANGUAGE SKETCHING Rough Sketches are the most common recording method. The term rough describes the state of the design ideas. It suggests that the designs are incomplete and unrefined. Refined Sketches are

329 views • 12 slides
Debug Info for Optimized Code LLVM BoF Session Adrian Prantl &amp; Vedant Kumar, Apple October

Debug Info for Optimized Code LLVM BoF Session Adrian Prantl &amp; Vedant Kumar, Apple October

Debug Info for Optimized Code LLVM BoF Session Adrian Prantl &amp; Vedant Kumar, Apple October 2018 Ten years of LLVM Debug Info Ten years of debug info in LLVM #commits to LLVM 12000 9000 6000 3000 0 2007 2008 2009 2010 2011

380 views • 8 slides
Debug info in optimized code how far can we go? Improving LLVM debug info with function entry

Debug info in optimized code how far can we go? Improving LLVM debug info with function entry

Debug info in optimized code how far can we go? Improving LLVM debug info with function entry values RT-RK LLC Speakers: Djordje Todorovic djordje.todorovic@rt-rk.com Nikola Prica nikola.prica@rt-rk.com 1 CONFIDENTIAL Reproduction

543 views • 30 slides
efforts count: Best practices with the CDT Debugger Marc Khouzam ABOUT Me Working with CDT

efforts count: Best practices with the CDT Debugger Marc Khouzam ABOUT Me Working with CDT

Making your debugging efforts count: Best practices with the CDT Debugger Marc Khouzam ABOUT Me Working with CDT Debug since 2007 CDT project co-lead, lead for Debug component Things you don't like about CDT Debug are probably my

636 views • 50 slides
DeBIN: Predicting Debug Information in Stripped Binaries ht https://debin.ai Jingxuan Pesho

DeBIN: Predicting Debug Information in Stripped Binaries ht https://debin.ai Jingxuan Pesho

DeBIN: Predicting Debug Information in Stripped Binaries ht https://debin.ai Jingxuan Pesho Petar Veselin Martin He Ivanov Tsankov Raychev Vechev Binaries with debug symbols Descriptive names for functions and variables Assembly

304 views • 29 slides
Programmable Logic Core Based Post-Silicon Debug for SoCs Bradley R. Quinton and Steven J.E.

Programmable Logic Core Based Post-Silicon Debug for SoCs Bradley R. Quinton and Steven J.E.

Programmable Logic Core Based Post-Silicon Debug for SoCs Bradley R. Quinton and Steven J.E. Wilton University of British Columbia Vancouver, B.C., Canada What this talk is about: Enhancing ASIC debug using embedded FPGA cores - Use the

334 views • 17 slides
Health Failure Telehealth Final Report Sarah Briggs Heart Failure Specialist Nurse Heart Failure

Health Failure Telehealth Final Report Sarah Briggs Heart Failure Specialist Nurse Heart Failure

Health Failure Telehealth Final Report Sarah Briggs Heart Failure Specialist Nurse Heart Failure Heart failure is a life limiting condition with outcomes worse than most cancers Heart failure is manifested by severe symptoms and the

775 views • 22 slides
Debug Info Tutorial Eric Christopher (echristo@gmail.com), David Blaikie (dblaikie@gmail.com)

Debug Info Tutorial Eric Christopher (echristo@gmail.com), David Blaikie (dblaikie@gmail.com)

Debug Info Tutorial Eric Christopher (echristo@gmail.com), David Blaikie (dblaikie@gmail.com) What is debug info? Mapping of source to binary Program structure, lines, columns, variables Debuggers, Profiling, Editors Kaleidoscope Background

653 views • 36 slides
Trace Debugging in lowRISC lowRISC release v0.3 with Open SoC Debug Wei Song 1 , Stefan

Trace Debugging in lowRISC lowRISC release v0.3 with Open SoC Debug Wei Song 1 , Stefan

Trace Debugging in lowRISC lowRISC release v0.3 with Open SoC Debug Wei Song 1 , Stefan Wallentowitz 2 , Alex Bradbury 1 , Robert Mullins 1 1. lowRISC and University of Cambridge 2. Open SoC Debug 12 July 2016 lowRISC lowRISC

815 views • 22 slides
Lets try it (max (list 1 2 3 4 5 6)) 1 Recurs twice on (list 2 3 4 5 6) 2

Lets try it (max (list 1 2 3 4 5 6)) 1 Recurs twice on (list 2 3 4 5 6) 2

Non-empty lists Whats wrong with max-of-nelon? ;; max-of-nelon: nelon -&gt; number We wrote this expression twice (define (max-of-nelon a-nelon) (cond [(empty? (rest a-nelon)) (first a-nelon) ] [(cons? (rest a-nelon)) (cond [(

521 views • 6 slides
C o mp l e x i t y o f r e c u r s i v e f u n c t i o n s ( W e i

C o mp l e x i t y o f r e c u r s i v e f u n c t i o n s ( W e i

C o mp l e x i t y o f r e c u r s i v e f u n c t i o n s ( W e i s s 7 . 5 ) C a l c u l a t i n g c o m p l e x i t y L e t T ( n ) b e t h e t i m e m e r g e s o

494 views • 16 slides
4.4 Growth Rates of Solutions to Recurrences Divide and Conquer Algorithms One of the most basic

4.4 Growth Rates of Solutions to Recurrences Divide and Conquer Algorithms One of the most basic

106 CHAPTER 4. INDUCTION, RECURSION AND RECURRENCES 4.4 Growth Rates of Solutions to Recurrences Divide and Conquer Algorithms One of the most basic and powerful algorithmic techniques is divide and conquer . Consider, for example, the binary

491 views • 18 slides
Zamolodchikov periodicity and integrability (extended abstract) Pavel Galashin 1 and Pavlo

Zamolodchikov periodicity and integrability (extended abstract) Pavel Galashin 1 and Pavlo

Proceedings of the 29 th Conference on Formal Power Sminaire Lotharingien de Combinatoire XX (2017) Article YY Series and Algebraic Combinatorics (London) Zamolodchikov periodicity and integrability (extended abstract) Pavel Galashin 1 and

137 views • 12 slides
role of unstable periodic orbits in the pattern formation of turbulent motion Jos Surez

role of unstable periodic orbits in the pattern formation of turbulent motion Jos Surez

Experimental Investigation of the role of unstable periodic orbits in the pattern formation of turbulent motion Jos Surez -Vargas et al. * IVIC, near Caracas, Venezuela Dresden, 12 of July 2011 * See acknowledgments. CONTENT

460 views • 25 slides
Periodic Solutions of Abel Equation and Signal Reconstruction from Integral Measurements D.

Periodic Solutions of Abel Equation and Signal Reconstruction from Integral Measurements D.

Periodic Solutions of Abel Equation and Signal Reconstruction from Integral Measurements D. Batenkov, Y. Yomdin The Weizmann Institute of Science, Rehovot, Israel Abel Symposium 2012 Motivation: Hilbert 16-th (Smale-Pugh) and Center- 1 Focus

467 views • 33 slides
Recursive Algorithms Department of Computer Science University of Maryland, College Park

Recursive Algorithms Department of Computer Science University of Maryland, College Park

CMSC 132: Object-Oriented Programming II Recursive Algorithms Department of Computer Science University of Maryland, College Park Recursion Recursion is a strategy for solving problems A procedure that calls itself Approach If (

459 views • 20 slides
Institutionalizing Lessons Learned October 25, 2006 Loren Plisco Region II Background

Institutionalizing Lessons Learned October 25, 2006 Loren Plisco Region II Background

Institutionalizing Lessons Learned October 25, 2006 Loren Plisco Region II Background SEP 2002 Davis-Besse Lessons Learned Task Force AUG 2004 - Effectiveness Review Lessons Learned Task Force JAN 2005 - EDO Charters

269 views • 22 slides

More recommend