java 常用并发队列- 非堵塞队列_java 非阻塞队列-CSDN博客

Java 中的非阻塞队列（Non-Blocking Queue）是一种特殊的并发队列实现，通过无锁机制来确保线程安全，避免了传统阻塞队列中由于线程等待而导致的性能问题。非阻塞队列通常采用乐观锁（Optimistic Locking）策略，通过 CAS（Compare-And-Swap） 操作来实现线程间的数据同步和安全访问。

在 Java 中，非阻塞队列提供了高效的并发操作，适用于对吞吐量要求较高的场景。本文将介绍几种常用的 Java 非阻塞队列及其实现机制、特点和适用场景。

1. 非阻塞队列概述

非阻塞队列与阻塞队列的主要区别在于：阻塞队列在操作受限（例如，插入时队列已满或删除时队列为空）时会使线程等待，而非阻塞队列不会阻塞线程。相反，非阻塞队列通常返回一个特殊值（如 null 或 false）来指示操作失败。

1.1 非阻塞队列的线程安全性

非阻塞队列的线程安全性主要通过以下两种方式来实现：

CAS（Compare-And-Swap）操作：这是无锁并发编程的基础，通过原子操作来确保数据一致性。
自旋（Spin）和重试：在并发冲突的情况下，线程将继续尝试操作（而不是等待），直到操作成功。

1.2 非阻塞队列的适用场景

非阻塞队列适用于高并发场景，特别是以下情况：

高吞吐量的应用程序：如高频交易系统、实时数据处理系统等。
低延迟要求：如网络通信、任务分发等需要极低延迟的场景。

2. Java 中常用的非阻塞队列

Java 的 java.util.concurrent 包中提供了多种非阻塞队列实现，每种实现都有其特定的应用场景和特点。以下是 Java 中常用的几种非阻塞队列：

2.1 `ConcurrentLinkedQueue`

ConcurrentLinkedQueue 是一个基于链表的 无界非阻塞队列，它是 Java 中最常用的非阻塞队列之一。它采用 无锁（Lock-Free） 的方式，通过 CAS 操作来实现线程安全。

特点：
- 无界队列：队列的大小没有固定限制。
- 无锁操作：所有操作（如 offer() 和 poll()）都是非阻塞的，通过 CAS 操作实现。
- 高并发性能：适合在高并发环境下使用，读写性能都非常高。
核心方法实现：
- offer(E e) 方法：使用 CAS 操作将元素插入到队列尾部。首先获取当前尾节点，然后使用 CAS 将新节点设置为尾节点。
- poll() 方法：使用 CAS 操作删除队列头部的元素，并返回该元素。线程安全是通过 CAS 的原子性操作来保证的。
应用场景：
- 适用于对吞吐量要求高的场景，如任务调度、事件驱动系统等。

2.2 `ConcurrentLinkedDeque`

ConcurrentLinkedDeque 是 ConcurrentLinkedQueue 的双端队列版本（Deque，Double-Ended Queue），它是一个基于链表的 双端无界非阻塞队列。它也采用了无锁的 CAS 操作来确保线程安全。

特点：
- 双端队列：支持在队列的两端插入和删除元素（如 addFirst()、addLast()、pollFirst() 和 pollLast()）。
- 无锁操作：所有操作均采用 CAS 实现，确保线程安全。
- 灵活性：支持双端操作，提供更大的灵活性。
应用场景：
- 适用于需要双端插入和删除的高并发场景，如任务调度系统、工作队列等。

2.3 `ConcurrentSkipListQueue`

ConcurrentSkipListQueue 是一种基于跳表（Skip List）数据结构的 无界非阻塞优先队列。跳表是一种能够在 O(log n) 时间复杂度下支持插入、删除、查找操作的有序数据结构。

特点：
- 无界队列：无固定大小限制。
- 有序性：队列中的元素按照其自然顺序或 Comparator 提供的顺序进行排序。
- 线程安全：使用无锁的 CAS 操作和跳表结构，保证并发环境下的线程安全性。
应用场景：
- 适用于需要有序操作的高并发场景，如任务调度器、优先级队列等。

2.4 `AtomicReference` 和 `AtomicReferenceArray`

虽然 AtomicReference 和 AtomicReferenceArray 不是严格意义上的队列，但它们可以用来构建自定义的非阻塞队列。这些类提供了基于 CAS 的原子操作，用于实现无锁的线程安全数据结构。

特点：
- 原子操作：通过 CAS 来实现无锁的线程安全性。
- 灵活性：可以构建自定义的非阻塞数据结构，如环形缓冲区、无锁栈等。
应用场景：
- 适用于需要自定义无锁数据结构的场景，如无锁队列、无锁栈等。

3. 非阻塞队列的实现机制

非阻塞队列通常采用 CAS（Compare-And-Swap）操作来实现线程安全。以下是非阻塞队列的几个实现机制和关键概念：

3.1 CAS（Compare-And-Swap）操作

CAS 是一种无锁的原子操作，通过硬件指令直接在处理器层面实现。它是非阻塞队列实现的核心。

原理：CAS 操作包括三个参数：内存位置（V）、预期旧值（A）和新值（B）。如果内存位置 V 的值等于预期值 A，那么将内存位置的值更新为新值 B。否则，不进行任何操作。
优点：避免了锁机制的使用，减少了线程上下文切换的开销，提高了系统的吞吐量。
缺点：在高冲突的场景下，CAS 可能会频繁失败，导致自旋重试，从而影响性能。

3.2 自旋锁和重试

在 CAS 操作失败时，非阻塞队列会使用自旋锁和重试机制来继续尝试操作，直到成功。

自旋锁：线程会反复执行 CAS 操作，直到成功。与阻塞队列不同，线程不会被挂起，而是继续占用 CPU 时间。
重试策略：在 CAS 操作失败时，会自动重试，通常会设计一定的重试次数或使用指数退避策略来避免死循环。

3.3 无锁算法设计

非阻塞队列的实现依赖于无锁算法设计，这些算法旨在最大限度地减少线程间的竞争，确保高效的并发操作。

Michael-Scott 队列算法：ConcurrentLinkedQueue 使用了 Michael-Scott 队列算法，这是一种经典的无锁队列算法，利用 CAS 操作和链表结构来实现高效的并发操作。
跳表算法：ConcurrentSkipListQueue 使用了跳表算法，通过多层链表来实现有序的快速查找和更新操作。