sv uvm中disable fork statement导致其余同名fork一起跳出循环解决方法

已于 2024-08-21 11:00:32 修改
阅读量186 收藏 1
点赞数 3
分类专栏： 芯片验证中的坑 文章标签： c++ 开发语言 汇编
于 2024-08-21 10:52:03 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_44246953/article/details/141366489
版权

在seq中timeout看门狗处理的时候，如果fork : timeout 被同时执行了多次，在其中一次disable了后，所有正在循环的fork : timeout都会退出，如下代码。我们期望的是循环的三次fork : timeout各自跳出。

方法一：使用process进程控制。fork join中的每一个进程都声明一个process。当某一个跳出后，杀掉其余两个进程，可以看到结果了循环了三次，每次都从第一个begin...end跳出，避免了直接从第一个循环的begin..end跳出后杀掉所有循环的fork : timeout

方法二：把fork后面的statement名称去掉，最后直接用disable fork。这种方式可能会引入另一个问题，会把同层次之前提交过的fork...join_any一起杀掉。将其外面再套一层fork...join，可以避免这个问题，但是会显得代码冗余

weixin_44246953
关注
专栏目录
【从零开始学习 SystemVerilog】4.2、SystemVerilog 进程—— disable fork join
努力，加油每一天鸭~
09-10 781
【从零开始学习 SystemVerilog】4.2、SystemVerilog 进程—— disable fork join
【System Verilog and UVM基础入门19】UVM_DISABLE_AUTO_ITEM_RECORDING用法说明
TommiWei的博客
07-18 505
寄存器访问时首先会将uvm_reg_bus_op转换为自定义的xaction形式，之后通过调用start_item和finish_item完成xaction的发送.发送完成之后，通过bus_req.end_event.wait_on()等待交互结束.调试ral模型时，调用write函数对寄存器进行写操作，发现操作没有完成.driver中在get_next_item之后也调用了item_done.开始以为是ral模型中参数配置错误导致的，分析完代码之后没有发现问题.
SystemVerlg : wait fork和disable fork的作用范围
热门推荐
xuan的博客
03-16 1万+
https://www.chipverify.com/systemverilog/systemverilog-wait-fork wait fork会阻塞调用它的进程，直到该父进程的所有子进程结束。 能够建立进程的只有initial块，always块，fork语句， begin块不能创建进程 即使该wait fork语句是在父进程的调用的任务中，若是该任务不是由fork， always， init...
UVM：10.3.3 disable fork 语句对原则操作的影响
07-10 1677
1.很多计数器的类型是W1C，写1清零。如果正在计数，同时清零操作，可能导致错误。 2.解决; 1)看似解决了问题，但是出现新情况使程序无法终止。disable fork 之后读取寄存器，会发现寄存器正在写，于是一直等待。 2）原因是寄存器模型时原子操作，如果只使用disable fork 野蛮终止，那么此原子操作尚未完成，虽然进程终止了，但是标志位并没有清除，从而出现错误。
disable fork
weixin_42916702的博客
02-03 851
自己最近用到disable fork 发现一个问题，xrun仿真器貌似不支持 fork : lab1 theat1; theat2; join_any disable lab1; 按照书上介绍，当theat1或者theat2任意一个发生后，终止未完成的fork进程，但是xrun仿真器仿真出来的结果是并没有终止未完成的进程 所以我们应该使用disable fork;来终止线程，这个可以把所有子线程也全部终止 ![graph TD; A-->B; B-->C;](https://img-bl
[SV]SystemVerilog進程控制詳解及案例分析 ---wait fork/disable fork
元直的博客
05-03 3219
SystemVerilog進程控制詳解及案例分析 前言：之前我們講過SystemVerilog進程之fork-join專題（Link），本文著重分析一下SV中進程的控制。 目錄 一、進程控制 1.1、wait-fork 1.2、Example-1: fork join_none 1.3、Example-2:...
[SV]SystemVerilog進程控制詳解及案例分析 —wait fork/disable fork
01-06
SystemVerilog進程控制詳解及案例分析                                                     —wait fork/disable fork        前言：之前我們講過SystemVerilog進程之fork-join專題（Link），本文著重分析一下SV中進程的控制。 目錄 一、進程控制  1.1、wait-fork  1.2、 Example-1: fork join_none  1.3、Example-2:  wait fork  1.4、disable-fork  1.5、Example-3: disable-fork
#systemverilog# 进程控制问题#（五）关于 disable fork陷阱篇1
那么菜的博客
07-09 684
请注意一种特殊情况：当begin...end 嵌套与 fork...join 中时，且他们之间没有其它任何额外进程，此时begin...end 中的语句还是顺序执行，此时相当于一个单进程。此例子就是一个典型的顺序块和并行块混合的例子。仿真结果: 只有thread_2_2_1 和 thread_2_2_2_1 线程被killed, 其它正常运行和退出。此例子就是一个典型的顺序块和并行块混合的例子。动态进程：fork...join_any 、fork...join_none 发起；
#systemverilog# 进程控制问题#（四）关于disable fork 陷阱篇2
那么菜的博客
05-27 1356
​加上fork begin - end join后，task fork_join_any_test()中有三个线程，分别是thread_parent, thread-1和thread-2, 而 thread-1和thread-2属于thread_parrent的子线程，这样task tick()中的线程则和thread_parrent同组，当杀死 thread-1和thread-2时，tick()则不会受到影响。如下例，第一个进程结束，其他进程则不执行，跳出fork，执行下面的语句。
SV学习笔记（十二）-线程控制
maopao_TT的博客
08-18 490
当信箱容量写满时，后续再写入的动作会被挂起，直到信箱中数据被读取，使得信箱有空间以后才可以继续写入。信箱mailbox可以使得进程之间的信息得以交换，数据可以由一个进程写入信箱，再由另一个进程获取。可以结合num()与get()或者put()，防止信箱为空或者为满的时候阻塞。将信息写入信箱，信箱满了会阻塞：put(data)，将data写到信箱中。信箱数据快照，能拿到信箱内的数据，但信箱内的数据不会减少：peek()从信箱中取出数据：get(data)，从信箱中取出数据赋值给data。
浅谈UVM/SV中的进程管理
liuwei848的博客
09-04 3126
在System Verilog中 initial/always/task/function/fork 等都会产生进程，产生的过程是自动产生的（process），用户不可以手动的产生process，但是可以引用已经存在的进程句柄，从而实现进程的管理， 在SV中 ，定义了class process ...
#systemverilog# 进程控制问题#（三）wait fork 最全使用场景及分析总结
那么菜的博客
01-07 2278
所以thread4的wait fork语句并不处于一个iniital块的子进程中，其父进程还是initial块，自然地，它阻塞了initial继续运行，等待前面挂起的子进程结束，前面挂起的最长的子进程时间是60，所以thread4_run_2的打印时间就是60。， 所以就产生了两个子进程（父进程是initial块），而在这个子进程即任务体中，又使用fork join_none 创建了一个子进程，其父进程则是这个任务体，它是一个子进程的子进程。总之，wait fork 只管辖调用进程和一级子进程。
(19)UVM 史上最强sequence相关宏操作总结
数字IC小白的日常修炼
11-19 2308
史上最强sequence相关宏操作总结 文章目录史上最强sequence相关宏操作总结 下面一段代码是对start()方法执行过程的自然代码描述，可以看出它们执行的顺序关系和条件: sub_seq.pre_start() (task) sub_seq.pre_body() (task) if call_pre_post==1 parent_seq.pre_do(0) (task) if parent_sequence!=null parent_seq.mid_do(this)
UVM 验证方法学之interface学习系列文章（二）千奇百态
那么菜的博客
05-15 732
UVM 验证方法学之interface学习系列文章（二）中级 一，ｉｎｔｅｒｆａｃｅ　千奇百态 １．参数化的interface 可以像参数化配置ｍodule一样，interface 也可以被参数化。例子如下： 多个参数之间，用＂，＂隔开。例如： interface ITERF#(parameter int a = 1, parameter bit b = 0, ....) ; ;; ;; endinterface 2. interface 内部信号的初始化 interface..
（09）System Verilog 父类与子类成员变量同名冲突
m0_46498597的博客
12-12 992
（09）System Verilog 父类与子类成员变量同名冲突 1.1 目录 1）目录 2）FPGA简介 3）System Verilog简介 4）System Verilog 父类与子类成员变量同名冲突 5）结语 1.2 FPGA简介 FPGA（Field Programmable Gate Array）是在PAL、GAL等可编程器件的基础上进一步发展的产物。它是作为专用集成电路（ASIC）领域中的一种半定制电路而出现的，既解决了定制电路的不足，又克服了原有可编程器件门电路数有限的缺点。
SV基础知识5---线程与线程间的通信
m0_59670134的博客
08-09 5026
1 线程的使用 线程就是独立运行的程序。verilog中对initial语句块主要有两种分组方式： begin ...end:中的语句顺序执行 fork...join中的语句以并发方式执行 2 线程的控制 在sv中，新增了fork...join_any fork...join_none 语句，其区别如下图 wait fork 和 disable fork wait fork :等待所有子线程结束 disable 线程名：指定需要停止的线程 disable fo...
systemverilog 之 disable fork
最新发布
pgl512228的博客
09-08 374
disable fork 用来终止这些并行进程。然而，直接使用 disable fork 会杀死当前作用范围内所有的并行进程，影响过于广泛。为了避免这种情况，可以使用以下两种方法来限制 fork 的范围：为 fork 加别名，或使用 guard fork。
SV语言-线程
qq_41946913的博客
10-19 112
线程是独立运行的程序。线程需要触发，可以结束或不结束。并行执行fork…jion —— 等块内所有语句执行完后才继续执行后续fork…jion_any —— 完成第一个语句后（最短），父进程才继续执行，其他线程也继续fork…jion_none —— 调度其块内语句时，父进程继续执行wait fork等待所有子线程结束disable 标签 停止线程disable fork 停止当前线程中衍生出来的所有子线程。
wait fork和disable fork
09-02
Fork 和 disable fork 是两个与进程相关的概念。 Fork 是指在操作系统中创建一个新的进程，该进程是原始进程（称为父进程）的副本。新的进程（称为子进程）将从父进程的当前状态开始执行，并且可以独立于父进程运行。子进程具有与父进程相同的代码和数据，但是在内存中有自己的独立副本。 Disable fork 指的是禁用创建新进程的能力。这可能是出于安全或性能等方面的考虑。当禁用 fork 后，应用程序将无法创建新的进程，即使尝试调用 fork 函数也会失败或返回错误。 需要注意的是，fork 和 disable fork 是特定操作系统或编程语言的概念，具体实现和用法可能略有不同。如果你有特定的背景或需求，请提供更多细节，我可以给出更具体的解释。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值