本文整理汇总了C#中PSharpRuntime类的典型用法代码示例。如果您正苦于以下问题：C# PSharpRuntime类的具体用法？C# PSharpRuntime怎么用？C# PSharpRuntime使用的例子？那么恭喜您, 这里精选的类代码示例或许可以为您提供帮助。
PSharpRuntime类属于命名空间，在下文中一共展示了PSharpRuntime类的15个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C#代码示例。
示例1: Execute
public static void Execute(PSharpRuntime runtime)
{
runtime.RegisterMonitor(typeof(ValMachineCheck));
runtime.CreateMachine(typeof(GodMachine));
}示例2: InitializePSharpRuntime
/// <summary>
/// Initializes the P# runtime.
/// </summary>
private static void InitializePSharpRuntime()
{
Container.PSharpRuntime = PSharpRuntime.Create(Container.Configuration, Container.NetworkProvider);
Container.NetworkProvider.Initialize(Container.PSharpRuntime, Container.RemoteApplicationAssembly);
Container.NotifyManagerInitialization();
}示例3: Execute
public static void Execute(PSharpRuntime runtime)
{
runtime.CreateMachine(typeof(Receiver));
}示例4: Execute
public static void Execute(PSharpRuntime runtime)
{
runtime.CreateMachine(typeof(Employee));
}示例5: Execute
public static void Execute(PSharpRuntime runtime)
{
runtime.RegisterMonitor(typeof(SafetyMonitor));
runtime.CreateMachine(typeof(ClusterManager));
}示例6: Execute
public static void Execute(PSharpRuntime runtime)
{
runtime.RegisterMonitor(typeof(WatchDog));
runtime.CreateMachine(typeof(EventHandler));
}示例7: Execute
public static void Execute(PSharpRuntime runtime)
{
runtime.CreateMachine(typeof(Environment),
new Environment.Config(Test.NumOfNodes));
}示例8: MachineId
/// <summary>
/// Constructor.
/// </summary>
/// <param name="type">Machine type</param>
/// <param name="friendlyName">Friendly machine name</param>
/// <param name="runtime">PSharpRuntime</param>
internal MachineId(Type type, string friendlyName, PSharpRuntime runtime)
{
this.FriendlyName = friendlyName;
this.Runtime = runtime;
this.Type = type.FullName;
this.EndPoint = this.Runtime.NetworkProvider.GetLocalEndPoint();
this.Value = Interlocked.Increment(ref IdCounter);
if (this.FriendlyName != null && this.FriendlyName.Length > 0)
{
this.Name = string.Format("{0}({1})", this.FriendlyName, this.Value);
}
else
{
this.Name = string.Format("{0}({1})", this.Type, this.Value);
}
}示例9: Initialize
/// <summary>
/// Initializes the network provider.
/// </summary>
/// <param name="runtime">PSharpRuntime</param>
/// <param name="applicationAssembly">ApplicationAssembly</param>
public void Initialize(PSharpRuntime runtime, Assembly applicationAssembly)
{
this.Runtime = runtime;
this.ApplicationAssembly = applicationAssembly;
//var channels = new Dictionary<string, IRemoteCommunication>();
if (runtime.Configuration.ContainerId == 0)
{
Uri address = new Uri("http://" + this.IpAddress + ":" + this.Port + "/request/" + 1 + "/");
WSHttpBinding binding = new WSHttpBinding();
EndpointAddress endpoint = new EndpointAddress(address);
this.Channel = ChannelFactory<IRemoteCommunication>.CreateChannel(binding, endpoint);
}
else
{
Uri address = new Uri("http://" + this.IpAddress + ":" + this.Port + "/request/" + 0 + "/");
WSHttpBinding binding = new WSHttpBinding();
EndpointAddress endpoint = new EndpointAddress(address);
this.Channel = ChannelFactory<IRemoteCommunication>.CreateChannel(binding, endpoint);
}
}示例10: DefaultNetworkProvider
/// <summary>
/// Constructor.
/// </summary>
/// <param name="runtime">PSharpRuntime</param>
public DefaultNetworkProvider(PSharpRuntime runtime)
{
this.Runtime = runtime;
this.LocalEndPoint = "";
}示例11: Execute
public static void Execute(PSharpRuntime runtime)
{
// The type "A" is visible to IntelliSense
// (after building once)
runtime.CreateMachine(typeof(A));
}示例12: TaskWrapperScheduler
/// <summary>
/// Constructor.
/// </summary>
/// <param name="runtime">PSharpRuntime</param>
/// <param name="machineTasks">Machine tasks</param>
internal TaskWrapperScheduler(PSharpRuntime runtime, ConcurrentBag<Task> machineTasks)
{
this.Runtime = runtime;
this.MachineTasks = machineTasks;
this.WrappedTasks = new ConcurrentBag<Task>();
}示例13: Execute
public static void Execute(PSharpRuntime runtime)
{
runtime.CreateMachine(typeof(TaskCreator));
}示例14: Execute
public static void Execute(PSharpRuntime runtime)
{
runtime.RegisterMonitor(typeof(M));
runtime.CreateMachine(typeof(Environment));
}示例15: TaskWrapperScheduler
/// <summary>
/// Constructor.
/// </summary>
/// <param name="runtime">PSharpRuntime</param>
/// <param name="machineTasks">Machine tasks</param>
internal TaskWrapperScheduler(PSharpRuntime runtime, List<Task> machineTasks)
{
this.Runtime = runtime;
this.MachineTasks = machineTasks;
this.WrappedTasks = new List<Task>();
}