Slightly improve the Chase-Lev deque memory ordering