public async Task HeavyMonitorLockUC(BenchInfo info, IPerfCounterCollectorUC perfColletor, TimeSpan ts, int spin, int threads)
{
#pragma warning disable 618
ILockUC Lock = new MonitorLockUC();
#pragma warning restore 618
await GeneralBenchmark(perfColletor, info.Name, threads, i => Lock, (i, perfCntr, sync) => new BenchInstance[] { new SimpleLockWorker(perfCntr, Lock, ts, spin, string.Empty) });
}
public async Task ConcurrentSequencing()
{
StepConcurrentSequencing = 0;
ISequencerUC sequencer =
SequencerUC
.Construct()
.Register(ConcurrentSequencingPhase.Begin, new StrategyOneOnOneUC())
.Register(ConcurrentSequencingPhase.EnteringSimpleLock, new StrategyOneOnOneUC())
.Register(ConcurrentSequencingPhase.Locked, new StrategyOneOnOneUC())
.Register(ConcurrentSequencingPhase.LockedNotify, new StrategyOneOnOneUC())
.Register(ConcurrentSequencingPhase.End, new StrategyOneOnOneUC())
;
//StrategyOneOnOneUC each production code point(per thread) is matched to unit test point
//that is per point and per thread in production code
#pragma warning disable 618
ILockUC Lock = new MonitorLockUC();
#pragma warning restore 618
//start first worker
sequencer.Run(seq => ConcurrentSequencingWorker(Lock, sequencer));
//await first worker to get to Begin point
var Begin1 = await sequencer.TestPointAsync(ConcurrentSequencingPhase.Begin);
//first worker at Begin point
//start second worker
sequencer.Run(seq => ConcurrentSequencingWorker(Lock, sequencer));
//await second worker to get to Begin point
var Begin2 = await sequencer.TestPointAsync(ConcurrentSequencingPhase.Begin);
//second worker at Begin point
//allow first worker to continue to Locked point
Begin1.Complete();
//Begin1.Fail(new Exception("Hmmmm"));
var notify1 = await sequencer.TestPointAsync(ConcurrentSequencingPhase.EnteringSimpleLock);
//await first worker to get to Locked point
var Locked1 = await sequencer.TestPointAsync(ConcurrentSequencingPhase.Locked);
Assert.AreEqual(0, Locked1.ProductionArg);
//first worker at Locked point
//spinlock is locked, first worker has exclusive access
//allow first worker to continue to Locked point it will spin until lock get opened
Begin2.Complete();
//this helps us to ensure we do not need thread waiting,
//notification are in production code completed awaiters,
//immediatelly executiong what is next after the await on notification,
//so it is known to be actively running thread!
var notify2 = await sequencer.TestPointAsync(ConcurrentSequencingPhase.EnteringSimpleLock);
//second worker has entered spinlock as is spinning!
//let first worker leave spin lock
Locked1.Complete();
//first thread is leaving the spinlock, but before leaving step value will be recorderd
//second thread is spinning to get inside
//LockedNotify can be checked if the recorded step value was 1 => thread 1 inside, thread 2 attempting to get inside
var LockedNotify1 = await sequencer.TestPointAsync(ConcurrentSequencingPhase.LockedNotify);
Assert.AreEqual(1, LockedNotify1.ProductionArg); //this is checking concurrency correctness, as threads were highly probably active during checking
//await first worker at End point
var End1 = await sequencer.TestPointAsync(ConcurrentSequencingPhase.End);
//first worker released spinlock
End1.Complete();
//first worker done
//await second worker at Locked point
var Locked2 = await sequencer.TestPointAsync(ConcurrentSequencingPhase.Locked);
//let second worker to continue to End point
Locked2.Complete();
var LockedNotify2 = await sequencer.TestPointAsync(ConcurrentSequencingPhase.LockedNotify);
Assert.AreEqual(0, LockedNotify2.ProductionArg);
//await second worker at the End point
var End2 = await sequencer.TestPointAsync(ConcurrentSequencingPhase.End);
//second worker released spinlock
End2.Complete();
//second worker done
await sequencer.WhenAll();
sequencer.TryReThrowException();
}
