projects
/
model-checker-benchmarks.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
spsc-queue: fixup atomics, mutexes, threads
[model-checker-benchmarks.git]
/
spsc-queue
/
queue.h
diff --git
a/spsc-queue/queue.h
b/spsc-queue/queue.h
index 7a6f29e80c60bd6d9f9b0ef6e5571aae5501db4e..3167e22bf8e4f98d1d29129ea91dbbf933ef635a 100644
(file)
--- a/
spsc-queue/queue.h
+++ b/
spsc-queue/queue.h
@@
-1,4
+1,5
@@
#include <unrelacy.h>
+#include <atomic>
#include "eventcount.h"
@@
-51,9
+52,10
@@
private:
rl::var<T> data;
node(T data = T())
- : next(0)
- , data(data)
- {}
+ : data(data)
+ {
+ next = 0;
+ }
};
rl::var<node*> head;