High-level C++ implementation of the read-copy-update pattern | IEEE Conference Publication | IEEE Xplore