在过去十年间，并发编程得到了普及。每个语言和平台都提供了相应的基元，随着系统复杂度的增加，例如宽松内存模型或 NUMA 架构，这些基元越来越难以高效使用。实践中出现了几个重要的问题。如何构建高效的并发算法？进度保证、效率和公平性之间的最佳权衡是什么？如何检查所有这些算法的正确性？如何对它们进行基准分析？虽然有些问题在学术界已经有了部分答案，但很多实际问题仍未解决。我们的目标是通过提供实际合理并有理论价值的解决方案以及高质量的工具来回答这些问题，以帮助并发领域的其他研究人员和开发者。