projects
/
model-checker-benchmarks.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
febf948
)
ms-queue: relax the initializations
author
Brian Norris
<banorris@uci.edu>
Wed, 6 Mar 2013 20:14:10 +0000
(12:14 -0800)
committer
Brian Norris
<banorris@uci.edu>
Wed, 6 Mar 2013 20:14:10 +0000
(12:14 -0800)
ms-queue/my_queue.c
patch
|
blob
|
history
diff --git
a/ms-queue/my_queue.c
b/ms-queue/my_queue.c
index 67ec68090545aa2eabf2114dc1bfeed880d74d6d..bb62fa781183c98f5c7727cdbb79114012749029 100644
(file)
--- a/
ms-queue/my_queue.c
+++ b/
ms-queue/my_queue.c
@@
-32,18
+32,18
@@
void init_queue(queue_t *q, int num_threads)
tail = MAKE_POINTER(1, 0);
next = MAKE_POINTER(0, 0); // (NULL, 0)
tail = MAKE_POINTER(1, 0);
next = MAKE_POINTER(0, 0); // (NULL, 0)
- atomic_
store
(&q->head, head);
- atomic_
store
(&q->tail, tail);
- atomic_
store
(&q->nodes[1].next, next);
+ atomic_
init
(&q->head, head);
+ atomic_
init
(&q->tail, tail);
+ atomic_
init
(&q->nodes[1].next, next);
/* initialize avail list */
for (i = 2; i < MAX_NODES; i++) {
next = MAKE_POINTER(i + 1, 0);
/* initialize avail list */
for (i = 2; i < MAX_NODES; i++) {
next = MAKE_POINTER(i + 1, 0);
- atomic_
store
(&q->nodes[i].next, next);
+ atomic_
init
(&q->nodes[i].next, next);
}
next = MAKE_POINTER(0, 0); // (NULL, 0)
}
next = MAKE_POINTER(0, 0); // (NULL, 0)
- atomic_
store
(&q->nodes[MAX_NODES].next, next);
+ atomic_
init
(&q->nodes[MAX_NODES].next, next);
}
void enqueue(queue_t *q, unsigned int val)
}
void enqueue(queue_t *q, unsigned int val)