面对多核处理器技术的不断革新，为充分地利用多核资源提升程序的性能，设计和实现高并发的数据结构变得越来越重要。为获得 多的并发和 好的性能，程序开发者会尽可能地采用细粒度同步技术来实现并发数据结构。然而这些数据结构通常复杂灵巧、易出错、可靠性难以保证。因此，形式化验证并发数据结构对提高并发软件的可靠性和安全性有着重要意义。可线性化是一一个主流的并 发数据结构安全性标准。本书针对并发数据结构可线性化标准及其验证方法方面进行了深入研究。本书分析了可线性化标准的局限性，在此基础上提出了强可线性化标准。本书致力于提供简单易用的方法验证并发数据结构的可线性化。
鄂公网安备 42010302001612号 