在systemverilog中正确使用"禁用fork"

Question

我有类似于跟随伪代码的东西:

for (lets say 10 iterations)
begin
// Do some configuration changes
    fork
        begin
        ///apply input to design
        end
        begin
        while (1)
        /// at particular point update expected status / values
        end
        begin
        while (1)
        /// read status and verify with expected values
        end
    join_any
end

从代码:只有输入的应用程序可以解除fork,因为其他2个线程正在工作while(1)我想在每次迭代之间禁用所有线程,即一旦应用了一个输入流 - 禁用所有生成的线程,直到下一次迭代开始(使用新配置)

所以我修改了上面的代码

 ....
 join_any
 disable_fork
 end

然而,这似乎也禁用了循环以及类似的东西,我不明白,但效果是测试被挂起.有人可以解释一下原因和解决方案吗？

Answer 1

"disable fork"不仅会杀死fork ... join_any启动的进程,还会杀死执行disable-fork的同一进程的后代的任何其他进程.如果您在此过程的生命周期的早期启动了任何其他进程(例如,使用fork ... join_none),那么其他进程也将被终止.

您可以通过使您的fork ... join_any及其后来的disable-fork在其自己的新子进程中运行来轻松地防止这种情况发生.这限制了disable-fork的效果,因此它只会影响您关注的新启动的进程,并且保证不会产生其他不需要的影响.

通过将整个混乱包含在"fork begin ... end join"中这样做:

fork begin // isolate the following code as a single child process
  fork  // launch the processes you wish to manage
    apply_input();
    update_status();
    verify_status();
  join_any // kill off the *_status threads when apply_input terminates
  disable fork;
end join // end of child process isolation

这是fork ... join_any和fork ... join_none的一个众所周知的问题.最近在Verification Guild论坛上进行了讨论,并在Sutherland和Mills的书"Verilog and SystemVerilog Gotchas"的第79和80节中进行了描述.

将"fork begin"和"end join"放在单行上是不寻常的,但我喜欢它作为一种方式使我非常明显地同步分配一个子进程.通常这将是一件无用的事情,但在这种情况下,它是必不可少的.

这个成语很常见,很容易出错,你可能更喜欢将它封装在一对宏中(我不喜欢这个,但是......):

`define BEGIN_FIRST_OF fork begin fork
`define END_FIRST_OF join_any disable fork; end join

现在你可以写...

`BEGIN_FIRST_OF
    apply_input();
    update_status();
    verify_status();
`END_FIRST_OF

其中名称"...... FIRST_OF"旨在反映与做同样事情的Specman(e)语言结构的相似性.