10 atomic_size_t top, bottom;
11 atomic_uintptr_t array; /* Atomic(Array *) */
14 #define EMPTY 0xffffffff
15 #define ABORT 0xfffffffe
23 typedef struct tag_elem {
32 __deque= new_spec_list();
33 tag = new_id_tag(); // Beginning of available id
35 tag_elem_t* new_tag_elem(call_id_t id, int data) {
36 tag_elem_t *e = (tag_elem_t*) CMODEL_MALLOC(sizeof(tag_elem_t));
42 call_id_t get_id(void *wrapper) {
43 return ((tag_elem_t*) wrapper)->id;
46 int get_data(void *wrapper) {
47 return ((tag_elem_t*) wrapper)->data;
57 void resize(Deque *q);
62 @Commit_point_set: Take_Point1 | Take_Point2 | Take_Point3 | Take_Point4
63 @ID: size(__deque) == 0 ? DEFAULT_CALL_ID : get_id(back(__deque))
66 if (size(__deque) > 0) {
67 _Old_Val = get_data(back(__deque));
79 @Commit_point_set: Push_Point
80 @ID: get_and_inc(tag);
82 tag_elem_t *elem = new_tag_elem(__ID__, x);
83 push_back(__deque, elem);
86 void push(Deque *q, int x);
91 @Commit_point_set: Steal_Point1 | Steal_Point2 | Steal_Point3
92 @ID: size(__deque) == 0 ? DEFAULT_CALL_ID : get_id(front(__deque))
95 if (size(__deque) > 0) {
96 _Old_Val = get_data(front(__deque));