Plaestra de encerramento da PythonNordeste 2013 em Fortaleza-CE

1. O Depurador Onisciente
Rodrigo Dias Arruda Senra
PythonNordeste 2013 / Fortaleza-CE

2. O Depurador Onisciente
Rodrigo Dias Arruda Senra
PythonNordeste 2013 / Fortaleza-CE

3. Apenas um rapaz latino americano...
•Especialista em Desenv. e Proj. de SW
Globo.com
•Engenheiro de Computação
Grad-MSc-PhD IC-Unicamp
•Entusiasta de FLOSS
(atuante na comunidade Python desde 2000)

4. Roteiro do Blá

9. O que é um bug ?

10. Debugging is twice as hard
as writing the code in the first
place. Therefore,
if you write the code as cleverly
as possible...
Brian Kernighan

11. you are, by definition,
not smart enough to debug it.
Brian Kernighan

12. “In a typical commercial development
organization, the cost of providing this assurance
via appropriate debugging, verification and testing
activities can easily range from 50% to 75% of the
total development cost.”
Brent Hailpern and Padmanabhan Santhanam.
Software debugging, testing, and verification.
IBM Systems Journal, 41(1):4–12, 2002

13. Conceitos Básicos
def soma(x, y):
z = x + y
return z
Timeline
ic=15 ic=16
soma(2,3)
soma
step

14. Conceitos Básicos
>>> dis.disassemble(soma.func_code)
2 0 LOAD_FAST 0 (x)
3 LOAD_FAST 1 (y)
6 BINARY_ADD
7 STORE_FAST 2 (z)
3 10 LOAD_FAST 2 (z)
13 RETURN_VALUE
def soma(x, y):
z = x + y
return z
ic=15
ic=16
ic=15
ic=16
Timeline
ic=15 ic=16
soma(2,3)
soma
ic=14
step

15. Conceitos Básicos
>>> dis.disassemble(soma.func_code)
2 0 LOAD_FAST 0 (x)
3 LOAD_FAST 1 (y)
6 BINARY_ADD
7 STORE_FAST 2 (z)
3 10 LOAD_FAST 2 (z)
13 RETURN_VALUE
def soma(x, y):
z = x + y
return z
Timeline
ic=15
soma(2,3)
ic=14
next

17. Ferramentas de
Depuração

18. Ferramentas de
Depuração
biblioteca-padrão
• logging
• traceback
• inspect
• dis
• bdb
• pdb
• idle

19. Ferramentas de
Depuração
biblioteca-padrão
• logging
• traceback
• inspect
• dis
• bdb
• pdb
• idle
Depuradores (linha de comando)
• pydb - Rock Bernstein (2006)
• pydbgr/trepan - Rock Bernstein (2009)
• ipdb - Godefoide Chapelle (2010)
• epdb/gepdb - Patrick Sabin (2010)
• pudb - Andreas Kloeckner (2013)

22. Post-mortem ?

24. • EXDAMS (1969) - Bob Balzer [PL/I,Algol, Fortran]
• ? (1993) - A.Tolmach & A.Appel [Standard ML]
• ZStep95 (1997) - H. Lieberman [Lisp]
• Coca (1999) - M. Ducassé [C]
• Hercule (2000) - K. Renaud [Java]
• Dejavu (2000) - Alpern & Ngo & Choi & Sridaharan[Java]
• ODB (2005) - Bill Lewis [Java]
•TOD (2007) - Guillaume Pothier, Éric Tanter and José Piquer [Java]
• epdb (2010) - Patrick Sabin [Python]
História do Depurador Onisciente

25. Timeline 1
soma(2,3)
next
O que é o Depurador Onisciente ?

26. Timeline 1
soma(2,3)
next
O que é o Depurador Onisciente ?
Timeline 2
rnext

27. Timeline 1
soma(2,3)
next
O que é o Depurador Onisciente ?
Timeline 2
rnext soma
step

28. Timeline 1
soma(2,3)
next
O que é o Depurador Onisciente ?
Timeline 2
rnext soma
step
Modo: redo ou replay ?

29. Arquitetura (TOD)
http://pleiad.dcc.uchile.cl/tod/documentation/internals.html

31. http://www.lambdacs.com/debugger/
http://www.youtube.com/watch?v=xpI8hIgOyko
ODB

32. Implementing a Reversible Debugger for Python (epdb)
Patrick Sabin - Informatik der Technischen Universität Wien - 2010

33. http://github.com/rodsenra/pode
PODE

35. An now
something
completely
different !

37. Rodrigo Dias Arruda Senra
http://rodrigo.senra.nom.br
rsenra@acm.org
rodrigo.senra@corp.globo.com
As opiniões e conclusões expressas nesta apresentação são de exclusiva responsabilidade de Rodrigo Senra.
Não é necessário requisitar permissão do autor para o uso de partes ou do todo desta apresentação, desde que
não sejam feitas alterações no conteúdo reutilizado e que esta nota esteja presente na íntegra no material
resultante.
Imagens e referências para outros trabalhos nesta apresentação permanecem propriedade daqueles que detêm
seus direitos de copyright.

38. Obrigado a todos pela atenção.
Rodrigo Dias Arruda Senra
http://rodrigo.senra.nom.br
rsenra@acm.org
rodrigo.senra@corp.globo.com
As opiniões e conclusões expressas nesta apresentação são de exclusiva responsabilidade de Rodrigo Senra.
Não é necessário requisitar permissão do autor para o uso de partes ou do todo desta apresentação, desde que
não sejam feitas alterações no conteúdo reutilizado e que esta nota esteja presente na íntegra no material
resultante.
Imagens e referências para outros trabalhos nesta apresentação permanecem propriedade daqueles que detêm
seus direitos de copyright.