如果 EDT 是一个单独的线程,为什么 invokeLater 在这个例子中等待主线程完成?

If EDT is a separate thread, why does invokeLater wait for the main thread to finish in this example?

所以如果事件调度线程是一个独立于主线程的线程,那让我认为下一个代码会输出

Before
Runnable
true
After

但是当我 运行 它时,就好像 EDT 在 运行 将 invokeLater(..) 方法中的代码块 运行 之前等待主线程完成。输出是:

Before
After
Runnable
true

代码:

public class Main {
    public static void main(String[] args) {
        System.out.println("Before");
        SwingUtilities.invokeLater(() -> {
            System.out.println("Runnable");
            System.out.println(SwingUtilities.isEventDispatchThread());
        });

        System.out.println("After");
    }
}

但是,如果我将 invokeLater(..) 替换为 invokeAndWait(..),那么我会得到

Before
Runnable
true
After

这让我觉得 EDT 并不是真正的独立线程,或者至少在这个例子中它的行为或者只是在我看来它不是。你怎么解释这个?

它是一个单独的线程,您只是要求当前线程调用 EDT 上的代码并等待它执行。

这就像显式启动一个线程:

Thread t = new Thread(() -> { ... });
t.start();

然后等待它完成:

t.join();

How do you explain this?

当您试图解释所观察到的涉及线程的行为时,同样的解释适用于几乎所有问题:

线程是复杂的野兽,一般添加代码观察正在发生的事情会影响线程,线程作为一个一般概念是不可重复的(事情取决于你的音乐播放器中播放的歌曲到月相) ,它并不像您想象的那样工作,所提供的解释和心智模型过于简单化,站不住脚。

这里不解释一下,还好:

  1. 是的,它确实是一个单独的线程。你总是可以 运行 Thread.currentThread() 看到这个。

  2. 线程不是什么巫毒魔法瞬间的东西,你的 CPU 并不是秘密地一批完全独立的计算机。

invokeLater 调用获取您的代码,将其添加到队列中,然后 ping EDT 以唤醒并处理该队列,该队列现在有 1 个项目。这个队列有很多流量;当您将另一个 window 移动到您的上方时,EDT 会收到重新绘制的信号。当您单击一个按钮时,它也会被添加到队列中,等等。

不管该队列上的流量如何,唤醒线程的行为都不是即时的。你的主线程开始写 After 很多 更快(不是说人类可以观察到它,计算机 运行 比我们观察到的要快几百万倍与我们的眼球)比你的计算机系统实际唤醒那个线程。

在里面放一颗炸弹看看效果。例如,在 sysout("After"); 之前添加 Thread.sleep(1000); 并观察会发生什么。

当然,当您使用 invokeAndWait 时,您会观察到您所做的事情 - 这将做完全相同的事情(将您的代码添加到队列中,并向线程发送 ping 以唤醒),但是然后它会冻结你的主线程。发送到 EDT 的代码将更新一些内部布尔值(“是的,我有 运行 结束”,并将 ping 发送回主线程以唤醒,检查该布尔值,然后继续) .因此,它 不能 继续,直到您的代码(打印 Runnable,并且为真)具有 运行.

换句话说:

你的第二个片段总是输出你写的内容。

你的第一个片段会输出,好吧,谁知道呢。在极少数情况下,系统可以自由打印 B/R/t/A,或 B/A/R/t,甚至 B/R/A/t。作为一个额外的问题,System.out 很重并导致同步,所以如果您在分析线程的同时进行打印,您观察到的东西通常是完全不相关的。

事实上,你最初的假设是不正确的。我们从您的代码中唯一可以假设的是,“Before”将在其他任何内容之前输出,而“Runnable”将在“true”之前输出。

EDT 代码的执行将在它发生时发生,并且无法保证何时会与您的其他代码相关。

实际上,EDT 代码很少会在“After”代码执行之前实际执行。在主线程中的一行代码可以 运行 之前,将作业提交给 EDT 并让其接收和 运行 的开销太大了。所以我会预料到你实际看到的输出。

这里真正重要的要点是,除非您专门设计它,否则您永远不应该假设线程之间的任何操作顺序,并且您永远不应该对 EDT 这样做。