Question

如果使用以下方法在SystemVerilog中声明信号量：

  semaphore sem = new(2);

进程是否有任何方式可以获取有关信号量中剩余键数的信息？

num类没有定义semaphore方法/属性，就像mailbox类一样，这让我觉得很奇怪。

Answer 1

因为只要返回，您从这种方法中获得的答案就不再有效。管理信号量密钥是您需要围绕其使用的东西。邮箱就是将队列和信号量包装在一起的一个例子。

恕我直言，信号量是基类级原语，最终用户永远不应该直接使用。