changes

[model-checker-benchmarks.git] / mcs-lock / mcs-lock.h

diff --git a/mcs-lock/mcs-lock.h b/mcs-lock/mcs-lock.h
index 2d39f2f6cab8d2aa5b10f5cd6e1b9092a818955e..4b808f7c3c9b9bbc7effe6b4e6c570f2712e5232 100644 (file)
--- a/mcs-lock/mcs-lock.h
+++ b/mcs-lock/mcs-lock.h
@@ -57,7 +57,7 @@ public:
                        // wait on predecessor setting my flag -
                        rl::linear_backoff bo;
                        while ( me->gate.load(std::mo_acquire) ) {
-                               bo.yield();
+                               thrd_yield();
                        }
                }
        }
@@ -80,7 +80,7 @@ public:
                                next = me->next.load(std::mo_acquire);
                                if ( next != NULL )
                                        break;
-                               bo.yield();
+                               thrd_yield();
                        }
                }