A barrier within a read transaction for mutex operations