-
- // ***********************************
- // Inference analysis results have two choices here, it either
- // makes wildcard(6) acq_rel and wildcard(8) relaxed or
- // wildcard(6) release and wildcard(8) acquire. The
- // synchronization here is for enqueue() to dequeue(), and
- // actually either synchronization options will work!!!