static void Main(string[] args)
{
Profiler profiler = new Profiler();
profiler.StartMeasuringExecutionTime();
new TPLTest().Start(Test.NumOfNodes);
profiler.StopMeasuringExecutionTime();
Console.WriteLine("... TPL executed for '" +
profiler.Results() + "' seconds.");
profiler.StartMeasuringExecutionTime();
var runtime = PSharpRuntime.Create();
Test.Execute(runtime);
runtime.Wait();
profiler.StopMeasuringExecutionTime();
Console.WriteLine("... P# executed for '" +
profiler.Results() + "' seconds.");
}
void InitOnEntry()
{
int numOfNodes = (this.ReceivedEvent as Config).NumberOfNodes;
this.Nodes = new List<MachineId>();
Profiler profiler = new Profiler();
profiler.StartMeasuringExecutionTime();
for (int idx = 0; idx < numOfNodes; idx++)
{
var node = this.CreateMachine(typeof(Node));
this.Nodes.Add(node);
}
profiler.StopMeasuringExecutionTime();
Console.WriteLine($"... Created {numOfNodes} machines in '" +
profiler.Results() + "' seconds.");
}
