规约和验证并发数据结构
正版保障 假一赔十 电子发票
¥
31.87
4.1折
¥
78
全新
库存38件
作者文堂柳著
出版社中南大学出版社
ISBN9787548754503
出版时间2023-08
装帧其他
开本其他
定价78元
货号4461673
上书时间2024-12-23
商品详情
- 品相描述:全新
- 商品描述
-
目录
本书分析了可线性化标准的局限性, 在此基础上提出了强可线性化标准。本书致力于提供简单易用的方法验证并发数据结构的可线性化。面对多核处理器技术的不断革新, 为充分地利用多核资源提升程序的性能, 设计和实现高并发的数据结构变得越来越重要。为获得更多的并发和更好的性能, 程序开发者会尽可能地采用细粒度同步技术来实现并发数据结构。
— 没有更多了 —
以下为对购买帮助不大的评价