没有合适的资源?快使用搜索试试~ 我知道了~
温馨提示
试读
14页
CONCURRENCY1Proving the Correctness of Nonblocking Data StructuresNonblocking synchronization can yield astonishing results in terms of scalability and realtime response, but at the expense of verification state space.Mathieu Desnoyers, EfficiOSSo you’ve decided to use a nonblocking data structure, and now you need to be certain of its correctness. How can this be achieved?When a multithreaded program is too slow because of a frequently acquired mutex, the programmer’s typical reaction is
资源推荐
资源评论
资源评论
weixin_38718434
- 粉丝: 9
- 资源: 930
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功