事务内存同步机制相关硕士博士期刊学术论文 - 搜论网

事务内存同步机制相关论文

使用事务内存同步机制的并行程序验证的研究

近年来,随着超线程、多核体系结构等多线程技术的发展和广泛应用,计算机硬件已经提供了越来越高效的软件运行平台。但是要更好地利......

学位

软件安全并行程序验证汇编语言受信任计算基础携带证明的代码事务内存同步机制

低级并行代码中几种同步机制的验证

多核多处理器等以共享存储为特征的新一代系统结构的出现,加速了对快速研发基于共享资源的并行软件的需求,这给基于共享资源的高可......

学位

并行程序验证读写锁可重入锁汇编语言事务内存同步机制并发分离逻辑

看过本文同时还关注