规约和验证并发数据结构

全新正版极速发货

29.21 3.7折 78 全新

库存13件

广东广州

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

作者文堂柳

出版社中南大学出版社

ISBN9787548754503

出版时间2023-08

装帧平装

开本16开

定价78元

货号1203157161

上书时间2024-11-14

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

商品描述: 目录
第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研究动机

……

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

— 没有更多了 —