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 commit that mistakenly happened
[model-checker-benchmarks.git]
/
treiber-stack
/
my_stack.h
diff --git
a/treiber-stack/my_stack.h
b/treiber-stack/my_stack.h
index 8d4d789ef7da1fdbf3a506c24764e09906c29bfe..ebb8baaaf2282035db0dec61228087959be0dea8 100644
(file)
--- a/
treiber-stack/my_stack.h
+++ b/
treiber-stack/my_stack.h
@@
-27,9
+27,9
@@
typedef struct node {
typedef struct {
pointer_t top;
node_t nodes[MAX_NODES + 1];
typedef struct {
pointer_t top;
node_t nodes[MAX_NODES + 1];
-} stack_t;
+}
my
stack_t;
-void init_stack(stack_t *s, int num_threads);
-void push(stack_t *s, unsigned int val);
-unsigned int pop(stack_t *s);
+void init_stack(
my
stack_t *s, int num_threads);
+void push(
my
stack_t *s, unsigned int val);
+unsigned int pop(
my
stack_t *s);
int get_thread_num();
int get_thread_num();