results for mpmc

[model-checker-benchmarks.git] / mpmc-queue / mpmc-queue-wildcard.h

diff --git a/mpmc-queue/mpmc-queue-wildcard.h b/mpmc-queue/mpmc-queue-wildcard.h
index d8711dc23fd3f526df27555f1ecaf4f6ba0e7c80..4a77db3087d74759febdd04a0629145bf610c1aa 100644 (file)
--- a/mpmc-queue/mpmc-queue-wildcard.h
+++ b/mpmc-queue/mpmc-queue-wildcard.h
@@ -34,14 +34,14 @@ public:
        //-----------------------------------------------------
 
        t_element * read_fetch() {
-               unsigned int rdwr = m_rdwr.load(wildcard(1)); // acquire
+               unsigned int rdwr = m_rdwr.load(wildcard(1)); // acquire, but can be relaxed
                unsigned int rd,wr;
                for(;;) {
                        rd = (rdwr>>16) & 0xFFFF;
                        wr = rdwr & 0xFFFF;
 
                        if ( wr == rd ) { // empty
-                               return false;
+                               return NULL;
                        }
 
                        // acq_rel
@@ -84,7 +84,7 @@ public:
        //-----------------------------------------------------
 
        t_element * write_prepare() {
-               unsigned int rdwr = m_rdwr.load(wildcard(5)); // acquire
+               unsigned int rdwr = m_rdwr.load(wildcard(5)); // acquire, but can be relaxed
                unsigned int rd,wr;
                for(;;) {
                        rd = (rdwr>>16) & 0xFFFF;