规约和验证并发数据结构

正版图书保证质量七天无理由退货让您购物无忧

39 5.0折 78 全新

库存40件

北京朝阳

认证卖家担保交易快速发货售后保障

作者文堂柳著

出版社中南大学出版社

ISBN9787548754503

出版时间2023-08

版次1

装帧平装

开本其他

定价78元

货号R_14004750

上书时间2024-06-04

已实名已认证进店收藏店铺

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

— 没有更多了 —