Question

我正试图从“信号量小书”中为“独家队列”问题编写解决方案。问题陈述如下：

想象一下，线程代表舞厅舞者，两种舞者，领袖和追随者在进入舞池之前排成两排。当领导者到达时，它会检查是否有跟随者在等待。如果是这样，他们都可以继续。否则等待。类似地，当跟随者到达时，它会检查领导者并相应地继续或等待。此外，还有一个限制，即每个领导者只能与一个追随者同时调用舞蹈，反之亦然。

Book提到它是使用信号量的解决方案，但我试图在Java中使用Object lock来解决它。这是我的解决方案：

ExclusiveQueuePrimitive.java：

import java.util.ArrayList;
import java.util.List;
import java.util.concurrent.locks.Lock;
import java.util.concurrent.locks.ReentrantLock;

public class ExclusiveQueuePrimitive {

    public static void main(String[] args) throws InterruptedException {
        System.out
                .println("-------------------------------Application START-------------------");
        final int NUM_RUN = 1000;
        // for (int j=0; j<NUM_RUN; j++) {
        for (;;) {
            Counters c = new Counters();
            int NUM_THREADS = 5;

            List<Thread> threads = new ArrayList<Thread>();

            for (int i = 0; i < NUM_THREADS; i++) {
                Thread tl = new Thread(new Leader(c, i + 1));
                Thread tf = new Thread(new Follower(c, i + 1));
                threads.add(tf);
                threads.add(tl);
                tf.start();
                tl.start();
            }
            for (int i = 0; i < threads.size(); i++) {
                Thread t = threads.get(i);
                t.join();
            }
        }
        // System.out.println("--------------------------------Application END-------------------");
    }
}

class Counters {

    public int leaders = 0;
    public int followers = 0;
    //public final Lock countMutex = new ReentrantLock();

    public boolean printed = false;
    public Lock printLock = new ReentrantLock();



    public final Lock leaderQueue = new ReentrantLock();
    public final Lock followerQueue = new ReentrantLock();

    public void dance(String str) {
        System.out.println("" + str);
    }

    public void printLine() {
        System.out.println("");
    }
}

class Leader implements Runnable {

    final Counters c;
    final int num;

    public Leader(Counters counters, int num) {
        this.c = counters;
        this.num = num;
    }

    @Override
    public void run() {

        synchronized (c.leaderQueue) {
            try {
                if (c.followers > 0) {

                        c.followers--;
                        synchronized (c.followerQueue) {
                            c.followerQueue.notify();
                        }


                } else {
                    c.leaders++;

                    c.leaderQueue.wait();
                }
                c.dance("Leader " + num + " called dance");
            } catch (InterruptedException e) {

                e.printStackTrace();
            } 

        }
    }
}

class Follower implements Runnable {

    final Counters c;
    final int num;

    public Follower(Counters counters, int num) {
        this.c = counters;
        this.num = num;
    }

    @Override
    public void run() {

        synchronized (c.followerQueue) {
            try {
                if (c.leaders > 0) {
                    synchronized (c.leaderQueue) {
                        c.leaders--;
                        c.leaderQueue.notify();
                    }
                } else {
                    c.followers++;
                    c.followerQueue.wait();
                }
                c.dance("Follower " + num + " called dance");

            } catch (InterruptedException e) {
                e.printStackTrace();
            } 

        }
    }
}

然而，在运行一段时间后，它会挂断。你能告诉我僵局在哪里以及如何解决它。此外，我希望在完成一对Leader和Follower之后打印一个新行。我怎么能这样做？

Answer 1

这是一个典型的僵局：

class Leader {
    synchronized (c.leaderQueue) { ...
        synchronized (c.followerQueue) { ... }
    }
}

class Follower {
    synchronized (c.followerQueue) { ...
        synchronized (c.leaderQueue) { ... }
    }
}

防止这种情况最简单的方法是以相同的顺序抓住锁（顺便使用Lock和synchronized并不是一个好习惯）。还有其他技术可以检测死锁，但在您的任务环境中，更改算法应该更有利。

开始简单 - 使用单一锁来使逻辑正确，然后做更多智能事情来提高并发性而不破坏正确性。

Answer 2

c.followerQueue上有一个互斥锁，c.leaderQueue上有一个互斥锁。一方面首先获得领导者队列，然后获取跟随者队列，另一方面首先获得跟随者队列。

这很糟糕。如果一方抓住了从动锁，而另一方抓住了领导锁，则双方都无法进行。您必须避免锁定获取的顺序不一致。

要在每一对完成后打印一条线，只需在领导者或跟随者中打印，但不能同时打印两者。领导者整理的代码意味着追随者也完成了......

Java并发：独占队列问题

2 个答案: