[sv-bc] RE: [sv-ec] blocking statement

Hi,

This is Mantis 225.
It was refiled as Mantis 1561, which was later closed as a duplicate.

Dave Rich wrote in a note to 225:

"A blocking statement is one that has the potential to suspend a process. Potential is determined by lexical analysis alone. A wait(1) is a blocking statement even though we can later determine that the expression '1' is always true. A task enable is also a blocking statement because we do not know if the task contains a blocking statement, or if it calls another task that contains a blocking statement.

A blocking assignment is really a misnomer. Before we had NBAs, we had procedural assignments and procedural assignments with intra-assignment delays. Only the procedural assignment with an intra-assignment delay is a blocking statement."
Regards,
Shalom

________________________________
From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Daniel Mlynek
Sent: Tuesday, January 26, 2010 10:42 AM
To: sv-ec@eda.org
Subject: [sv-ec] blocking statement

What is the blocking statement? ie used in below definition. There is no definition of blocking statement in LRM.

"The parent process continues to execute concurrently with all the processes spawned by the fork. The spawned processes do not start executing until the parent thread executes a blocking statement."

DANiel
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

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