SystemVerilog中为何需要第二个fork？替代写法是否可行？

为什么需要第二个fork？ #

SystemVerilog里的wait fork命令，会等待当前进程作用域内所有通过fork-join_none/fork-join_any启动的子进程全部完成。

原代码里第一个fork-join_none启动了一个永远不会结束的进程process_that_will_never_end()。如果不套第二个fork begin ... join，直接写循环和wait fork，那这个wait fork的作用域会包含第一个fork启动的永久进程——这样wait fork会一直等那个永远结束不了的进程，程序直接卡死。

套上第二个fork begin ... join后，相当于创建了一个独立的子进程作用域：循环启动的40个process_that_must_end(k)都属于这个新作用域，而wait fork只会等待这个作用域内的子进程完成，完全不受第一个永久进程的影响，这样就能精准等待这40个必须结束的任务。

替代写法是否可行？ #

完全不可行。

替代写法里没有第二个fork，wait fork和第一个fork-join_none处于同一个作用域。这时候wait fork会等待该作用域下所有子进程，包括那个永远跑不完的process_that_will_never_end()，导致wait fork永远无法完成，程序彻底卡住，达不到只等待40个任务的目的。

内容的提问来源于stack exchange，提问作者Verify