SynchronousQueue如何实现线程间零容量队列下的变量同步传递？

本文共计891个文字，预计阅读时间需要4分钟。

《SynchronousQueue并非传统意义上的队列，它没有容量，也不存储元素。一个线程想放入数据，必须同时有另一个线程在等待取数据；反之亦然。本质上，它是两个线程之间手递手完成数据交换的同步通信方式。》

为什么说它是“零容量”的？

它的内部不保留任何待处理的元素。调用 put() 会阻塞，直到另一个线程调用 take()；同样，take() 也会阻塞，直到有线程调用 put()。没有缓冲、没有排队、没有中间状态——只有配对成功那一刻的数据交接。

• 构造时传入 true（公平模式）：按等待顺序匹配线程，先到先服务
• 默认非公平模式：匹配更灵活，但不保证 FIFO
• 不能调用 peek()、size() 或 isEmpty() 获取有意义的结果，因为始终为空

典型使用场景：生产者-消费者严格一对一

适合需要强同步、低延迟、且天然成对的任务协作，比如：

• 工作窃取线程池中，空闲线程向忙碌线程“借任务”时的临时交接
• 异步回调中，将结果从后台线程直接交到等待的主线程手中（避免额外队列和唤醒开销）
• 实现“信号量式”的线程协调：一个线程发信号（put(null)），另一个接收（take()），完成一次握手

底层怎么做到“直接交付”？

核心靠一个共享的栈或队列结构（公平/非公平对应不同实现），记录等待的线程节点。