规约和验证并发数据结构经济理论、法规文堂柳

32 4.1折 78 全新

库存29件

河北保定

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

作者文堂柳

出版社中南大学出版社

ISBN9787548754503

出版时间2023-08

版次1

装帧平装

开本16

页数212页

定价78元

货号304_9787548754503

上书时间2024-04-06

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

商品描述: 目录：

章概述

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

……

内容简介：

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

— 没有更多了 —

规约和验证并发数据结构 经济理论、法规 文堂柳