Research On Deterministic Execution Facing The Debugging Of Parallel Program

Due to non-determinism, parallel programs are prone to error and it is very hard torepeat and debug them. Non-determinism introduces large challenges to the reliabilityand development of parallel programs. However, deterministic execution, as a newresearch field, shows light of solving this problem. With deterministic execution, wecan repeat errors in a deterministic way, which greatly facilitates the development ofparallel programs while enhancing the reliability of them.This paper focus on efficient implementation of dterministic excution model.Specifically, this paper focus on an special excution model (Syn-Free) which introduceno global synchronization in programs. We do research on how to efficiently implementand optimise it.Moreover, known deterministic execution systems can’t recognize a specialsynchronization which is called Ad-hoc synchronization, making them not capable ofprograms with Ad-hoc synchronizations in them. This paper raises an automaticmechanism to detect Ad-hoc synchronization. Our mechanism can detect almost allsynchronizations with small false-positives.Finally, this paper implements a deterministic execution system prototype whichinsert no synchronization in programs. We offer a flex range of determinism to facilitatedebugging and execution.