【摘要】随着多核处理器的广泛应用,并发编程成为软件开发的主流方式,但是并发编程给程序员带来了很大的挑战。传统的并发编程主要是用锁机制来保证共享资源的互斥访问,锁机制是一种常用的同步手段。但是粗粒度锁性能较差；而细粒度锁性能较好,但使用过于复杂,容易出错,编写简单高效的代码非常困难,容易导致死锁和优先级倒置等问题。软件事务内存(STM)并发机制将对共享存储复杂的同步访问控制转嫁给底层系统开发者,从而 […]

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