【摘要】随着互联网的普及和云计算的发展,海量数据处理成为IT从业人员越来越重视的课题。海量数据处理常采用并发的方法,即多个线程同时运行在多台处理器上,共同访问和处理共享数据。由于多个线程的交互,并发程序的行为更难以预测,出现的错误也更难以定位。因此,通过严谨的数学方法在逻辑上验证一个并发程序的正确性很有意义。无锁并发跳表是一种无需对各个节点加锁就能实现多个线程同时无阻塞操作的数据结构,其存取时间复 […]