无锁并发跳表相关硕士博士期刊学术论文 - 搜论网

无锁并发跳表相关论文

一种无锁并发跳表算法的可线性化证明

随着互联网的普及和云计算的发展,海量数据处理成为IT从业人员越来越重视的课题。海量数据处理常采用并发的方法,即多个线程同时运......

学位

无锁并发跳表可线性化程序验证并发算法形式化验证

一种无锁并发跳表算法的可线性化证明

为了证明无锁并发跳表算法的可线性化性质，采用最新提出的不固定线性化点算法可线性化性质的模块化验证方法，首先建立一个简单的抽象......

期刊

无锁并发跳表可线性化程序验证并发算法

看过本文同时还关注