projects
/
model-checker-benchmarks.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
fix compile errors on OS X
[model-checker-benchmarks.git]
/
treiber-stack
/
my_stack.c
diff --git
a/treiber-stack/my_stack.c
b/treiber-stack/my_stack.c
index 5f3cc89300d9b621e91c59227633af8929a64cf3..f65417df89f90f64b8b07ad70e866f7341ef99a0 100644
(file)
--- a/
treiber-stack/my_stack.c
+++ b/
treiber-stack/my_stack.c
@@
-56,7
+56,7
@@
static void reclaim(unsigned int node)
MODEL_ASSERT(0);
}
MODEL_ASSERT(0);
}
-void init_stack(stack_t *s, int num_threads)
+void init_stack(
my
stack_t *s, int num_threads)
{
int i, j;
{
int i, j;
@@
-74,7
+74,7
@@
void init_stack(stack_t *s, int num_threads)
atomic_init(&s->top, MAKE_POINTER(0, 0));
}
atomic_init(&s->top, MAKE_POINTER(0, 0));
}
-void push(stack_t *s, unsigned int val) {
+void push(
my
stack_t *s, unsigned int val) {
unsigned int nodeIdx = new_node();
node_t *node = &s->nodes[nodeIdx];
node->value = val;
unsigned int nodeIdx = new_node();
node_t *node = &s->nodes[nodeIdx];
node->value = val;
@@
-95,7
+95,7
@@
void push(stack_t *s, unsigned int val) {
}
}
}
}
-unsigned int pop(stack_t *s)
+unsigned int pop(
my
stack_t *s)
{
pointer oldTop, newTop, next;
node_t *node;
{
pointer oldTop, newTop, next;
node_t *node;