Question

disable fork语句用来中止调用进程的所有活跃的子进程。

disable fork的语法如下：

disable fork; // 引用自附录A.6.5

disable fork语句用来中止调用进程的所有活跃的子进程，以及子进程的所有子进程。也就是说，如果任何子进程还具有它们自己的子进程，那么disable fork语句也会将它们中止。

在下面的例子中，任务get_first产生了一个任务的三个版本，每一个都用来等待一个特定的设备（1、7或13）。任务wait_device等待一个特定的设备准备就绪，然后返回设备的地址。当第一个设备有效的时候，get_first任务应该杀死正在执行的所有进程然后继续执行。

task get_first(output int adr);
    fork
        wait_device(1, adr);
        wait_device(7, adr);
        wait_device(13, adr);
    join_any
    disable fork;
endtask

Verilog支持disable结构，当它应用于由进程正在执行的命名块的时候，它会将这个进程中止。disable fork语句与disable的不同之处在于，disable fork会考虑动态的进程父子关系，而disable则使用被关闭块的静态的语法信息。因此，disable应该中止执行一个特定块的所有进程，无论进程是否由调用线程产生分支，而disable fork则仅仅中止那些由调用线程产生的进程。