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