Systemverilog中interprocess间synchronization和communication的记录

1. 同步和通讯机制的种类

systemverilog提供了三种方式:named event type(->, @)、semaphore、mailbox。其中semaphores和mailbox虽然是built-in type,但它们是class,且可以作为base classes被扩展为更高level的class。这些built-in class放在built-in std package里,因此可以在任何scope里被使用的。

2. Semaphores(旗语)

semaphores像是一个水桶,只有获取到水桶里的key,才能继续执行。semaphores通常用于mutual exclusion、access control to shared resources和basic synchronization。

Systemverilog中interprocess间synchronization和communication的记录_第1张图片

3. Mailboxes(邮箱)

mailbox是一种通讯机制,可以用于processes之间进行message的交换,data可以通过mailbox从一个进程送到另一个进程。

mailbox有bounded和un-bounded两种。Bounded mailbox在满了之后,继续put会被block住。un-bounded mailbox不会满,一直put都可以的。

mailbox也可以分为generic mailbox和Parameterized mailboxes,这两种的区别是:generic里可以放各种类型的data,因此需要在runtime时做type check,而parameterized mailbox只能放特定的type,所以compiler在编译时就进行检查的。parameterized mailboxes和parameterized class/module/interface使用同样的parameter机制,定义如下:mailbox #(type = dynamic_type)。它的内置方法和generic mailbox一模一样。

Systemverilog中interprocess间synchronization和communication的记录_第2张图片

4. named events

Named event提供对潜在synchronization对象的句柄。当一个process在等待event触发时,该process会被放在synchronization对象维护的queue中。process可以通过@操作符或检查triggered state的wait()来等待named event。

wait_order可以用于检测几个event发生的顺序。

event可以通过赋值为null来释放掉,如:

另外一点就是event变量的句柄可以用logically equality和case equality来进行比较的,如:

Systemverilog中interprocess间synchronization和communication的记录_第3张图片

你可能感兴趣的:(SystemVerilog,Systemverilog,synchronization,Semaphore,Mailboxes,Event)