[P0387R1](https://wg21.link/p0387r1) Memory Model Issues for Concurrent Data Structures (Hans-J. Boehm)