《Distributed queues in shared memory multicore performance and scalability through quantitative relaxation》.pdf