Screen Version

School of Computer Science & Engineering
University of New South Wales
 Advanced Operating Systems 
 COMP9242 2002/S2 

Task and thread management

 $.$

Management of task and thread IDs is left to user-level code.

 $.$

L4's task_create and lthread_ex_regs system calls will happily destroy running tasks/threads if requested to do so.

==>

It is up to the user code (i.e., OS server)
to manage them properly.