David Garden

Recent Blogs

  • Structured Concurrency

    May 16, 2025

  • CPP standard networking proposal(execution)

    May 13, 2025

  • c++ reflection(introspection) and code generation

    Apr 10, 2025

  • code reuse in work with using type erasure

    Mar 21, 2025

See 66 more →

Recent Notes

  • nanolog paper reading

    May 16, 2025

  • perfbook reading note

    May 16, 2025

See 31 more →

Home

❯

reading notes

❯

perfbook reading note

perfbook reading note

May 16, 20251 min read

  • concurrency

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


Graph View

Backlinks

  • No backlinks found

Created with Quartz v4.4.0 © 2025

  • GitHub