非阻塞算法（Lock-Free）的实现

最新推荐文章于 2025-04-09 00:30:04 发布

Gerald Newton

最新推荐文章于 2025-04-09 00:30:04 发布

阅读量1.4k

点赞数

CC 4.0 BY-SA版权

文章标签：链表数据结构

本文链接：https://blog.csdn.net/m0_68064743/article/details/124515904

本文介绍了非阻塞算法的使用，特别是通过CAS操作实现的无锁链表和栈。非阻塞栈利用Atomic类确保top节点更新的原子性，而无锁链表则通过多线程协作完成节点插入和尾部指针更新，确保数据结构的正确性。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

非阻塞算法（Lock-Free）的实现

上篇文章我们讲到了使用锁会带来的各种缺点，本文将会讲解如何使用非阻塞算法。非阻塞算法一般会使用CAS来协调线程的操作。

虽然非阻塞算法有诸多优点，但是在实现上要比基于锁的算法更加繁琐和负责。

本文将会介绍两个是用非阻塞算法实现的数据结构。
非阻塞的栈

我们先使用CAS来构建几个非阻塞的栈。栈是最简单的链式结构，其本质是一个链表，而链表的根节点就是栈顶。

我们先构建Node数据结构：

public class Node<E> {
    public final E item;
    public Node<E> next;

    public Node(E item){
        this.item=item;
    }
}

这个Node保存了内存item和它的下一个节点next。

然后我们构建非阻塞的栈，在该栈中我们需要实现pop和push方法，我们使用一个Atomic类来保存top节点的引用，在pop和push之前调用compareAndSet命令来保证命令的原子性。同时，我们需要不断的循环，以保证在线程冲突的时候能够重试更新。

public class ConcurrentStack<E> {

    AtomicReference<Node<E>> top= new AtomicReference<>();

    public void push(E item){
        Node<E> newNode= new Node<>(item);
        Node<E> oldNode;
        do{
            oldNode=top.get();
            newNode.next= oldNode;
        }while(!top.compareAndSet(oldNode, newNode));
    }

    publ