Concurrency fork of rely-guarantee references