Re: add missing rule for kill/reset

Got it.

From:
Bishnupriya Bhattacharya <bpriya@cadence.com>
To:
"john.aynsley@doulos.com" <john.aynsley@doulos.com>, SystemC P1666
Technical <systemc-p1666-technical@eda.org>
Date:
08/09/2010 11:28
Subject:
add missing rule for kill/reset

John,
 
I realised the spec does not mention one rule for kill() and reset(). It
is kind of implied, but should be explicitly mentioned.
 
If kill/reset is issued on a process that is already scheduled to run, the
process shall be taken out of the runnable queue before the kill/reset
action takes place.
 
Thanks,
-Bishnupriya
 
-------------------------------------------------------------------------------------------------------------------------------------

     Bishnupriya Bhattacharya | R&D - SystemC Simulation, Debug &
Analysis | Cadence
     P: +91.80.4184.1197 www.cadence.com
-------------------------------------------------------------------------------------------------------------------------------------

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