5 #include <cdsannotate.h>
6 #include <specannotation.h>
7 #include <model_memory.h>
15 atomic_size_t top, bottom;
16 atomic_uintptr_t array; /* Atomic(Array *) */
19 #define EMPTY 0xffffffff
20 #define ABORT 0xfffffffe
28 typedef struct tag_elem {
37 __deque= new_spec_list();
38 tag = new_id_tag(); // Beginning of available id
40 tag_elem_t* new_tag_elem(call_id_t id, int data) {
41 tag_elem_t *e = (tag_elem_t*) CMODEL_MALLOC(sizeof(tag_elem_t));
47 call_id_t get_id(void *wrapper) {
48 return ((tag_elem_t*) wrapper)->id;
51 int get_data(void *wrapper) {
52 return ((tag_elem_t*) wrapper)->data;
62 void resize(Deque *q);
67 @Commit_point_set: Take_Point1 | Take_Point2 | Take_Point3 | Take_Point4
68 @ID: size(__deque) == 0 ? DEFAULT_CALL_ID : get_id(back(__deque))
71 if (size(__deque) > 0) {
72 _Old_Val = get_data(back(__deque));
84 @Commit_point_set: Push_Point
85 @ID: get_and_inc(tag);
87 tag_elem_t *elem = new_tag_elem(__ID__, x);
88 push_back(__deque, elem);
91 void push(Deque *q, int x);
96 @Commit_point_set: Steal_Point1 | Steal_Point2 | Steal_Point3
97 @ID: size(__deque) == 0 ? DEFAULT_CALL_ID : get_id(front(__deque))
100 if (size(__deque) > 0) {
101 _Old_Val = get_data(front(__deque));