std::shared_ptr concurrent access sanity check

Question

I\'m trying to make sure I correctly understand the semantics of std::shared_ptr, where:

• Modifications to the underlying shared reference counter (std::_S