如何杀死一个线程，停止 Raku 中的承诺执行

Question

我正在等待停止（发送异常）到 SIGINT 上正在运行的承诺。 doc 中给出的示例退出整个过程，而不仅仅是一个工人。

有人知道如何“杀死”、“取消计划”、“停止”正在运行的线程吗？

这是针对p6-jupyter-kernel 问题或REPL issue。

当前的解决方案是重新启动 repl 但不杀死阻塞的线程

await Promise.anyof(
  start {
      ENTER $running = True;
      LEAVE $running = False;
      CATCH {
          say $_;
          reset;
      }
      $output :=
        self.repl-eval($code,:outer_ctx($!save_ctx),|%adverbs);
  },
  $ctrl-c
);

Answer 1

短版：不要为此使用线程，使用进程。一般来说，杀死正在运行的进程可能是在这种情况下可以实现的最好的事情。

长答案：首先，有助于澄清问题中的一些困惑。

首先，没有“正在运行的Promise”之类的东西； Promise 是一种用于传达异步操作结果的数据结构。 start 块实际上在做三件事：

1. 创建一个Promise（它的计算结果）
2. 安排一些代码运行
3. 安排运行该代码的结果通过保留或破坏Promise 来反映

这听起来可能有点学术，但确实很重要：Promise 不知道最终会保留或破坏它。

其次，start 块不是 - 至少对于内置调度程序 - 由线程支持，而是在线程池上运行。即使您可以找到一种“取出”线程的方法，线程池调度程序也不会对它希望从工作队列中吃掉的线程之一消失感到满意。您可以编写自己的调度程序，该调度程序确实每次都使用新线程返回工作，但这仍然不是一个完整的解决方案：如果用户请求执行自己的调度工作的代码片段，然后@987654329 @s 那个？然后没有一个线程可以杀死以真正使事情停止。

但是，让我们假设我们确实设法解决了所有这些问题，并且我们得到了一个列表，其中列出了一个或多个我们真的想在没有他们合作的情况下杀死的线程（合作情况相当容易；我们使用 @987654330 @ 并定期进行代码轮询，die 如果取消 Promise 被保留/损坏）。

任何此类机制如果希望能够停止在任何事物（不仅仅是计算，还有 I/O、锁定等）上阻塞的线程，都需要来自底层运行时（例如 MoarVM）的深度集成和协作。例如，尝试取消当前正在执行垃圾收集的线程将是一场灾难（很可能会使整个 VM 死锁）。其他不幸的取消时间可能会导致内存损坏，如果它正在执行一个不能安全中断的操作，如果被杀死的线程持有锁，则会导致其他地方的死锁，等等。因此，需要某种安全指向机制。 （我们在 MoarVM 中已经有了类似的东西来知道什么时候对 GC 是安全的，但是取消意味着不同的需求。它可能会横切 VM 代码库的许多部分。）

这还不是全部：同样的情况也在 Raku 语言级别上重复出现。例如，Lock::Async 不是底层运行时知道的一种锁。可能最好的办法是尝试拆除调用堆栈并运行所有LEAVE 移相器；这样就有希望了（如果人们使用.protect 方法；如果他们只是明确地调用lock 和unlock，我们就完了）。但即使我们设法不泄漏资源（这已经是一个很大的问题了），我们仍然不知道——一般来说——我们杀死的代码是否以任何一种一致的状态离开了世界。在 REPL 上下文中，这可能会导致访问相同全局状态的后续执行产生可疑的结果。这可能很烦人，但真正让我害怕的是人们在生产系统中使用这种取消机制——如果我们实现它，他们就会这样做。

因此，有效地实现这样的功能需要在运行时和 Rakudo 本身上做大量困难的工作，结果将是一个巨大的枪（我什至没有列举所有可能出错的事情，只是想到的前几个）。相比之下，杀死一个进程会清空所有资源，并且一个进程有自己的内存空间，所以也不存在一致性问题。

Answer 2

如果不想停止线程，目前没有办法停止它。

线程可以每隔一段时间检查一次标志，如果设置了该标志，则决定将其退出。如果我们有办法从另一个线程在一个线程内抛出异常，那就太好了。但我们没有，至少据我所知没有。