T-Kernel Specification (1.B0.02)

4.1. TASK MANAGEMENT FUNCTIONS 33
tk ext tsk
Exit Task
[C Language Interface]
void tk_ext_tsk ( ) ;
[Parameters]
None
[Return Parameters]
Does not return to the context issuing the system call.
[Error Codes]
The following error can be detected; but since this system call does not return to the context issuing
the system call even when error is detected, an error code cannot be passed directly in a system call
return parameter. The behavior in case an error occurs is implementation-dependent.
E CTX
Context error (issued from task-independent portion or in dispatch disabled state)
[Description]
Exits the invoking task normally and changes its state to DORMANT state.
[Additional Notes]
When a task terminates by tk ext tsk, the resources acquired by the task up to that time (memory
blocks, semaphores, etc.) are not automatically freed. The user is responsible for releasing such resources
before the task exits.
tk ext tsk is a system call that does not return to the context from which it was called. Even if an
error code is returned when an error of some kind is detected, normally no error checking is performed
in the context from which the system call was invoked, leaving the possibility that the program will
hang. For this reason these system calls do not return even if error is detected.
As a rule, the task priority and other information included in the TCB is reset when the task returns
to DORMANT state. If, for example, the task priority is changed by tk chg pri and later terminated
by tk ext tsk, the task priority reverts to the startup priority (itskpri) designated when the task was
started. It does not keep the task priority in effect at the time tk ext tsk was executed.
System calls that do not return to the calling context are those named tk ret ??? or tk ext ???
(tk exd ???).
Copyright c○ 2002, 2003 by T-Engine Forum
T-Kernel 1.B0.02