Skip WAIT_PENDING check if using relaxed CPR (#261)

microsoft · Apr 11, 2020 · c6c4420 · c6c4420
1 parent 54b92c9
commit c6c4420
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cs/src/core/Index/Synchronization/VersionChangeStateMachine.cs b/cs/src/core/Index/Synchronization/VersionChangeStateMachine.cs
@@ -88,7 +88,7 @@ public ValueTask OnThreadState<Key, Value, Input, Output, Context, Functions>(
                 case Phase.WAIT_PENDING:
                     if (ctx != null)
                     {
-                        if (!ctx.prevCtx.markers[EpochPhaseIdx.WaitPending])
+                        if (!faster.RelaxedCPR &&!ctx.prevCtx.markers[EpochPhaseIdx.WaitPending])
                         {
                             if (ctx.prevCtx.HasNoPendingRequests)
                                 ctx.prevCtx.markers[EpochPhaseIdx.WaitPending] = true;