多线程并发访问无队列的算法研究.pdfVIP

Vol. 3 No.8 / Aug. 2009 多线程并发访问无锁队列的算法研究 钱立兵 陈波 晏涛 徐云 孟金涛 刘涛 摘 要 FIFO队列是基本的、同时也研究最多的多线程并发数据机构之一。动态的内存分配实现并发无锁队列FIFO算法是 高效实用的算法，是有Michael and Scott提出(被称为MS-queue)。由Edya Ladan-Mozes和 Nir Shavit提出的新的并发 无锁FIFO队列算法进行研究，该算法是对MS-queue的改进，称为optimistic算法。MS-queue算法中的队列是用单链表表 示的，指针的插入操作使用了代价昂贵的compare-and-swap(CAS)操作，Optimistic算法关键思想：使用双链表表示队 列，用普通的、开销极低的store操作来插入指针，大大提高了算法的性能，尽管该算法在某些情况下可能会导致不一致性 问题，但可以定位问题并改正，采用消隐技术于FIFO数据机构中，并且在保持无锁与线性一致的情况下，能够扩放多线程 并发访问无锁队列性能。 关键词 CAS ；MS-queue算法；Optimistic算法；并发数据结构；FIFO:无锁；消隐 1 引言 现可扩放性而收引入的一种技术，Hendler等提出了 如何在消隐中引入退避机制，从而在保持线性一致 随着多核技术的发展，并行数据结构技术成 性的条件下实现了LIFO栈的可扩放性。 为一个研究热点，采用有锁访问会带来一定的开 消隐的工作机制，即让一对相反的操作，如入 销同时可能会产生死锁等，先进先出(FIFO)队列可 队出队，互相进行数据交换，而不用与中心数据结 以构建并发数据结构的基本块，如：Java并发包 构进行同步。直观地，这种技术最适合于LIFO顺序 JSR-166并发队列是一种可线性化、支持enqueue/ 的数据结构，例如一个入栈操作与一个出栈操作正 dequeue操作的FIFO数据结构。本文讨论动态内 好配对直接交换数据，而无需进入中心的栈结构。 存分配实现的可线性化的多线程访问的无锁队列的 FIFO队列。 FIFO队列的实现就基于这种技术，一般地，在 低负载下，应更倾向于直接访问中心数据结构，因 Michael and Scott使用动态内存分配实现的并 为此时较难找到消隐对；而在高负载下应更倾向于 发无锁FIFO队列算法被认为是最高效和实用的算法 消隐，因为此时较易找到消隐对。利用消隐时，一 (被称为MS-queue)。在共享内存的多核处理器上， 个直观的方法是对中心队列引入退避机制，针对一 这种基于Compare-and-swap(CAS)的算法在性能 个共享无锁队列的实现上使用一个简单的“消隐数 上要远远优于以前基于锁的算法，并且已经被Java 并发包所采用。它的主要特点在于允许多线程并发 组”来支持退避模式。 的、无干扰的访问队列的头和尾。 2 MS-queue算法及改善后的算法 本文从最著名的基于动态内存分配的无锁FIFO 队列算法(MS-queue算法)出发，对最为有效