RE: [sv-ec] Update proposal for 1371 $exit

From: Arturo Salz <Arturo.Salz_at_.....>
Date: Fri Jan 26 2007 - 16:37:38 PST
Dave,

 

You proposal again modified the intended semantics of $exit.

 

I think the phrase "disable all initial blocks" is not specific enough.
It seems to imply that *only* the processes that correspond to the
initial blocks are disabled, when the intent is to terminate all
processes spawned by those initial blocks, including all descendant
processes. Also, the term disable might imply that the processes may be
re-enabled when they are in fact terminated.

 

Also, it's not clear what the following sentence means

"Calling $exit from a thread originating from outside an initial block
in a program ..."

I know what you're trying to say, but the use of outside is confusing -
to me that implies some sort of lexical containment. Perhaps,

            Calling $exit from a thread that does not originate in an
initial block in a program ..."

 

Finally, how does this interact with Seven Sharp's proposal to consider
only a thread's existing scheduling region? Your proposal might be to be
at odds with that concept in the sense that the run-time would need to
maintain a thread's origin.

 

            Arturo

 

________________________________

From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of
Rich, Dave
Sent: Friday, January 26, 2007 7:53 AM
To: sv-ec@eda-stds.org
Subject: [sv-ec] Update proposal for 1371 $exit

 

A new proposal has been uploaded reflecting the comments of the 1/22/07
sv-ec meeting.

 

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, and is
believed to be clean.
Received on Fri Jan 26 16:38:00 2007

This archive was generated by hypermail 2.1.8 : Fri Jan 26 2007 - 16:38:19 PST