基于副本的非阻塞自组织链表计算机科学与技术专业论文.docxVIP

目 录 HYPERLINK \l _bookmark0 第一章 绪论1 HYPERLINK \l _bookmark1 1.1 非阻塞同步1 HYPERLINK \l _bookmark2 1.2 自组织链表2 HYPERLINK \l _bookmark3 1.3 本文的主要工作3 HYPERLINK \l _bookmark4 第二章 相关工作5 HYPERLINK \l _bookmark5 2.1 链表5 HYPERLINK \l _bookmark6 2.2 阻塞链表和非阻塞链表7 HYPERLINK \l _bookmark7 2.3 非阻塞自组织链表13 HYPERLINK \l _bookmark8 第三章 非阻塞自组织链表的设计与实现16 HYPERLINK \l _bookmark9 3.1 链表设计16 HYPERLINK \l _bookmark10 3.1.1 并发难点16 HYPERLINK \l _bookmark11 3.1.2 解决方案17 HYPERLINK \l _bookmark12 3.2 链表实现18 HYPERLINK \l _bookmark13 第四章 正确性证明27 HYPERLINK \l _bookmark14 4.1 并发链表的正确性27 HYPERLINK \l _bookmark15 4.2 可线性化28 HYPERLINK \l _bookmark16 4.2.1 可线性化点28 HYPERLINK \l _bookmark17 4.2.1 可线性化性31 HYPERLINK \l _bookmark18 4.3 非阻塞35 HYPERLINK \l _bookmark19 第五章 性能分析37 HYPERLINK \l _bookmark20 5.1 实验说明37 HYPERLINK \l _bookmark21 5.2 实验结果37 HYPERLINK \l _bookmark22 5.3 实验分析42 HYPERLINK \l _bookmark23 5.3.1 链表长度的影响43 HYPERLINK \l _bookmark24 5.3.2 操作比例的影响44 HYPERLINK \l _bookmark25 5.3.3 可扩展性45 HYPERLINK \l _bookmark26 第六章 总结和展望47 HYPERLINK \l _bookmark27 6.1 总结47 HYPERLINK \l _bookmark28 6.2 展望47 HYPERLINK \l _bookmark29 参考文献49 HYPERLINK \l _bookmark30 发表论文和科研情况说明52 HYPERLINK \l _bookmark31 致 谢53 第一章绪论 第一章 绪论 PAGE PAGE 10 第一章 绪论 1.1 非阻塞同步 非阻塞同步的研究最早始于 90 年代初[1,2]，是为共享存储区的多处理器设计 的。非阻塞指的是使用共享对象的某些线程即使被迫停止、挂起甚至死亡，另外 一些线程在经历一段有效时间后能够使用该对象[3]。传统的互斥算法不仅要维护 申请锁和释放锁的开销，而且不允许互斥资源的并发访问，导致系统性能大大降 低。为了解决这些问题，免锁(lock-free)的非阻塞同步机制出现了。这种同步机 制不严格控制互斥资源的访问，它允许多于一个线程同时访问互斥资源并且能够 保证资源的一致性。它的特点是保证至少有一个线程能够在有限的时间内完成其 临界区内的操作。非阻塞同步还有另外一种同步机制：免等待(wait-free)同步， 它保证访问共享资源的任何一个线程都能在有限的时间内完成其临界区内的操 作。 非阻塞同步算法的实现需要处理器本身提供一种可以原子修改内存的指令， 如 LL-SC 原 语 ( load-locked-and-store-conditional ) 、 CAS 原 语 ( compare-and-swap )、DCAS 原语 （ double-CAS ），这些原子指令是非阻塞同 步实现的基础。其中最早用硬件来提供 CAS 原语的处理器是 IBM370，而 LL-SC 原语最早在文献[4]中出现。随着非阻塞同步机制日益广泛受到人们的关注，越来 越多的处理器开始支持这些原子指令。比如 PowerPC、MIPS、 ALPHA 等处理 器提供 LL-SC 原语，X86、Pentium、 SPARC 等处理器支持 CAS 原语[3]。由于 DCAS 是一种很复杂的指令，不利于实现流水线，只有 Motorola680x0 系列的处 理器支持 DCAS 原语。 本论文使用 Jav