Not the author, but anyway; I&#x27;m not sure you can release on one variable and acquire on an other while having ordering guarantee between the two.<p>Anyway, I agree that having both acq and rel on both reader on writer side seems weird. I guess you can come with a solution with only one rel for the writer and only one acq for the reader.<p>UPDATE: I&#x27;m stupid, actually not possible if you don&#x27;t want to overflow.