书目详细信息
： 规约和验证并发数据结构
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-5487-5450-3:CNY78.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 430000 |
| 题名责任者项： | 规约和验证并发数据结构/.文堂柳著 |
| 出版发行项： | 长沙:,中南大学出版社:,2023.08 |
| 载体形态项： | 202页:;+图:;+24cm |
| 一般附注： | 赣南科技学院优秀学术著作出版基金资助 |
| 提要文摘： | 本书分析了可线性化标准的局限性, 在此基础上提出了强可线性化标准。本书致力于提供简单易用的方法验证并发数据结构的可线性化。面对多核处理器技术的不断革新, 为充分地利用多核资源提升程序的性能, 设计和实现高并发的数据结构变得越来越重要。为获得更多的并发和更好的性能, 程序开发者会尽可能地采用细粒度同步技术来实现并发数据结构。 |
| 题名主题： | 微处理器 数据结构 研究 |
| 中图分类： | TP332 |
| 个人名称等同： | 文堂柳 著 |
| 记录来源： | CN YNAU 20240430 |