David
I just shot an email before I saw yours. I have explained my points more
thoroughly in that email.
> This does not make sense to me either. A wait(SC_ZERO_TIME) does not
> trigger immediately - it wakes up in the next delta cycle.
Yes, I assumed a delta delay when I said immediately. A delta delay looks
good to me because the wait (with empty and list) should have some yielding
effect. Actually this could be debated. I think a non-wait (no yielding)
effect could also be thought of.
> Also, why should an emply OR list wait forever while an empty AND list
> never waits? If you wanted to have semantics like this, shouldn't it be the
> OR that wakes up immediately rather than the AND?
I explained this in another email.
Regards
- Puneet
-- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Nov 2 03:39:50 2010
This archive was generated by hypermail 2.1.8 : Tue Nov 02 2010 - 03:39:51 PDT