在systemveriog中,存在三种并发执行语句,分别是fork..join,fork...join_any和fork..join_none,其中只有fork...join_none不会发生阻塞,也就是说,fork...join_none块中的语句如果和其它语句在同一个begin...end块中,不会因为代码出现的顺序而影响执行的时间,fork...join语句会并发执行其中的语句,并且阻塞其它语句,只有fork...join块执行完成之后才能执行其它语句,fork...join_any块也会阻塞其它语句,但是块中的一条语句执行完成之后就会执行其它语句。
fork...join_none语句的完全并发的特性会带来一些其它问题。
for(i=0; i < 3; i++)
fork
#5 $display("@0%dtime creat %0d process",$time,i);
join_none
上面的语句执行的结果是 输出三句 @5 creat 3 process。并不会出现每创建一个线程就会打印一个i,这个小bug是由于ork..join_none语句的非阻塞特性,每一个线程创建的时候不会立即执行,而是动态的对线程进行创建,等到仿真时间的最后时刻再执行这些动态创建的线程,但是由于变量i是所有线程共享的一个全局变量,因此创建线程的循环过程中会对i的值产生影响,因此产生了错误的结果。解决的办法也很简单,只要创建线程的同时也创建一个自动保存的变量用来保存线程的序号,就可以实现并行创建线程,同时每个线程有自己独立的自动变量了。