fork语句遇见for循环语句

2023-04-28,,

一、没有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会一直阻塞直到延时语句和打印全部执行。

fork语句遇见for循环语句的相关教程结束。

《fork语句遇见for循环语句.doc》

下载本文的Word格式文档,以方便收藏与打印。