LinkedBlockingQueue 原理

简介: LinkedBlockingQueue 原理

LinkedBlockingQueue 是 Java 中用于实现线程安全队列的类。它是一个基于链接节点的阻塞队列,并且在队列为空时,获取元素的线程会阻塞;当队列满时,存储元素的线程会阻塞。LinkedBlockingQueue 的使用方法如下:

1. 创建一个 LinkedBlockingQueue 对象。

2. 使用 put() 方法往队列里存入元素。

3. 使用 take() 方法从队列取出元素。

基本的入队出队

1. public class LinkedBlockingQueue<E> extends AbstractQueue<E>
2. implements BlockingQueue<E>, java.io.Serializable {
3. static class Node<E> {
4.             E item;
5. /**
6.              * 下列三种情况之一
7.              * <p>
8.              * - 真正的后继节点
9.              * <p>
10.              * - 自己, 发生在出队时
11.              * <p>
12.              * - null, 表示是没有后继节点, 是最后了
13.              */
14.             Node<E> next;
15.             Node(E x) {
16.                 item = x;
17.             }
18.         }
19.     }

初始化链表 last = head = new Node(null); Dummy 节点用来占位,item 为 null

当一个节点入队 last = last.next = node;

再来一个节点入队 last = last.next = node;

出队

1. h = head first = h.next h.next = h head = first
2. 
3. Node<E> h = head;
4. 
5. Node<E> first = h.next;
6. 
7. h.next = h; // help GC
8. 
9. head = first;
10. 
11. E x = first.item;
12. 
13. first.item = null;
14. 
15. return x;

h = head

first = h.next

h.next = h

head = first

1. E x = first.item;
2. 
3. first.item = null;
4. 
5. return x;

加锁分析

高明之处在于用了两把锁和 dummy 节点 用一把锁,同一时刻,最多只允许有一个线程(生产者或消费者,二选一)执行 用两把锁,同一时刻,可以允许两个线程同时(一个生产者与一个消费者)执行 消费者与消费者线程仍然串行 生产者与生产者线程仍然串行

线程安全分析

当节点总数大于 2 时(包括 dummy 节点),putLock 保证的是 last 节点的线程安全,takeLock 保证的是 head 节点的线程安全。两把锁保证了入队和出队没有竞争

当节点总数等于 2 时(即一个 dummy 节点,一个正常节点)这时候,仍然是两把锁锁两个对象,不会竞争

当节点总数等于 1 时(就一个 dummy 节点)这时 take 线程会被 notEmpty 条件阻塞,有竞争,会阻塞

1. // 用于 put(阻塞) offer(非阻塞)
2. private final ReentrantLock putLock = new ReentrantLock();
3. 
4. 
5. // 用户 take(阻塞) poll(非阻塞)
6. private final ReentrantLock takeLock = new ReentrantLock();

put 操作

1. public void put(E e) throws InterruptedException {
2. if (e == null) throw new NullPointerException();
3. int c = -1;
4.         Node<E> node = new Node<E>(e);
5. final ReentrantLock putLock = this.putLock;
6. // count 用来维护元素计数
7. final AtomicInteger count = this.count;
8.         putLock.lockInterruptibly();
9. try {
10. // 满了等待
11. while (count.get() == capacity) {
12. // 倒过来读就好: 等待 notFull
13.                 notFull.await();
14.             }
15. // 有空位, 入队且计数加一
16.             enqueue(node);
17.             c = count.getAndIncrement();
18. // 除了自己 put 以外, 队列还有空位, 由自己叫醒其他 put 线程
19. if (c + 1 < capacity)
20.                 notFull.signal();
21.         } finally {
22.             putLock.unlock();
23.         }
24. // 如果队列中有一个元素, 叫醒 take 线程
25. if (c == 0)
26. // 这里调用的是 notEmpty.signal() 而不是 notEmpty.signalAll() 是为了减少竞争
27.             signalNotEmpty();
28.     }

take 操作

1. public E take() throws InterruptedException {
2.         E x;
3. int c = -1;
4. final AtomicInteger count = this.count;
5. final ReentrantLock takeLock = this.takeLock;
6.         takeLock.lockInterruptibly();
7. try {
8. while (count.get() == 0) {
9.                 notEmpty.await();
10.             }
11.             x = dequeue();
12.             c = count.getAndDecrement();
13. if (c > 1)
14.                 notEmpty.signal();
15.         } finally {
16.             takeLock.unlock();
17.         }
18. // 如果队列中只有一个空位时, 叫醒 put 线程
19. // 如果有多个线程进行出队, 第一个线程满足 c == capacity, 但后续线程 c < capacity
20. if (c == capacity)
21. // 这里调用的是 notFull.signal() 而不是 notFull.signalAll() 是为了减少竞争
22.             signalNotFull()
23. return x;
24.     }

由 put 唤醒 put 是为了避免信号不足  

性能比较

主要列举 LinkedBlockingQueue 与 ArrayBlockingQueue 的性能比较

  • Linked 支持有界,Array 强制有界
  • Linked 实现是链表,Array 实现是数组
  • Linked 是懒惰的,而 Array 需要提前初始化 Node 数组
  • Linked 每次入队会生成新 Node,而 Array 的 Node 是提前创建好的
  • Linked 两把锁,Array 一把锁

相关文章
|
8月前
|
存储 安全 Java
ArrayBlockingQueue 和 LinkedBlockingQueue 有什么区别?
ArrayBlockingQueue 和 LinkedBlockingQueue 有什么区别?
|
1月前
|
存储 安全 Java
Java线程池ThreadPoolExcutor源码解读详解02-阻塞队列之ArrayBlockingQueue
`ArrayBlockingQueue` 是Java中一个基于数组的并发队列,具有线程安全的性质。以下是其关键信息的摘要: - **继承实现关系**:它扩展了`AbstractQueue`并实现了`BlockingQueue`接口,确保线程安全的入队和出队操作。 - **数据结构**:内部由固定大小的数组支撑,有`takeIndex`和`putIndex`跟踪元素的添加和移除位置,`count`记录队列中的元素数量。 - **特点**:队列长度在创建时必须指定且不可变,遵循先进先出(FIFO)原则,当队列满时,添加元素会阻塞,空时,移除元素会阻塞。
35 0
|
8月前
|
存储 安全 Java
【面试题精讲】ArrayBlockingQueue 和 LinkedBlockingQueue 区别
【面试题精讲】ArrayBlockingQueue 和 LinkedBlockingQueue 区别
|
1月前
|
存储 缓存 Java
Java线程池ThreadPoolExcutor源码解读详解06-阻塞队列之SynchronousQueue
SynchronousQueue 是 Java 中的一个特殊阻塞队列,它没有容量,实现线程间的直接对象交换。这个队列的特点和优缺点如下: 1. **无容量限制**:SynchronousQueue 不存储任何元素,每个 put 操作必须等待一个 take 操作,反之亦然。这意味着生产者和消费者必须严格同步。 2. **阻塞性质**:当一个线程试图插入元素时,如果没有线程正在等待获取,那么插入操作会阻塞;同样,尝试获取元素的线程如果没有元素可取,也会被阻塞。 3. **公平与非公平策略**:SynchronousQueue 支持公平和非公平的线程调度策略。公平模式下,等待时间最长的线程优先
50 5
|
1月前
|
存储 安全 Java
Java线程池ThreadPoolExcutor源码解读详解03-阻塞队列之LinkedBlockingQueue
LinkedBlockingQueue 和 ArrayBlockingQueue 是 Java 中的两种阻塞队列实现,它们的主要区别在于: 1. **数据结构**:ArrayBlockingQueue 采用固定大小的数组实现,而 LinkedBlockingQueue 则使用链表实现。 2. **容量**:ArrayBlockingQueue 在创建时必须指定容量,而 LinkedBlockingQueue 可以在创建时不指定容量,默认容量为 Integer.MAX_VALUE。 总结起来,如果需要高效并发且内存不是主要考虑因素,LinkedBlockingQueue 通常是更好的选择;
189 1
|
1月前
|
存储 安全 Java
Java线程池ThreadPoolExcutor源码解读详解04-阻塞队列之PriorityBlockingQueue原理及扩容机制详解
1. **继承实现图关系**: - `PriorityBlockingQueue`实现了`BlockingQueue`接口,提供了线程安全的队列操作。 - 内部基于优先级堆(小顶堆或大顶堆)的数据结构实现,可以保证元素按照优先级顺序出队。 2. **底层数据存储结构**: - 默认容量是11,存储数据的数组会在需要时动态扩容。 - 数组长度总是2的幂,以满足堆的性质。 3. **构造器**: - 无参构造器创建一个默认容量的队列,元素需要实现`Comparable`接口。 - 指定容量构造器允许设置初始容量,但不指定排序规则。 - 可指定容量和比较
241 2
|
1月前
并发编程之BlockingQueue(阻塞队列)的详细解析
并发编程之BlockingQueue(阻塞队列)的详细解析
16 0
|
10月前
|
存储 缓存 安全
BlockingQueue阻塞队列原理以及实现
BlockingQueue阻塞队列原理以及实现
89 0
|
缓存 安全 Java
JUC系列学习(四):线程池阻塞队列BlockingQueue及其相关实现ArrayBlockingQueue、LinkedBlockingQueue
线程池阻塞队列BlockingQueue及其相关实现ArrayBlockingQueue、LinkedBlockingQueue
|
安全 Java
LinkedBlockingQueue源码学习
采用线程池和阻塞队列实现生产/消费者模型。其中LinkedBlockingQueue是阻塞队列,同时线程安全,其特点: 采用链表数据结构Node的方式进行节点数据的记录, 同时其进行入队和出队的计数器采用原子性的AtomicInteger 其出队和入队采用采用两把锁,putLock和takeLock,同时进行删除的时候,采用fullLock 其与LinkedBlockingQueue相比,其可以无界可以有界,而ArrayBlockingQueue是有界的,同时实现的数据结构不通过,一个采用数组、一个采用链表,同时采用的锁的方式不同,ArrayBlockingQueue采用一把锁,没有对生产和消
41 0
LinkedBlockingQueue源码学习