Map
Index
Random
Help
th

QuoteRef: bootB6_2000

topics > all references > ThesaHelp: references a-b



ThesaHelp:
ACM references a-e
ThesaHelp:
references a-b
Topic:
backtracking
Topic:
reversible execution
Topic:
debugger
Group:
exception handling
Topic:
waitfor condition in parallel processing

Reference

Boothe, B., "Efficient algorithms for bidirectional debugging", Proceedings of the ACM SIGPLAN '00 Conference on Programming Language Design and Implementation (PLDI), Vancouver, BC, Canada, June 2000, ACM SIGPLAN, pp. 299-310. Google

Quotations
299 ;;Quote: bdb bidirectional debugger with re-execution instead of history-logging; backwards counterparts of step, continue, next, finish, until, and undo
300 ;;Quote: gdb debugger executes one million processor cycles for each trap/resume; context switches and system calls
300 ;;Quote: practical re-execution of programs with 64-bit counters and periodic checkpoints; less than 100% overhead
300 ;;Quote: re-execute system calls by logging and replaying return values
301 ;;Quote: bdb limits the step points of a program; prevents stepping into library routines
301 ;;Quote: two-pass implementation of bcontinue; first reexecution pass establishes the breakpoint count up to the current position; second pass goes to the nth breakpoint
302 ;;Quote: previous reexecution is not the inverse of next; two-pass algorithm
303 ;;Quote: finish/before go to function exit/entrance; two-pass algorithm
304 ;;Quote: buntil goes to last step point satisfying a condition; useful; two-pass algorithm
304 ;;Quote: bdb adds step points before and after functional expressions
306 ;;Quote: checkpoints by fork every 1/10 second and thinning of old checkpoints
308 ;;Quote: fast undo by always retaining the checkpoint prior to last breakpoint
308 ;;Quote: implemented system call replay for 35 of 262 Unix system calls


Related Topics up

ThesaHelp: ACM references a-e (259 items)
ThesaHelp: references a-b (396 items)
Topic: backtracking (30 items)
Topic: reversible execution (20 items)
Topic: debugger (37 items)
Group: exception handling   (12 topics, 305 quotes)
Topic: waitfor condition in parallel processing (20 items)

Collected barberCB 8/00
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.