Research Question For Highly Concurrent Systems

[gatoWololo]

Hello, I am a PhD student at the University Of Pennsylvania. I'm currently leading a research project on decreasing nondeterminism in highly concurrent systems which communicate mostly via channels.

Our ongoing work has applied our approach to Servo (abstract here)

I think timely-dataflow may be a good case study for our research project. In Servo we mostly focused on lowering the number of intermittent test failures. My main question is: Is nondeterminism ever a problem for timely-dataflow? Does it affect debuggability, reproducibility, development, or any other nice-to-have properties of the system?

Thank you for your time.