projects
/
model-checker-benchmarks.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
edits
[model-checker-benchmarks.git]
/
ms-queue
/
testcase2.c
diff --git
a/ms-queue/testcase2.c
b/ms-queue/testcase2.c
index 3431b2649ac0fbe9da1cd7180c6e13bd41b8c8e1..408b39db847fc19dc465b58b7d42a23846b9dff4 100644
(file)
--- a/
ms-queue/testcase2.c
+++ b/
ms-queue/testcase2.c
@@
-25,6
+25,7
@@
int get_thread_num()
bool succ1, succ2;
atomic_int x[3];
int idx1, idx2;
bool succ1, succ2;
atomic_int x[3];
int idx1, idx2;
+unsigned int reclaimNode;
static int procs = 4;
static void main_task(void *param)
static int procs = 4;
static void main_task(void *param)
@@
-38,14
+39,14
@@
static void main_task(void *param)
*/
} else if (pid % 4 == 1) {
atomic_store_explicit(&x[1], 1, memory_order_relaxed);
*/
} else if (pid % 4 == 1) {
atomic_store_explicit(&x[1], 1, memory_order_relaxed);
- enqueue(queue, 1);
+ enqueue(queue, 1
, 0
);
} else if (pid % 4 == 2) {
} else if (pid % 4 == 2) {
- succ1 = dequeue(queue, &idx1);
+ succ1 = dequeue(queue, &idx1
, &reclaimNode
);
if (succ1) {
atomic_load_explicit(&x[idx1], memory_order_relaxed);
}
} else if (pid % 4 == 3) {
if (succ1) {
atomic_load_explicit(&x[idx1], memory_order_relaxed);
}
} else if (pid % 4 == 3) {
- succ2 = dequeue(queue, &idx2);
+ succ2 = dequeue(queue, &idx2
, &reclaimNode
);
if (succ2) {
atomic_load_explicit(&x[idx2], memory_order_relaxed);
}
if (succ2) {
atomic_load_explicit(&x[idx2], memory_order_relaxed);
}