From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 29912 invoked by alias); 10 Jun 2011 08:04:11 -0000 Received: (qmail 29902 invoked by uid 22791); 10 Jun 2011 08:04:09 -0000 X-SWARE-Spam-Status: No, hits=0.2 required=5.0 tests=AWL,BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,FREEMAIL_ENVFROM_END_DIGIT,FREEMAIL_FROM,RCVD_IN_DNSWL_NONE,RFC_ABUSE_POST,T_RP_MATCHES_RCVD X-Spam-Check-By: sourceware.org Received: from nm20-vm0.bullet.mail.sp2.yahoo.com (HELO nm20-vm0.bullet.mail.sp2.yahoo.com) (98.139.91.218) by sourceware.org (qpsmtpd/0.43rc1) with SMTP; Fri, 10 Jun 2011 08:03:55 +0000 Received: from [98.139.91.63] by nm20.bullet.mail.sp2.yahoo.com with NNFMP; 10 Jun 2011 08:03:55 -0000 Received: from [98.139.91.41] by tm3.bullet.mail.sp2.yahoo.com with NNFMP; 10 Jun 2011 08:03:55 -0000 Received: from [127.0.0.1] by omp1041.mail.sp2.yahoo.com with NNFMP; 10 Jun 2011 08:03:55 -0000 Received: (qmail 91855 invoked by uid 60001); 10 Jun 2011 08:03:54 -0000 Message-ID: <704470.84339.qm@web112516.mail.gq1.yahoo.com> Received: from [15.219.201.80] by web112516.mail.gq1.yahoo.com via HTTP; Fri, 10 Jun 2011 01:03:54 PDT References: <158712.44942.qm@web112515.mail.gq1.yahoo.com> Date: Fri, 10 Jun 2011 08:04:00 -0000 From: paawan oza Subject: Re: Re: ReBranch - a record-replay debugging tool To: pi3orama Cc: gdb@sourceware.org In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-IsSubscribed: yes Mailing-List: contact gdb-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-owner@sourceware.org X-SW-Source: 2011-06/txt/msg00065.txt.bz2 data-flow info is not recorded because assumption is: many of the non-deterministic bugs are control-flow level. so, if you do not have/or minial data-flow info, and if you only set link/branch registers and instruction pointers, then while replaying, do you think that program may not behave as in previous run because of loss of data flow info. especially it may not take some of the branches which it previously took. because in you pdf example switch (X) /* here branch is recorded but not X where X might have been changed before it, and when you reply it may take different branch */ let me know if my thinking is ok in this sense. Regards, Oza. ----- Original Message ---- From: pi3orama To: paawan oza ; Nan Wang Cc: gdb@sourceware.org Sent: Fri, June 10, 2011 7:25:09 AM Subject: Re: Re: ReBranch - a record-replay debugging tool Hi, ReBranch instruments all indirect branch instruction (such as jnz, jmp *0x12345, call *%eax..., and syscall), records their branch targets. For system calls, ReBranch also record their results (for write(), ReBranch records its return value; for read(), ReBranch records its return value as well as the data it retrieves). It also records the result of 'rdtsc'. All instrumentation is done dynamically at runtime -- no recompilation or relinking is required. On , paawan oza wrote: > Hi, > > > > Is it something like you do an instrumentation in object code....mostly at > all > > control flows and system calls. > > and record some things. > > so indirectly you do not record every instruction, but you need to modify > object > > code by binary instrumentation. > > > > but what I fail to understand is; what all do you record ? > > > > > > Regards, > > Oza. > > > > > > > > ----- Original Message ---- > > From: Nan Wang pi3orama@gmail.com> > > To: Pedro Alves pedro@codesourcery.com>; gdb@sourceware.org > > Sent: Thu, June 9, 2011 10:09:09 PM > > Subject: Re: ReBranch - a record-replay debugging tool > > > > What I mean "control-flow only debugging" is: > > > > Sometimes user only use GDB's control-flow functions, such as 'c', 'b', > > 'n', 's' ... to watch how the program get to the bug. He or she doesn't > > care the variable name, the memory and some data-flow information. > > > > ReBranch demands "control-flow only debugging" because it only records > > every branch instruction. In current implementation (the modified > > version of gdbserver), the replayer still need to create a process and > > use ptrace to control it. When data-flow have error (caused by data-race > > in multi threading situation), the ptraced process will generate > > segfault for every instructions, which slows down the performance. > > > > ReBranch have a GUI replayer -- ReBranchK -- which is a simple > > control-flow-only debugging tool. ReBranchK doesn't really create the > > process and debug it. It 'executes' the program virtually by reads the > > log and shows corresponding source code. It implements 's', 'b' and 'c' > > command. However, when writing ReBranchK, I found that, without stack > > information, many useful control-flow command such as 'n' and 'bt' are > > hard to be implemented. Therefore, I hope someone help me to put this > > "control-flow only debugging" function into gdbserver. > > > Can you clarify what do you mean by "control-flow only debugging"? > > > > > > (Note: I haven't had the time yet to read your document on ReBranch, > > > so I don't really know how it works or why would you need gdbserver > > > for replay) > > > > >