RE: [sv-ec] Difference between subprocess in wait fork and disable fork

From: Rich, Dave <Dave_Rich_at_.....>
Date: Tue May 02 2006 - 23:04:29 PDT
Neil's action item.

 

________________________________

From: Bresticker, Shalom [mailto:shalom.bresticker@intel.com] 
Sent: Tuesday, May 02, 2006 10:54 PM
To: Rich, Dave; sv-ec@server.eda.org
Subject: RE: [sv-ec] Difference between subprocess in wait fork and
disable fork

 

What about kill() in 11.9 ?

 

Shalom

 

________________________________

From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org] On
Behalf Of Rich, Dave
Sent: Wednesday, May 03, 2006 8:16 AM
To: sv-ec@server.eda.org
Subject: RE: [sv-ec] Difference between subprocess in wait fork and
disable fork

 

Mantis 1451
<http://www.eda.org/svdb/bug_view_advanced_page.php?bug_id=0001451>
filed with proposal to make it clear that wait fork only waits for
immediate subprocesses.

 

 

 

 

________________________________

From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of
Rich, Dave
Sent: Friday, April 07, 2006 11:29 AM
To: sv-ec@eda.org
Subject: [sv-ec] Difference between subprocess in wait fork and disable
fork

 

In sections 11.8.1 and 11.8.2, there seems to be a difference in the
definition of a subprocess.  The wait fork sections seems to define a
subprocess as being only those child processes created by the calling
process, whereas the disable fork explicitly includes all of the child's
descendants.

 

The wait fork statement is used to ensure that all child processes
(processes created by the calling process)

have completed their execution. Specifying wait fork causes the calling
process to block until all its subprocesses have completed.

 

and

 

The disable fork statement terminates all active descendants
(subprocesses) of the calling process.

 

One could argue that a child of a child is also created by the calling
process. But the real question is: is this difference intentional? I
don't see why the semantics of a subprocess should be different for
these two constructs.

 

 

Dave

 

 

David Rich
Verification Technologist
Design Verification & Test Division
Mentor Graphics Corporation
dave_rich@mentor.com
Office:   408 487-7206
Cell:     510 589-2625

 
Received on Tue May 2 23:04:44 2006

This archive was generated by hypermail 2.1.8 : Tue May 02 2006 - 23:04:48 PDT