RE: [sv-ec] Eratta: Semaphore put method should be a function, not a task

Hi Dave,
 
Are you sure that put() should never block?  The LRM isn't specific, but
one reasonable implementation would be for put() to execute threads
blocked on a get() before put() returns.  That would reduce the risk of
thread starvation.
 
-Jamie

________________________________

From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of
Rich, Dave
Sent: Tuesday, September 27, 2005 11:49 PM
To: sv-ec@eda.org
Subject: [sv-ec] Eratta: Semaphore put method should be a function, not
a task


The prototype for the put semaphore method should be a function, not a
task; it cannot block.