atomic_cmpset_acq_int
} while (!atomic_cmpset_acq_int(&br->br_cons_head, cons_head, cons_next));
} while (!atomic_cmpset_acq_int(&br->br_prod_head, prod_head, prod_next));
