全新正版图书 规约和验证并发数据结构文堂柳中南大学出版社9787548754503

图书标准信息

• 作者 文堂柳 著
• 出版社 中南大学出版社
• 出版时间 2023-08
• 版次 1
• ISBN 9787548754503
• 定价 78.00元
• 装帧 其他
• 开本 16开
• 页数 212页
• 字数 182千字

【内容简介】

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

【目录】

第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研究动机

……