semaphore(常被翻译为旗语)是SystemVerilog中的内建类,主要用于实现多进程对于共享资源的协同访问控制。从使用上来说,semaphore类似于一个存储桶,当我们为semaphore分配内存时,会同时创建一定数目的key到存储桶中。存储桶在创建时可以指定一定数目的key,进行协同访问时,需要通过存储桶中key的存放与获取实现交互。一般情况下,必须首先获得一把或多把桶中的key后,后续程序处理完成后,需要将获取的key归还给存储桶,如果此时另一个进程试图获取桶中的资源,必须等到桶中有足够多的key时才能进行,否则其后的程序会一直阻塞。
semaphore的语法格式如下:
semaphore smp;
在semaphore中常用的方法如下表所示。
方法名 |
说明 |
new() |
[function]创建一个包含指定数目key的旗语对象 |
get() |
[task]从存储桶中获取对应数目的key |
put() |
[void function]将指定数目的key放回至存储桶中 |
try_get() |
[int function]试图获得指定数目的key而不带阻塞其后程序的执行 |
然而这些方法在使用时,还有很多意想不到的用法,下面将针对这些常用方法的特殊用法示例说明。
1 new()
格式如下:
semaphore_name = new(number_of_keys)
其中number_of_keys是创建的semaphore存储桶中包含的初始key的数目,其实number_of_keys也可以不指定,默认值为0,说明此时声明的semaphore句柄指向的存储空间中没有key可用,但是并不意味着此时没有为semaphore句柄分配空间。
【示例】semaphore创建时不指定key数目
【仿真结果】