SystemVerilog(二):IPC 触发线程、阻塞线程、等待线程竞争

一、触发线程、阻塞线程、等待线程竞争

程序:sv P193 例7.20

先放结论:

1、触发线程早于阻塞线程、等待线程,则后两者不会触发。

2、同一仿真时间下,触发线程执行顺序在前,阻塞线程不会触发,等待线程触发。

 解析:@阻塞事件控制边缘敏感,边缘触发步长极短,阻塞线程会错过触发。

3、阻塞线程、等待线程仿真时间或执行顺序早于触发线程,则两线程会触发。 

二、IPC线程同步通信 概念整理

1、竞争:一个事件同一时间,a线程阻塞事件,b线程触发事件,则发生竞争。

2、事件控制方式:@边缘敏感,wait 电平敏感

3、竞争中,若触发执行在前,则阻塞不被解除。

4、事件是静态的同步对象句柄,可以像参数一样在子程序中传递。事件可以赋值给其他事件,两个事件句柄指向同一个同步化对象。

 

参考文献:https://blog.csdn.net/weixin_43249032/article/details/84035517  SystemVerilog: 事件控制event

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章