Groups | Search | Server Info | Keyboard shortcuts | Login | Register

Groups > comp.compilers > #3482

Re: binary search debugging of compilers

Show all headers | View raw

>From: Larry McVoy <lm@mcvoy.com>
>Date: Mon, May 15, 2023 at 1:57 PM
>Subject: Re: history of source control binary search for debugging
>
>Good to hear from you Russ.
>
>I'm pretty sure I "invented" that idea, which means I hadn't seen it before.
>All I was doing was using the fact that binary search is log(n).  And giving
>non-kernel people a way to do some grunt work and then get it close and
>then hand that off to the kernel people.
>
>But note that the BUG-HUNTING was using snapshot, not source management.
>BitKeeper hadn't been invented yet and the other source management systems
>sucked because they were reproducible only at tagged points.  At least
>that was true of CVS.

With cvs update -D, one can select a date and update the tree to that
specific date.  Indeed, I've been known to use '1 day ago', ... '50
days ago' and binary search that way as well.  Nice interface as you
only have to deal with changing a single number.  And the granularity
in days is a nice metric. It gets you down to a day or two and then
you dig in from there.  Further, with cvs, you could update only parts
of the tree if you suspect which part might be failing.  Front end,
loop unrolling and so on.

Another technique I've used to is save off part of the compiler
(cc1/cc1plus) binary from the nightly build system, and then when you
want state on a bug, you simply for i in */cc1; do test $i; done and
then you get a total view of that code against all the compilers.  You
can see bugs pop in and out, or if they are simple, always worked
before, and never after.

These methods are so basic that there is no need to write them down.
I've been using such techniques longer than linux has been around.
:-)

Back to comp.compilers | Previous | Next — Previous in thread | Find similar

Thread

Re: binary search debugging of compilers Russ Cox <rsc@swtch.com> - 2023-05-17 10:55 -0400
  Re: binary search debugging of compilers Cameron McInally <cameron.mcinally@nyu.edu> - 2023-05-17 13:40 -0400
  Re: binary search debugging of compilers Kaz Kylheku <864-117-4973@kylheku.com> - 2023-05-17 18:47 +0000
  Re: binary search debugging of compilers Spiros Bousbouras <spibou@gmail.com> - 2023-05-18 10:50 +0000
    Re: binary search debugging of compilers Kaz Kylheku <864-117-4973@kylheku.com> - 2023-05-19 03:44 +0000
    binary search debugging of compilers Cliff Click <cclick0@gmail.com> - 2023-05-19 10:47 -0700
  Re: binary search debugging of compilers mrs@kithrup.com (Mike Stump) - 2023-05-20 18:04 +0000

csiph-web