Jason_Gibson
https://github.com/google/sanitizers/wiki/AddressSanitizerCo... https://github.com/google/sanitizers/wiki/MemorySanitizer https://valgrind.org/docs/manual/manual.html
https://sqlite.org/cgi/src/doc/begin-concurrent-pnu-wal2/doc...
Where did you see that the plan is to bring those into the mainline distribution?
https://www.openlogic.com/ https://www.openlogic.com/about-openlogic-perforce
https://sqlite.org/forum/forumpost/9aa5e1dcffde1336
See the "preliminary results" link.
You can also get to a middle-ground state between "no batteries" and "just enough batteries" to get a large portion of the expected work done if the problem space is understood and has some bounds. E.g. including a library to make HTTP requests, parse JSON and work with an embedded SQL database will be enough for a lot of use-cases in the "user-defined glue logic on an existing application" space.
https://github.com/koka-lang/koka https://github.com/microsoft/mimalloc
https://github.com/microsoft/mimalloc
https://github.com/microsoft/mimalloc/blob/master/include/mimalloc-atomic.h
It has gone through testing with Clang's TSAN and (at least some with) the GenMC model checker. https://plv.mpi-sws.org/genmc/