Laws of order: expensive synchronization in concurrent algorithms cannot be elim [pdf] | Not Hacker News!