题名:
规约和验证并发数据结构   / 文堂柳著 ,
ISBN:
978-7-5487-5450-3 价格： CNY78.00
语种:
chi
载体形态:
202页 图 24cm
出版发行:
出版地： 长沙 出版社： 中南大学出版社 出版日期： 2023
内容提要:
本书分析了可线性化标准的局限性, 在此基础上提出了强可线性化标准。本书致力于提供简单易用的方法验证并发数据结构的可线性化。面对多核处理器技术的不断革新, 为充分地利用多核资源提升程序的性能, 设计和实现高并发的数据结构变得越来越重要。为获得更多的并发和更好的性能, 程序开发者会尽可能地采用细粒度同步技术来实现并发数据结构。 
主题词:
微处理器   数据结构
中图分类法:
TP332 版次： 5
主要责任者:
文堂柳 著
附注:
赣南科技学院优秀学术著作出版基金资助 
责任者附注:
文堂柳, 武汉大学计算机软件与理论专业博士毕业, 获工学博士学位。现任赣南科技学院教师、研究方向包括并发分布式计算、软件形式化方法等方向。