rr VS adapta-gtk-theme

rr mentions (58)

• Hermit is a hermetic and reproducible sandbox for running programs

  I think this tool must share a lot techniques and use cases with rr. I wonder how it compares in various aspects. https://rr-project.org/ rr "sells" as a "reversible debugger", but it obviously needs the determinism for its record and replay to work, and AFAIK it employs similar techniques regarding system call interception and serializing on a single CPU. The reversible debugger aspect is built on periodic... - Source: Hacker News / 14 days ago

• So you think you want to write a deterministic hypervisor?

  Https://rr-project.org/ had the same problem. They use the retired conditional branch counter instead of instruction counter, and then instruction steeping until at the correct address. - Source: Hacker News / about 1 month ago

• Is Something Bugging You?

  That'll work great for your Distributed QSort Incorporated startup, where the only product is a sorting algorithm. Formal software verification is very useful. But what can be usefully formalized is rather limited, and what can be formalized correctly in practice is even more limited. That means you need to restrict your scope to something sane and useful. As a result, in the real world running thousands of tests... - Source: Hacker News / 3 months ago

• When "letting it crash" is not enough

  The approach of check-pointing computation such that it is resumable and restartable sounds similar to a time-traveling debugger, like rr or WinDbg: https://rr-project.org/ https://learn.microsoft.com/windows-hardware/drivers/debuggercmds/time-travel-debugging-overview. - Source: Hacker News / 3 months ago

• When I got started I debugged using printf() today I debug with print()

  Yes, it's called rr. https://rr-project.org/. - Source: Hacker News / 3 months ago

adapta-gtk-theme mentions (0)