如果 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?
当您试图解释所观察到的涉及线程的行为时,同样的解释适用于几乎所有问题:
线程是复杂的野兽,一般添加代码观察正在发生的事情会影响线程,线程作为一个一般概念是不可重复的(事情取决于你的音乐播放器中播放的歌曲到月相) ,它并不像您想象的那样工作,所提供的解释和心智模型过于简单化,站不住脚。
这里不太解释一下,还好:
是的,它确实是一个单独的线程。你总是可以 运行 Thread.currentThread()
看到这个。
线程不是什么巫毒魔法瞬间的东西,你的 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 这样做。
所以如果事件调度线程是一个独立于主线程的线程,那让我认为下一个代码会输出
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?
当您试图解释所观察到的涉及线程的行为时,同样的解释适用于几乎所有问题:
线程是复杂的野兽,一般添加代码观察正在发生的事情会影响线程,线程作为一个一般概念是不可重复的(事情取决于你的音乐播放器中播放的歌曲到月相) ,它并不像您想象的那样工作,所提供的解释和心智模型过于简单化,站不住脚。
这里不太解释一下,还好:
是的,它确实是一个单独的线程。你总是可以 运行
Thread.currentThread()
看到这个。线程不是什么巫毒魔法瞬间的东西,你的 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 这样做。