erlang - 为什么 spawn_link 在 Erlang 中是必需的？

Question

我知道如果你在 spawn 后跟链接，进程可能同时终止。为什么这是个问题？无法链接看到您正在尝试链接到一个已经死亡的进程？在那种情况下，它不能表现得好像远程进程在调用链接后立即死亡吗？

我认为，如果您可以单独执行 spawn 和 link，而不必在一个原子函数中同时执行它们，那会很好，因为 a) 这会使语言更加正交(spawn_link 与 spawn 和 link 严重重叠)b ) 如果我的启动函数基本上只是 spawn 的包装器，我还需要提供 start_link。所以非正交性是病毒式的。呸!

Answer 1

请记住，链接是双向的，因此考虑进程 A 生成进程 B 但在能够链接到 B 之前死亡的情况。在这种情况下，B 不知道它没有链接到 A，并且它不在 A 死时死去。

有了 spawn_link，这种情况就不会发生，因为 spawn 和 link 要么以原子方式同时发生，要么都失败。