PSTM框架相关硕士博士期刊学术论文 - 搜论网

PSTM框架相关论文

事务内存PSTM的改进及其正确性研究

事务内存(Transactional Memory)是一种模拟数据库事务执行的并发控制机制,相较于锁它为共享内存的访问提供了更简易安全的方式。P......

学位

软件事务内存 PSTM框架形式化分析与验证定理证明器不透明性

基于CSP的PSTM框架形式化分析与验证

并行编程技术由于其运算效率高且性能好的能力,一直是学术界和工业界的热点研究对象。作为其中一种解决方案的事务内存处理技术(Tr......

学位

事务内存处理技术 PSTM框架形式化分析与验证共享计数器

看过本文同时还关注