[sv-ec] Strict FIFO ordering of mailboxes try_put/try_get

From: Rich, Dave <Dave_Rich_at_.....>
Date: Fri Feb 02 2007 - 10:48:05 PST
This is related to a discussion with semaphores a few years back
http://www.eda-stds.org/sv-ec/hm/2651.html

 

14.3.4 says 

 

The try_put() method stores a message in the mailbox in strict FIFO
order. This method is meaningful

only for bounded mailboxes. If the mailbox is not full, then the
specified message is placed in the mailbox,

and the function returns a positive integer. If the mailbox is full, the
method returns 0.

 

 

Is the strict ordering only with other try_put()'s or if another put()
is blocked waiting for space, must the put() be unblocked before try_put
could succeed? Same question for try_get. Must a waiting get be
unblocked before try_get could succeed?

 

Dave

 

 

David Rich
Verification Technologist
Design Verification & Test Division
Mentor Graphics Corporation
dave_rich@mentor.com
Office:   408 487-7206
Cell:     510 589-2625

 


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Fri Feb 2 10:48:30 2007

This archive was generated by hypermail 2.1.8 : Fri Feb 02 2007 - 10:49:14 PST