fork语句遇见for循环语句

发布时间 2023-03-26 18:33:54作者: 程默白

一、没有automatic的fork-join_none

通常小白会这么写:

代码如下:

 foreach(a[i]) begin
      fork
        repeat(a[i]) #1ns;
        $display("a[%0d] = %0d, @%0t",i,a[i],$time);
      join_none
    end

结果如图:

由图可知,有两个问题:

  • 打印时间全部为0时刻:因为使用的fork-join_none语句,所以延迟语句不会阻塞$display语句的进行,因此在0时刻foreach遍历后直接进行了打印,时间显示为0时刻。
  • 打印结果全部为a[5] = 0:因为在0时刻通过foreach的遍历,同时开辟了五个延迟线程和五个/$display线程,接下来需要确定i的值进行打印;而此时i在在最后一次遍历(i =4 )后由于加1变成了i = 5;因此五个打印线程“寻找”到的i为5,但a[5]并没有赋值,因此默认为0,进行了打印。

二、 有automatic的fork-join_none

先解决打印结果的问题,通过使用automatic语句:

代码如下:

foreach(a[i]) begin
      automatic int j=i;
      fork
       repeat(a[j]) #1ns;
        $display("a[%0d] = %0d, @%0t",j,a[j],$time);
    join_none
    end

结果如图:

由图可知:

  • 打印时间全部为0时刻:原因与1一致,不再赘述
  • 打印结果为正常遍历输出:通过automatic语句,将每次的i赋值为j,这样相当于把i“暂存”起来,因此可以正确的输出。

三、加上begin-end

再来解决打印时间的问题,通过使用begin-end语句:

代码如下:

 foreach(a[i]) begin
      automatic int j=i;
      fork
        begin
        repeat(a[j]) #1ns;
        $display("a[%0d] = %0d, @%0t",j,a[j],$time);
        end
      join_none
    end

结果如图:

由图可知,打印结果和打印时间全部正常,这是因为用begin-end语句将延时语句和打印语句从并行执行改成串行执行,因此将会在等待延时后再打印。

四、没有automatic的fork-join

代码如下:

 foreach(a[i]) begin
     fork
         repeat(a[i]) #1ns;
         $display("a[%0d] = %0d, @%0t",i,a[i],$time);
    join
    end

结果如下:

由图可知,虽然没有automatic语句但是打印结果和打印时间全部正常,这是因为fork-join会一直阻塞直到延时语句和打印全部执行。