A segmentation fault occurs when the OCSP fetcher periodic job fires while mongod is shutting down. The null pointer dereferenced is the std::unique_ptr<OCSPManager> obtained from the global service context here. Oddly, this issue only manifested while running on a TSAN debug build.