T-Kernel Specification (1.B0.02)

34 CHAPTER 4. T-KERNEL/OS FUNCTIONS
tk exd tsk
Exit and Delete Task
[C Language Interface]
void tk_exd_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]
Terminates the invoking task normally and also deletes it.
This system call changes the state of the invoking task to NON-EXISTENT state (no longer exists in
the system).
[Additional Notes]
When a task terminates by tk exd 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 exd 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.
Copyright c○ 2002, 2003 by T-Engine Forum
T-Kernel 1.B0.02