前提
今天下班时候和同事聊天偶然听到面试题“两个线程交替打印奇数和偶数”的实现,这里做一个复盘。
复盘
场景一:线程A打印奇数,线程B打印偶数,线程A和线程B交替打印,使用对象监视器实现。
场景二:线程A打印奇数,线程B打印偶数,线程A和线程B交替打印,使用JDK提供的并发类库实现。
这两个场景中,场景一是一种比较古老的同步方式,本质由JVM实现;场景二是JDK1.5引入JUC包之后简化了并发编程的前提下的更简便的实现。下面针对两个场景做对应的实现。
场景一
场景一中,线程A和线程B交替打印奇数和偶数,使用对象监视器实现,通俗来说:线程A或线程B只要有一者竞争锁成功,就打印++i,通知其他线程从等待集合中释放,然后自身线程加入等待集合并且释放锁即可。
public class OddEvenPrinter {
private final Object monitor = new Object(); private final int limit; private volatile int count;
public OddEvenPrinter(int limit, int initCount) { this.limit = limit; this.count = initCount; }
public void print() { synchronized (monitor) { while (count < limit) { try { System.out.println(String.format("线程[%s]打印数字:%d", Thread.currentThread().getName(), ++count)); monitor.notifyAll(); monitor.wait(); } catch (InterruptedException e) { } } } }
public static void main(String[] args) throws Exception { OddEvenPrinter printer = new OddEvenPrinter(10, 0); Thread thread1 = new Thread(printer::print, "thread-1"); Thread thread2 = new Thread(printer::print, "thread-2"); thread1.start(); thread2.start(); Thread.sleep(Integer.MAX_VALUE); } }
|
执行后的输出结果:
线程[thread-1]打印数字:1 线程[thread-2]打印数字:2 线程[thread-1]打印数字:3 线程[thread-2]打印数字:4 线程[thread-1]打印数字:5 线程[thread-2]打印数字:6 线程[thread-1]打印数字:7 线程[thread-2]打印数字:8 线程[thread-1]打印数字:9 线程[thread-2]打印数字:10
|
场景二
场景二中,如果需要使用JUC中提供的并发类库,可以考虑和对象监视器功能接近的可重入锁ReentrantLock
。具体代码如下:
public class OddEvenPrinterEx {
private final ReentrantLock lock = new ReentrantLock(); private final Condition condition = lock.newCondition();
private final int limit; private volatile int count;
public OddEvenPrinterEx(int limit, int initCount) { this.limit = limit; this.count = initCount; }
public void print() { lock.lock(); try { while (count < limit){ System.out.println(String.format("线程[%s]打印数字:%d", Thread.currentThread().getName(), ++count)); condition.signalAll(); try { condition.await(); } catch (InterruptedException e) { } } } finally { lock.unlock(); } }
public static void main(String[] args) throws Exception { OddEvenPrinterEx printer = new OddEvenPrinterEx(10, 0); Thread thread1 = new Thread(printer::print, "thread-1"); Thread thread2 = new Thread(printer::print, "thread-2"); thread1.start(); thread2.start(); Thread.sleep(Integer.MAX_VALUE); } }
|
执行后的输出结果:
线程[thread-2]打印数字:1 线程[thread-1]打印数字:2 线程[thread-2]打印数字:3 线程[thread-1]打印数字:4 线程[thread-2]打印数字:5 线程[thread-1]打印数字:6 线程[thread-2]打印数字:7 线程[thread-1]打印数字:8 线程[thread-2]打印数字:9 线程[thread-1]打印数字:10
|
眼尖的可能看到这里是先由thread-2打印奇数,然后thread-1打印偶数,这个和同步器框架的等待队列以及同步队列的竞争有关。
小结
这个问题有很多种解决思路,但是目前笔者没想到无锁实现方案。很多现成的(参考多个博客)方案里面都是使用各种多重同步或者加锁,其实意义是不大,实际上要理解对象监视器和同步器框架AQS的一些原理,那么实现起来自然比较简单。参看笔者之前写的两篇文章:
(本文完 c-1-d e-a-20190520)