Question

maibox是一种通信机制，它使得消息能够在进程间通信。被一个进程发送到一个mailbox的数据可以被另外一个进程重新获得。

从概念上讲，mailbox的行为就像一个真实的邮箱一样。当一封信被分发并且放入到邮箱的时候，一个人可以重新获得这封信（以及存储在其中的任何数据）。然而，如果当这个人检查邮箱的时候这封信还没有被分发，那么这个人必须做出选择：它要么等待这封信被分发，要么在下一次检查邮箱的时候重新获得这封信。与此类似，SystemVerilog的mailbox以一个可控的方式来传输和接收数据。在产生mailbox的时候，它可以具有有界的队列尺寸也可以具有无边界的尺寸。当一个有界mailbox包含了其边界数目的消息的时候，mailbox会变满。一个试图向已经满了的mailbox放置消息的进程应该被挂起，直到在mailbox队列中具有足够的空间。在一个发送操作中，无边界mailbox永远也不会挂起一个线程。

产生一个mailbox的例子如下：

mailbox mbxRcv;

mailbox是一个内建的类，它提供了下列方法：

• 产生一个mailbox：new()
• 将一个消息放置到一个mailbox中：put()
• 尝试将一个消息无阻塞地放置到一个mailbox中：try_put()
• 从一个mailbox中重新获得一个消息：get()或者peek()
• 尝试无阻塞地从一个mailbox中重新获得一个消息：try_get()或try_peek()
• 重新获得mailbox中消息的数目：num()