Also this paper might be relevant: Laws of Order: Expensive Synchronization in Concurrent Algorithms Cannot be Eliminated [1] [1] https://www.cs.bgu.ac.il/~hen

Also this paper might be relevant: Laws of Order: Expensive Synchronization in Concurrent Algorithms Cannot be Eliminated [1] [1] https://www.cs.bgu.ac.il/~hendlerd/papers/p168-expensiveSynch.pdf https://www.cs.bgu.ac.il/~hendlerd/papers/p168-expensiveSync...