java - Thread.stop 和 friend 在 Java 中安全吗？

Question

stop() , suspend() , 和 resume()在 java.lang.Thread已弃用，因为它们是 unsafe . Oracle 推荐的解决方法是使用 Thread.interrupt() ，但这种方法并不适用于所有情况。例如，如果您调用的库方法没有显式或隐式检查 interrupted flag，你别无选择，只能等待调用完成。

所以，我想知道是否有可能描述调用 stop() 是(可证明)安全的情况。在一个线程上。例如，stop() 是否安全？一个线程只调用 find(...)或 match(...)在 java.util.regex.Matcher ?

(如果有任何 Oracle 工程师正在阅读这篇文章......一个明确的答案将不胜感激。)

编辑 : 简单重申你不应该打电话的口头禅的答案stop()因为它已被弃用，不安全，无论是 漏点这个问题。我知道在大多数情况下它确实是不安全的，如果有可行的替代方案，您应该始终使用它。

这个问题是关于安全的子集情况。具体来说，那个子集是什么？

Answer 1

这是我试图回答我自己的问题。

我认为以下条件应该足以使用 Thread.stop() 安全停止单个线程:

在线程停止的情况下，线程执行不得创建或改变其他线程可能可见的任何状态(即 Java 对象、类变量、外部资源)。

线程执行不得使用notify在其正常执行期间到任何其他线程。

线程不得start或 join其他线程，或者使用 stop 与之交互, suspend或 resume .

(上面的术语线程执行涵盖了所有应用程序级代码和线程执行的所有库代码。)

第一个条件意味着停止的线程不会使任何外部数据结构或资源处于不一致状态。这包括它可能在互斥锁中访问(读取)的数据结构。第二个条件意味着可停止线程不能让其他线程等待。但它也禁止使用除简单对象互斥锁之外的任何同步机制。

一个可停止的线程必须有办法将每个计算的结果传递给控制线程。这些结果是由可停止线程创建/改变的，所以我们只需要确保它们在线程停止后不可见。例如，结果可以分配给 Thread 对象的私有(private)成员，并用一个标志“保护”，该标志由线程原子地表示“完成”。

编辑 : 这些条件非常严格。例如，要安全停止“正则表达式评估器”线程，如果我们必须保证正则表达式引擎不会改变任何外部可见状态。问题是它可能会这样做，具体取决于您实现线程的方式!

Pattern.compile(...)方法可能会更新已编译的静态缓存
模式，如果他们这样做了，他们会(应该)使用互斥锁来做到这一点。 (实际上，OpenJDK 6.0 版本不缓存模式，但 Sun 可能会改变这一点。)

如果您试图避免 1) 通过在控制线程中编译正则表达式并提供预先实例化的 Matcher ，那么正则表达式线程确实会改变外部可见状态。

在第一种情况下，我们可能会遇到麻烦。例如，假设使用 HashMap 来实现缓存，并且在重组 HashMap 时线程被中断。

在第二种情况下，只要 Matcher 就可以了没有被传递给其他线程，前提是 Controller 线程没有尝试使用 Matcher停止正则表达式匹配器线程后。

那么这给我们留下了什么？

好吧，我想我已经确定了理论上可以安全停止线程的条件。我还认为理论上可以静态分析线程的代码(及其调用的方法)，以查看这些条件是否始终成立。但是，我不确定这是否真的实用。

这有意义吗？我错过了什么吗？

编辑 2

当您考虑到我们可能试图杀死的代码可能不受信任时，事情会变得更加棘手:

我们不能依赖“ promise ”；例如不受信任的代码上的注释，它要么是可杀的，要么是不可杀的。

我们实际上需要能够阻止不受信任的代码做一些会使其无法杀死的事情……根据确定的标准。

我怀疑这将需要修改 JVM 行为(例如，实现运行时限制哪些线程可以锁定或修改)，或者 Isolates JSR 的完整实现。这超出了我认为的“公平游戏”的范围。

因此，让我们暂时排除不受信任的代码案例。 或者至少，承认恶意代码可以使自己无法安全地杀死，并将这个问题放在一边。