/// <summary>
/// Ensures that the yComp display is up to date, prints out a message, and waits for a key press.
/// </summary>
/// <param name="text">The message to be printed.</param>
private static void PrintAndWait(String text, YCompClient ycomp)
{
ycomp.UpdateDisplay();
ycomp.Sync();
Console.WriteLine(text);
Console.WriteLine("Press a key to continue...");
Console.ReadKey(true);
}
public static void Main(string[] args)
{
LGSPNamedGraph graph;
LGSPActions actions;
LGSPGraphProcessingEnvironment procEnv;
try
{
LGSPBackend.Instance.CreateNamedFromSpec("Mutex.grg", null, 0, out graph, out actions);
procEnv = new LGSPGraphProcessingEnvironment(graph, actions);
}
catch (Exception ex)
{
Console.WriteLine("Unable to create graph from specification: " + ex.Message);
return;
}
DumpInfo dumpInfo = new DumpInfo(graph.GetElementName);
YCompClient ycomp = YCompClient.CreateYCompClient(graph, "Organic", dumpInfo);
// Let yComp observe any changes to the graph
ycomp.RegisterLibGrEvents();
NodeType processType = graph.GetNodeType("Process");
EdgeType nextType = graph.GetEdgeType("next");
LGSPNode p1 = graph.AddLGSPNode(processType);
LGSPNode p2 = graph.AddLGSPNode(processType);
graph.AddEdge(nextType, p1, p2);
graph.AddEdge(nextType, p2, p1);
PrintAndWait("Initial 2-process ring constructed.", ycomp);
procEnv.ApplyGraphRewriteSequence("newRule[5] && mountRule && requestRule[7]");
PrintAndWait("Initialized 7-process ring with resource and requests.", ycomp);
ycomp.UnregisterLibGrEvents();
Console.WriteLine("Do many changes slowing down too much with YComp (not in this example)...");
procEnv.ApplyGraphRewriteSequence("(takeRule && releaseRule && giveRule)*");
PrintAndWait("Nothing changed so far on the display.", ycomp);
ycomp.ClearGraph();
UploadGraph(graph, ycomp);
PrintAndWait("Graph newly uploaded to yComp.", ycomp);
ycomp.RegisterLibGrEvents();
actions.GetAction("newRule").ApplyMinMax(procEnv, 4, 4);
PrintAndWait("Added 4 processes in the ring.", ycomp);
ycomp.Close();
}
/// <summary>
/// Uploads the graph to YComp, updates the display and makes a synchonisation
/// </summary>
public static void UploadGraph(IGraph graph, YCompClient ycompClient)
{
foreach (INode node in graph.Nodes)
{
ycompClient.AddNode(node);
}
foreach (IEdge edge in graph.Edges)
{
ycompClient.AddEdge(edge);
}
ycompClient.UpdateDisplay();
ycompClient.Sync();
}
