The thing that has me slightly worried is that there may be a source of
nondeterminism buried in a library where we can't get at it that ends up
influencing Servo a lot. Gulp, not much we can do other than try it and
see. Computing is n experimental science and all that.
On Tue, Jun 4, 2019 at 7:1
On Wed, Jun 5, 2019 at 4:16 AM Alan Jeffrey wrote:
> We're interested in doing the experiment of how to increase the amount of
> determinism in a program like Servo where almost all the nondeterminism
> that's observable by Servo has a single cause (in Servo's case selecting on
> channels). There
We're interested in doing the experiment of how to increase the amount of
determinism in a program like Servo where almost all the nondeterminism
that's observable by Servo has a single cause (in Servo's case selecting on
channels). There'll still be a lot of nondeterminism in the system (e.g.
depe
> What's the motivation for doing this vs using an off-the-shelf record and
replay tool like rr?
Yeah, that's a really good question. This is just the rough idea for my
project and we're still shaping out the details.
Some high level points:
- As you already mentioned, RR sequentializes execution
On Tue, Jun 4, 2019 at 11:49 AM Omar Salvador Navarro Leija <
ole...@mozilla.com> wrote:
> This summer, I will be looking at taming a small piece of the difficulty
> with debugging parallel systems. Specifically, implementing
> record-and-replay for Rust channels. This will hopefully make servo a
5 matches
Mail list logo
