@Begin
@Interface: Take
@Commit_point_set: Take_Point1 | Take_Point2 | Take_Point3
- @ID: size(__deque) == 0 ? DEFAULT_CALL_ID : get_id(back(__deque))
+ @ID: __RET__ == EMPTY ? DEFAULT_CALL_ID : get_id(back(__deque))
@Action:
int _Old_Val = EMPTY;
if (size(__deque) > 0) {
@Begin
@Interface: Steal
@Commit_point_set: Steal_Point1 | Steal_Point2
- @ID: size(__deque) == 0 ? DEFAULT_CALL_ID : get_id(front(__deque))
+ @ID: (__RET__ == EMPTY || __RET__ == ABORT) ? DEFAULT_CALL_ID : get_id(front(__deque))
@Action:
int _Old_Val = EMPTY;
if (size(__deque) > 0) {