30.12.2013 Views

T-Kernel Specification (1.B0.02)

T-Kernel Specification (1.B0.02)

T-Kernel Specification (1.B0.02)

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

4.9. SYSTEM MANAGEMENT FUNCTIONS 195<br />

[Additional Notes]<br />

A task in RUN state cannot go to DORMANT state or NON-EXISTENT state while dispatching is<br />

disabled. If tk ext tsk or tk exd tsk is called for a task in RUN state while interrupts or dispatching<br />

is disabled, error code E CTX is detected. Since, however, tk ext tsk and tk exd tsk are system calls<br />

that do not return to their original context, such errors are not passed in return parameters by these<br />

system calls.<br />

Use of dispatch disabled state for mutual exclusion control among tasks is possible only if the system<br />

does not have a multiprocessor configuration.<br />

Copyright c○ 2002, 2003 by T-Engine Forum<br />

T-<strong>Kernel</strong> <strong>1.B0.02</strong>

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!