連続した処理待ちで中間をキャンセルする排他制御

・タスク1がやってくる
1 →　　　( )


・タスク1が重めの処理を開始、続けてタスク2がやってくる
2 →　　　(1)


・タスク2はタスク1が処理中なので待機、続けてタスク3がやってくる
3 →　 [2](1)


・この時点で、
　　 3[2](1)


・タスク2は無かったことになり消滅
　　 3[ ](1)


・タスク3がタスク1の次で待機
　　　[3](1)

・タスク1がやってくる

カウンタX　wait1　wait2　処理
　　0　　　　2　　　1
1 →　　　　 [ ]　　[ ]　　( )


・タスク1が2か所のwaitを通過し、重めの処理を開始。タスク2が来る

カウンタX　wait1　wait2　処理
　　0　　　　1　　　0
2 →　　　　 [ ]　　[ ]　　(1)


・タスク2はwait1を通過するが、wait2のカウンタは0なので足止め、タスク3が来る

カウンタX　wait1　wait2　処理
　　0　　　　0　　　0
3 →　　　　 [ ]　　[2]　　(1)


・wait1の直前でタスク3はwait1のカウンタを見て、0なら…

カウンタX　wait1　wait2　処理
　　0　　　　0　　　0
　　　　　 3[ ]　　[2]　　(1)


・カウンタXを1増やし、セマフォ2とセマフォ1のカウンタを1ずつ解放

カウンタX　wait1　wait2　処理
　　1　　　　1　　　1
　　　　　 3[ ]　　[2]　　(1)


・タスク2とタスク3がそれぞれwaitを通過するが…

カウンタX　wait1　wait2　処理
　　1　　　　0　　　0
　　　　　　[ ]3　 [ ]2　 (1)


・wait2の出口には罠が仕掛けてあり、もしカウンタXが0じゃなかった場合、
　タスク2はカウンタXを1減らして、自らは退散する
　タスク3はwait2で足止め。つまりタスク3が来る前の状態に戻る

カウンタX　wait1　wait2　処理
　　0　　　　0　　　0
　　　　　　[ ]　　[3]*　 (1)


・処理を終えたタスク1は、セマフォ2とセマフォ1のカウンタを1ずつ解放して退散

カウンタX　wait1　wait2　処理
　　0　　　　1　　　1
　　　　　　[ ]　　[3]　　( )*


・タスク3がwait2を通過して処理に入る。これはタスク2が来る前の状態と同じ

カウンタX　wait1　wait2　処理
　　0　　　　1　　　0
　　　　　　[ ]　　[ ]　　(3)


・タスク3も処理を終えるとセマフォのカウンタを解放して退散
　これは一番最初の状態に戻ったことになる

カウンタX　wait1　wait2　処理
　　0　　　　2　　　1
　　　　　　[ ]　　[ ]　　( )*

//--------------------privateSystem.Threading.SemaphoreSlimsemaphore1=newSystem.Threading.SemaphoreSlim(2,2);privateSystem.Threading.SemaphoreSlimsemaphore2=newSystem.Threading.SemaphoreSlim(1,1);privateintcount_x=0;//--------------------privatevoidCutTask(){Task.Run(()=>{if(semaphore1.CurrentCount==0){System.Threading.Interlocked.Increment(refcount_x);semaphore2.Release();semaphore1.Release();}semaphore1.Wait();semaphore2.Wait();if(count_x>0){System.Threading.Interlocked.Decrement(refcount_x);return;}HeavyProcess();semaphore2.Release();semaphore1.Release();});}//--------------------