github.com/DARA-Project/GoDist-Scheduler@v0.0.0-20201030134746-668de4acea0d/structured/dphil (about) build.sh diningphilosopher.go dphil exec_script.sh run.sh