projects
/
cdsspec-compiler.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
changes to ms-queue spec
[cdsspec-compiler.git]
/
benchmark
/
ms-queue
/
my_queue.h
diff --git
a/benchmark/ms-queue/my_queue.h
b/benchmark/ms-queue/my_queue.h
index d6b2a695d6789a9b732bfd75eac564842bf3ecd6..714be4f83d71daeb98b68a9f1681fd3076d5a39d 100644
(file)
--- a/
benchmark/ms-queue/my_queue.h
+++ b/
benchmark/ms-queue/my_queue.h
@@
-88,7
+88,7
@@
void init_queue(queue_t *q, int num_threads);
/**
@Begin
@Interface: Enqueue
/**
@Begin
@Interface: Enqueue
- @Commit_point_set: Enqueue_
Success_Point
+ @Commit_point_set: Enqueue_
Read_Tail | Enqueue_UpdateNext | Enqueue_UpdateOrLoad_Tail
@ID: get_and_inc(tag)
@Action:
# __ID__ is an internal macro that refers to the id of the current
@ID: get_and_inc(tag)
@Action:
# __ID__ is an internal macro that refers to the id of the current
@@
-102,7
+102,7
@@
void enqueue(queue_t *q, unsigned int val);
/**
@Begin
@Interface: Dequeue
/**
@Begin
@Interface: Dequeue
- @Commit_point_set: Dequeue_
Success_Point | Dequeue_Empty_Poin
t
+ @Commit_point_set: Dequeue_
Read_Head | Dequeue_Read_Tail | Dequeue_LoadNex
t
@ID: get_id(front(__queue))
@Action:
unsigned int _Old_Val = 0;
@ID: get_id(front(__queue))
@Action:
unsigned int _Old_Val = 0;
@@
-113,10
+113,10
@@
void enqueue(queue_t *q, unsigned int val);
_Old_Val = 0;
}
@Post_check:
_Old_Val = 0;
}
@Post_check:
- _
Old_Val == 0 ? !__RET__ : _Old_Val == *retVal
+ _
_RET__ ? *output == _Old_Val : _Old_Val == 0
@End
*/
@End
*/
-bool dequeue(queue_t *q,
unsigned int *retVal
);
+bool dequeue(queue_t *q,
int *output
);
int get_thread_num();
#endif
int get_thread_num();
#endif