规约和验证并发数据结构
全新正版 极速发货
￥ 29.21 3.7折 ￥ 78 全新
库存6件
作者文堂柳
出版社中南大学出版社
ISBN9787548754503
出版时间2023-08
装帧平装
开本16开
定价78元
货号1203157161
上书时间2024-07-01
商品详情
- 品相描述：全新
- 商品描述
-
目录
第1章概述
1.1研究的背景和意义
1.2并发数据结构正确性标准研究现状
1.3并发数据结构可线性化的验证方法研究现状
1.4本书的研究内容
1.5本书的组织结构
第2章研究基础
2.1相关数学知识
2.2程序逻辑
2.3刻画并发数据结构的行为
2.4并发数据结构的可线性化
2.5观察精化与观察等价
2.6本章小结
第3章强可线性化
3.1研究动机
……
内容摘要
面对多核处理器技术的不断革新，为充分地利用多核资源提升程序的性能，设计和实现高并发的数据结构变得越来越重要。为获得更多的并发和更好的性能，程序开发者会尽可能地采用细粒度同步技术来实现并发数据结构。然而这些数据结构通常复杂灵巧、易出错、可靠性难以保证。因此，形式化验证并发数据结构对提高并发软件的可靠性和安全性有着重要意义。可线性化是一一个主流的并 发数据结构安全性标准。本书针对并发数据结构可线性化标准及其验证方法方面进行了深入研究。本书分析了可线性化标准的局限性，在此基础上提出了强可线性化标准。本书致力于提供简单易用的方法验证并发数据结构的可线性化。
相关推荐
-
规约和验证并发数据结构
全新广州
￥ 29.21
-
规约和验证并发数据结构
全新北京
￥ 36.25
-
规约和验证并发数据结构
全新北京
￥ 27.00
-
规约和验证并发数据结构
全新北京
￥ 39.00
-
规约和验证并发数据结构
全新广州
￥ 38.28
-
【正版新书】规约和验证并发数据结构
全新保定
￥ 36.80
-
规约和验证并发数据结构 经济理论、法规 文堂柳
全新保定
￥ 26.30
-
规约和验证并发数据结构 经济理论、法规 文堂柳
全新北京
￥ 26.30
-
规约和验证并发数据结构 经济理论、法规 文堂柳
全新廊坊
￥ 32.00
-
规约和验证并发数据结构 经济理论、法规 文堂柳
全新保定
￥ 32.00
— 没有更多了 —
以下为对购买帮助不大的评价