SystemVerilog线程之fork...join专题
Q:fork-join_none开辟的线程在外部任务退出后也会结束吗?
A:后台线程不会结束,任何由fork开辟的线程(join、join_any、join_none),无论其外部任务(task)何时结束也无论fork何时跳转执行后面的程序,都不会将其开辟的线程自动结束。
A:对于这些后台线程,需要考虑他们接下来是否会影响你的环境(比如修改信号、变量),或由于反复开辟线程而形成“僵尸线程”。
A:比较安全的做法是在fork满足要求之后,通过变量、旗语或者更直接的disable fork,去终止这些线程。
A:对于有握手、仲裁需求的线程(比如sequence发送激励),不应该粗鲁的使用disable fork结束这些线程,而应该在县城内部,在其完成握手、仲裁之后的安全阶段结束线程,否则容易引起死锁(dead-lock)。
Q2: 父线程和子线程之间的执行关系是什么?
A:父线程用fork-join_none开辟子线程后,父线程如果提前结束,二开辟的子线程此时还未结束,那么它还将继续执行。如果父线程还未结束时,通过disable fork语句来终止父线程,那么子线程也将一并被终止。
A:父线程即便退出,后台的子线程也将继续执行,所以在必要时及时终止子线程,避免出现“僵尸线程”。
Q3:disable fork和disable statement有什么差别?
A:disable statement不仅可以终止fork触发的线程,还可以终止具名(named)的进程块(process)和方法(task)。disable可以在该进程或者方法内部来停止该进程或者方法,也可以在其他进程或方法停止外部的进程或者方法。
A:这种停止的方法比disable fork更为自由。disable fork停止的是其所在进程或者方法中的fork触发的所有子线程,但他无法停止在他的范围以外的子线程。
A:disable statement在停止目标时查找的是静态线索,即所有具备该名称的进程或方法;disable fork在停止目标时的范围是其所在线程及其以下的所有子线程。
A:
Q4:嵌套的fork有没有可能被disable fork误杀呢
A:不会有这种情况,如果能够明确disable fork的边界那么不会误伤到其他相同实例的fork线程。但是,如果是按照线程名字使用disable statement,则并行的多个实例之间就可能会有误伤的情况,那么disable fork就有存在的必要性了。
A:使用disable fork时清楚识别所在线程的边界是正确使用他的关键。
Q5:使用for配合fork-join_none触发多个线程时需要注意什么?
A:for循环配合fork-join_none可以循环触发多个线程,但如果这些线程之间有数据公用的情况,那么实现的场景可能不是我们期望的。为了避免在并行线程之间出现数据公用的情况,就要考虑将调用方法(function、task)及传入的参数都声明为automatic属性。
A:给方法添加automatic描述,仅在module、interface、package中需要这么做,对于class的方法则是不需要额外添加的。
A:对于避免变量公用的情况,for循环无论在module、interface、package还是class中都是需要在其内部使用automatic变量来暂存外部变量,在将该automatic变量作为参数传入fork-join_none触发线程。