Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation
Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated