projects
/
cdsspec-compiler.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
save
[cdsspec-compiler.git]
/
benchmark
/
chase-lev-deque-bugfix
/
deque.h
diff --git
a/benchmark/chase-lev-deque-bugfix/deque.h
b/benchmark/chase-lev-deque-bugfix/deque.h
index fa76d8dc4e7073e52fc72c234430e21c6d219a7c..d8114d596ae4ef3ae07419146a8f55c4e6af43d3 100644
(file)
--- a/
benchmark/chase-lev-deque-bugfix/deque.h
+++ b/
benchmark/chase-lev-deque-bugfix/deque.h
@@
-1,6
+1,13
@@
#ifndef DEQUE_H
#define DEQUE_H
#ifndef DEQUE_H
#define DEQUE_H
+#include <spec_lib.h>
+#include <stdlib.h>
+#include <cdsannotate.h>
+#include <specannotation.h>
+#include <model_memory.h>
+#include "common.h"
+
typedef struct {
atomic_size_t size;
atomic_int buffer[];
typedef struct {
atomic_size_t size;
atomic_int buffer[];
@@
-59,7
+66,7
@@
void resize(Deque *q);
/**
@Begin
@Interface: Take
/**
@Begin
@Interface: Take
- @Commit_point_set: Take_Point1 | Take_Point2 | Take_Point3
| Take_Point4
+ @Commit_point_set: Take_Point1 | Take_Point2 | Take_Point3
@ID: size(__deque) == 0 ? DEFAULT_CALL_ID : get_id(back(__deque))
@Action:
int _Old_Val = EMPTY;
@ID: size(__deque) == 0 ? DEFAULT_CALL_ID : get_id(back(__deque))
@Action:
int _Old_Val = EMPTY;
@@
-88,7
+95,7
@@
void push(Deque *q, int x);
/**
@Begin
@Interface: Steal
/**
@Begin
@Interface: Steal
- @Commit_point_set: Steal_Point1 | Steal_Point2
| Steal_Point3
+ @Commit_point_set: Steal_Point1 | Steal_Point2
@ID: size(__deque) == 0 ? DEFAULT_CALL_ID : get_id(front(__deque))
@Action:
int _Old_Val = EMPTY;
@ID: size(__deque) == 0 ? DEFAULT_CALL_ID : get_id(front(__deque))
@Action:
int _Old_Val = EMPTY;