MARC状态：审校 文献类型：中文图书 浏览次数：2
- 题名/责任者:
- 规约和验证并发数据结构/文堂柳著
- 出版发行项:
- 长沙:中南大学出版社,2023.8
- ISBN及定价:
- 978-7-5487-5450-3/CNY78.00
- 载体形态项:
- 202页:图;24cm
- 个人责任者:
- 文堂柳 著
- 学科主题:
- 微处理器-数据结构-研究
- 中图法分类号:
- TP332
- 一般附注:
- 赣南科技学院优秀学术著作出版基金资助
- 责任者附注:
- 文堂柳, 武汉大学计算机软件与理论专业博士毕业, 获工学博士学位。现任赣南科技学院教师、研究方向包括并发分布式计算、软件形式化方法等方向。
- 书目附注:
- 有书目 (第191-202页)
- 提要文摘附注:
- 本书分析了可线性化标准的局限性, 在此基础上提出了强可线性化标准。本书致力于提供简单易用的方法验证并发数据结构的可线性化。面对多核处理器技术的不断革新, 为充分地利用多核资源提升程序的性能, 设计和实现高并发的数据结构变得越来越重要。为获得更多的并发和更好的性能, 程序开发者会尽可能地采用细粒度同步技术来实现并发数据结构。
- 使用对象附注:
- 本书适用于微处理器数据结构研究者
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 校区—馆藏地 | 书刊状态 | 还书位置 |
| TP332/160 | S4010565 | 总馆—滁州校区自然书库 | 可借 | 滁州校区自然书库 | |
| TP332/160 | S4010594 | 总馆—滁州校区自然书库 | 可借 | 滁州校区自然书库 | |
| TP332/160 | S4010595 | 总馆—滁州校区自然书库 | 可借 | 滁州校区自然书库 | |
| TP332/160 | S3994220 | 总馆—自然书库（凤阳） | 可借 | 自然书库（凤阳） | |
| TP332/160 | S3994221 | 总馆—自然书库（凤阳） | 可借 | 自然书库（凤阳） | |
| TP332/160 | S3994222 | 总馆—自然书库（凤阳） | 可借 | 自然书库（凤阳） |
显示全部馆藏信息