RE: ISAC: [Fwd: Issues resolution recommendation from VHPI]

Folks,

Attached are draft analyses and recommendations for IR 2123 and IR2124 based
on the VHPI team's recommendations.

For IR2123, their initial recommendation was that the LRM remain ambiguous
about whether a process is resumed to evaluate the condition of a wait
statement. However, on subsequent discussion, I think the intention was that
the resumption semantics be clarified, but that an implementation be
permitted to optimize resumption away. I've drafted ISAC recommendations
based on the latter approach.

For IR2124, the recommendation is clear that the relaxed ordering should be
permitted. I've drafted LRM changes accordingly.

I'd be pleased to discuss these by email ahead of next week's ISAC telecon.

Cheers,

PA

--
Dr. Peter J. Ashenden         peter@ashenden.com.au
Ashenden Designs Pty. Ltd.    www.ashenden.com.au
PO Box 640                    VoIP: sip://0871270078@sip.internode.on.net
Stirling, SA 5152             Phone: +61 8 7127 0078
Australia                     Mobile: +61 414 70 9106
 

> -----Original Message-----
> From: owner-isac@server.eda.org 
> [mailto:owner-isac@server.eda.org] On Behalf Of Chuck Swart - MTI
> Sent: Friday, 14 March 2008 13:07
> To: isac@server.eda.org
> Subject: ISAC: [Fwd: Issues resolution recommendation from VHPI]
> 
> 
> These emails reflect conversations, mostly involving Peter, Francoise 
> and John concerning IRs 2123 and 2124
> 
> 
> 
> -- 
> This message has been scanned for viruses and
> dangerous content by MailScanner, and is
> believed to be clean.
> 
> 

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.