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
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).
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.
> 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
Hello everyone!
My name is Omar Navarro Leija. I am interning for the summer at Mozilla SF
as part of the Servo group.
I am a 4th year PhD student at the University of Pennsylvania. I am
interested in systems programming, operating systems, and concurrency. My
current research focuses on
6 matches
Mail list logo
