/// <summary>
/// Creates a primal FSM according to a supplied spec with a specified random seed and stream index
/// </summary>
/// <param name="spec">The FSM definition</param>
/// <param name="seed">The rng seed</param>
/// <param name="index">The rng stream index</param>
/// <typeparam name="T">The primal fsm type</typeparam>
public static Fsm <T, T> Create <T>(PrimalFsmSpec <T> spec, ulong seed, ulong index)
where T : unmanaged
{
var id = $"{spec.Classifier}-{Interlocked.Increment(ref MachineCounter)}";
var context = Fsm.CreateContext(Rng.Pcg64(seed, index).ToPolyrand(), spec.ReceiptLimit);
return(Fsm.Machine(id, context, spec.StartState, spec.EndState, Transition(context, spec)));
}
/// <summary>
/// Executes the specified machines sequentially
/// </summary>
/// <param name="spec">The machine definition</param>
/// <param name="seeds">The rng seeds that determine initial states of the randomizers</param>
/// <param name="indices">The rng stream position indices</param>
/// <typeparam name="T">The primal FSM type</typeparam>
static IEnumerable <FsmStats> RunSequential <T>(PrimalFsmSpec <T> spec, Span <ulong> seeds, Span <ulong> indices)
where T : unmanaged
{
var stats = new ConcurrentBag <FsmStats>();
for (var i = 0; i < seeds.Length; i++)
{
var machine = Create(spec, seeds[i], indices[i]);
var result = Fsm.Run(machine).Result;
result.OnSome(s => stats.Add(s));
}
return(stats);
}
/// <summary>
/// Executes the specified machines concurrently
/// </summary>
/// <param name="spec">The machine definition</param>
/// <param name="seeds">The rng seeds that determine initial states of the randomizers</param>
/// <param name="indices">The rng stream position indices</param>
/// <typeparam name="T">The primal FSM type</typeparam>
static IEnumerable <FsmStats> RunConcurrent <T>(PrimalFsmSpec <T> spec, Span <ulong> seeds, Span <ulong> indices)
where T : unmanaged
{
var stats = new ConcurrentBag <FsmStats>();
var tasks = new Task[seeds.Length];
for (var i = 0; i < tasks.Length; i++)
{
var machine = Create(spec, seeds[i], indices[i]);
tasks[i] = Fsm.Run(machine).ContinueWith(t => t.Result.OnSome(s => stats.Add(s)));
}
Task.WaitAll(tasks);
return(stats);
}
/// <summary>
/// Executes one or more primal state machines
/// </summary>
/// <param name="spec">The FSM spec that determines machine characteristics </param>
/// <param name="machineCount">The number of machines to execute</param>
/// <param name="sequential">Specifies whether the machines will be executed sequentially</param>
/// <typeparam name="T">The primal type</typeparam>
public static IEnumerable <FsmStats> Run <T>(PrimalFsmSpec <T> spec, int machineCount, bool sequential = false)
where T : unmanaged
{
var seeds = Entropy.Values <ulong>(machineCount);
var indices = range(0xFFFFul, 0xFFFFFFFFul).Where(x => x % 2 != 0).Take(machineCount).ToArray();
if (sequential)
{
return(RunSequential(spec, seeds, indices).Force());
}
else
{
return(RunConcurrent(spec, seeds, indices).Force());
}
}
static MachineTransition <T, T> Transition <T>(IFsmContext context, PrimalFsmSpec <T> spec)
where T : unmanaged
{
var sources = range <T>(spec.StateCount).ToArray();
var random = context.Random;
var rules = new List <TransitionRule <T, T> >();
foreach (var source in sources)
{
var evss = random.Next <T>(spec.MinEventSamples, spec.MaxEventSamples);
var targets = from t in random.SampleDistinct(spec.StateCount, evss) where gmath.neq(t, source) select t;
var events = random.SampleDistinct(spec.EventCount, evss);
rules.AddRange(events.Zip(targets).Select(x => Fsm.TransitionRule(x.First, source, x.Second)));
}
return(rules.ToFunction());
}
