Systematic concurrency testing of named and other BIND 9 tools
We should add systematic concurrency testing to our CI, here are some links to get us started:
https://dl.acm.org/citation.cfm?id=1985824
https://www.faculty.ece.vt.edu/chaowang/pubDOC/Wang11HaPSet.pdf
https://insights.sei.cmu.edu/sei_blog/2014/10/thread-safety-analysis-in-c-and-c.html
http://diy.inria.fr + http://diy.inria.fr/linux/
http://www.1024cores.net/home/relacy-race-detector
And on Windows:
https://archive.codeplex.com/?p=chesstool
https://pdfs.semanticscholar.org/186e/82657c803bf9f5f58be4d6ff17d1420dbbeb.pdf