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

From: Neil Korpusik <Neil.Korpusik_at_.....>
Date: Tue Feb 13 2007 - 15:43:09 PST
I believe that most users would expect requests to be queued up in the
order in which they were received. It is more work for the vendors to
support this approach, but it is what I think most users would want.

Neil



Rich, Dave wrote On 02/13/07 08:58,:
> I didn’t get a response to this. I’m going to go with the assumption
> that try_put/try_get can preempt a waiting put/get.
> 
>  
> 
> We might want to clarify that strict FIFO order apples only after a
> successful try.
> 
>  
> 
> Dave
> 
>  
> 
>  
> 
> ------------------------------------------------------------------------
> 
> *From:* owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org]
> *On Behalf Of *Rich, Dave
> *Sent:* Friday, February 02, 2007 10:48 AM
> *To:* sv-ec@server.eda-stds.org
> *Subject:* [sv-ec] Strict FIFO ordering of mailboxes try_put/try_get
> 
>  
> 
> 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* <http://www.mailscanner.info/>*, and is
> believed to be clean.
> -- 
> This message has been scanned for viruses and
> dangerous content by *MailScanner* <http://www.mailscanner.info/>, and is
> believed to be clean. *

-- 
---------------------------------------------------------------------
Neil Korpusik                                     Tel: 408-720-4852
Senior Staff Engineer                             Fax: 408-720-4850
Frontend Technologies - ASICs & Processors (FTAP)
Sun Microsystems
email: neil.korpusik@sun.com
---------------------------------------------------------------------



-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Tue Feb 13 15:43:41 2007

This archive was generated by hypermail 2.1.8 : Tue Feb 13 2007 - 15:44:02 PST