南京江北新区图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

规约和验证并发数据结构/文堂柳著

出版发行项:

长沙:中南大学出版社,2023

ISBN及定价:

978-7-5487-5450-3/CNY78.00

载体形态项:

202页:图;24cm

个人责任者:

文堂柳 著

学科主题:

微处理器-数据结构-研究

中图法分类号:

TP332

中图法分类号:

TP33

一般附注:

赣南科技学院优秀学术著作出版基金资助

提要文摘附注:

本书分析了可线性化标准的局限性，在此基础上提出了强可线性化标准。本书致力于提供简单易用的方法验证并发数据结构的可线性化。面对多核处理器技术的不断革新，为充分地利用多核资源提升程序的性能，设计和实现高并发的数据结构变得越来越重要。为获得更多的并发和更好的性能，程序开发者会尽可能地采用细粒度同步技术来实现并发数据结构。

豆瓣简介：