projects
/
cdsspec-compiler.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
changes with lines of spec counted
[cdsspec-compiler.git]
/
benchmark
/
spsc-bugfix
/
queue.h
diff --git
a/benchmark/spsc-bugfix/queue.h
b/benchmark/spsc-bugfix/queue.h
index 0a38e8fc555e5b1708fee434d8c044353dc7ce9e..67be1b7723489a3950f6c8585b44c2a59d8f66da 100644
(file)
--- a/
benchmark/spsc-bugfix/queue.h
+++ b/
benchmark/spsc-bugfix/queue.h
@@
-78,8
+78,7
@@
public:
unsigned int get_data(void *wrapper) {
return ((tag_elem_t*) wrapper)->data;
}
unsigned int get_data(void *wrapper) {
return ((tag_elem_t*) wrapper)->data;
}
- @Happens_before:
- Enqueue -> Dequeue
+ @Happens_before: Enqueue -> Dequeue
@End
*/
@End
*/
@@
-89,9
+88,9
@@
public:
@Interface: Enqueue
@Commit_point_set: Enqueue_Point
@ID: get_and_inc(tag)
@Interface: Enqueue
@Commit_point_set: Enqueue_Point
@ID: get_and_inc(tag)
- @Action:
- tag_elem_t *elem = new_tag_elem(__ID__, data);
- push_back(__queue, elem);
+ @Action:
push_back(__queue, new_tag_elem(__ID__, data));
+
//
tag_elem_t *elem = new_tag_elem(__ID__, data);
+
//
push_back(__queue, elem);
@End
*/
void enqueue(T data)
@End
*/
void enqueue(T data)
@@
-116,8
+115,7
@@
public:
@Action:
T _Old_Val = get_data(front(__queue));
pop_front(__queue);
@Action:
T _Old_Val = get_data(front(__queue));
pop_front(__queue);
- @Post_check:
- _Old_Val == __RET__
+ @Post_check: _Old_Val == __RET__
@End
*/
T dequeue()
@End
*/
T dequeue()