Omar Navarro Leija
Omar Navarro Leija
Debugging failing builds is one of the hardest parts of this project. DetTrace itself is actually a really good tool to see figure out why builds go wrong. Specially since...
## Background Currently our dettrace C++ loops looks something like this: ```rust let current_pid = starting_pid; loop { // Loop invariant: All processes are currently stopped. Allow a pid of...
Puzzlingly, multiple class to dpkg-buildpackage where not working. Sometimes it would run all the way, other times it would error out? @krs85 and I are doing some lightweight builds on...
Right now, our logging is terribly wasteful. It does all the work and simply chooses not to print the string at the end. This happens many time when we read...
For example `syscallInjected` should have a wrapper class that reads once, returns it's value and sets to false afterwards. Otherwise, if the user forgets to set to false manually, it...
It seems like the `pselect` implementation is empty?
So I have gone through the newest Jenkins build that's number 43. and I have gathered the following reasons as why dettrace packages fail to build. we have to be...
As brought up by @rrnewton on #89 the question of memory allocation and (malloc, brk, mmap) and what values it gets filled with is in question. Generally there are two...
As shown in #89 there are several values in signal fields which are undefined. We can use dettrace to set those values to zero.
A new source of nondeterminism comes from the futex wake calls: `FUTEX_WAKE`. According to `man (2) futex`: "No guarantee is provided about which waiters are awoken". If multiple waiters are...