/**
@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
/**
@Begin
@Interface: Dequeue
- @Commit_point_set: Dequeue_Success_Point | Dequeue_Empty_Point
+ @Commit_point_set: Dequeue_Read_Head | Dequeue_Read_Tail | Dequeue_LoadNext
@ID: get_id(front(__queue))
@Action:
unsigned int _Old_Val = 0;
_Old_Val = 0;
}
@Post_check:
- _Old_Val == 0 ? !__RET__ : _Old_Val == *retVal
+ __RET__ ? *output == _Old_Val : _Old_Val == 0
@End
*/
-bool dequeue(queue_t *q, unsigned int *retVal);
+bool dequeue(queue_t *q, int *output);
int get_thread_num();
#endif