perfbook reading note

concurrency 形式化验证内存模型工具认识来源于 这个老铁的其他文章也不错 关于 nanolog 也是从上面老铁的文章中获知，本来只知道 spdlog