Nondeterminism (for example, caused by concurrency) is an undesirable feature of systems making debugging difficult. An improvement would be sufficient logging to reconstruct a given execution of a nondeterministic computation. What tools and techniques are there for this?
No comments :
Post a Comment