sv-semaphore

fly 100%

于 2021-10-07 11:46:09 发布

阅读量916

点赞数

CC 4.0 BY-SA版权

分类专栏： system verilog 文章标签： sv semaphore

本文链接：https://blog.csdn.net/weiwei_xiaoyu/article/details/120634379

system verilog 专栏收录该内容

9 篇文章

订阅专栏

信号量是一种多线程同步机制，用于限制同时访问特定资源的线程数量。它通过初始化许可证数量来控制并发访问，未获取许可证的线程会被阻塞。接口包括创建、获取、返回和尝试获取许可证。例如，单许可证情况下，两个线程通过获取和释放许可证实现互斥访问；在多许可证场景下，多个线程可以并发但受限制地访问资源。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

作用

信号是通过初始化一定数量的许可证，通过限制获得许可证的线程数量来阻塞未获取许可证达的线程，达到限制对特定资源访问的线程数量。

实现原理

所有多线程访问的控制方式归根结底都是对可共享地址进行管理，可以是简单的类似全局变量做的计数器判断，可以共享内存的数据结构的操作。

接口函数

new(): Creat a semaphore with a specified number kerys;

get(): OBtian one or more keys from the busket;

put(): Return one or more kyes into the bucker;

try_get(): Try to obtian one or maor keys without blocking;

使用举例

单许可证，两线程竞争：

  sem = new(1)

process 1:
  sem.get(1);
  ....
  sem.put(1);


process 1:
  sem.get(1);
  ....
  sem.put(1);

多许可证，多线程竞争

  sem = new(5)

process 1:
  sem.get(2);
  ....
  sem.put(2);


process 1:
  sem.get(2);
  ....
  sem.put(2);


process 2:
  sem.get(2);
  ....
  sem.put(2);