projects
/
model-checker-benchmarks.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
testcase for ms-queue to expose SC violation
[model-checker-benchmarks.git]
/
ms-queue
/
queue.h
diff --git
a/ms-queue/queue.h
b/ms-queue/queue.h
index 76e217ba4816dc144ce8939012bda4817520192d..93ee924115393fd496231a52c41e7dfc2991680d 100644
(file)
--- a/
ms-queue/queue.h
+++ b/
ms-queue/queue.h
@@
-26,9
+26,7
@@
typedef struct {
} queue_t;
void init_queue(queue_t *q, int num_threads);
} queue_t;
void init_queue(queue_t *q, int num_threads);
-void enqueue(queue_t *q, unsigned int val,
bool yield
);
+void enqueue(queue_t *q, unsigned int val,
int n
);
bool dequeue(queue_t *q, unsigned int *retVal, unsigned int *reclaimedNode);
bool dequeue(queue_t *q, unsigned int *retVal, unsigned int *reclaimedNode);
-void simulateRecycledNodeUpdate(queue_t *q, unsigned int node);
-
int get_thread_num();
int get_thread_num();