github.com/DARA-Project/GoDist-Scheduler@v0.0.0-20201030134746-668de4acea0d/examples/diningphilosopher_test/config-all.json (about)

     1  {
     2      "StateVars": ["Excused", "RequestStick", "RightChopstick", "Thinking", "BUFF_SIZE", "ExcuseMe", "Ack", "ReleaseStick", "SIZEOFINT", "SLEEP_MAX", "LeftChopstick", "n", "Eating"],
     3      "EventVars": ["Type"],
     4      "Servers": [ {"Name": "cerf", "IP": "localhost", "Cpus": 4} ]
     5  }