SCORE_BECOME_IDLE(3) | SCORE_BECOME_IDLE(3) |
#include <score.h>
void score_become_idle( void );
score_become_idle()
lets SCore-D know the
running state of a user process. If a user process becomes
idle, this means that the program is actually waiting for incoming
PM messages in a busy-wait loop, then it is preferable to call
score_become_idle()
.
By reporting the status of a user process correctly, SCore-D can
detect the global state of a user parallel process, and
SCore-D can try to de-schedule it if the process is in global idle, or try to
kill it if the process is assumed to be globally terminated,
possibly because of deadlock.
score_become_busy
(3),
SCore-D Runtime Development