projects
/
model-checker-benchmarks.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
ms-queue: relax the initializations
[model-checker-benchmarks.git]
/
mpmc-queue
/
mpmc-queue.cc
diff --git
a/mpmc-queue/mpmc-queue.cc
b/mpmc-queue/mpmc-queue.cc
index 53bc6134ea028c4e9e6d3addcd1d8685922eb3d1..baca598bfa49b39e70134672f12e67b9135a95f5 100644
(file)
--- a/
mpmc-queue/mpmc-queue.cc
+++ b/
mpmc-queue/mpmc-queue.cc
@@
-91,9
+91,12
@@
int user_main(int argc, char **argv)
//process_params(argc, argv);
printf("%d reader(s), %d writer(s)\n", readers, writers);
//process_params(argc, argv);
printf("%d reader(s), %d writer(s)\n", readers, writers);
+#ifndef CONFIG_MPMC_NO_INITIAL_ELEMENT
+ printf("Adding initial element\n");
int32_t *bin = queue.write_prepare();
store_32(bin, 17);
queue.write_publish();
int32_t *bin = queue.write_prepare();
store_32(bin, 17);
queue.write_publish();
+#endif
printf("Start threads\n");
printf("Start threads\n");