SylixOS线程创建的流程分析

1. 概述

   本文档的主要内容是分析SylixOS线程创建的流程，详细介绍了SylixOS的线程创建函数API_ThreadCreate。

    

2. 环境和参数检查

   在SylixOS中，线程的创建函数不能在中断中调用。且在线程的创建时，系统会对线程的堆栈大小、优先级和名字等参数做有效性检查，一旦参数出错，则线程创建失败。当参数有效性检查完毕后，系统调用_Allocate_Tcb_Object函数，从空闲TCB控件池中取出一个空闲的TCB资源（TCB是线程控制块）。具体的代码实现如程序清单 2-1所示。

   程序清单 2-1线程创建的环境和参数检查

   /*********************************************************************************************************** 函数名称: API_ThreadCreate** 功能描述: 建立一个线程** 输　入  : pcName             线程名**           pfuncThread        指线程代码段起始地址**           pthreadattr        线程属性集合指针**           pulId              线程生成的ID指针     可以为 NULL** 输　出  : pulId              线程句柄             同 ID 一个概念*********************************************************************************************************/LW_API  LW_OBJECT_HANDLE  API_ThreadCreate (CPCHAR                   pcName,                                    PTHREAD_START_ROUTINE    pfuncThread,                                    PLW_CLASS_THREADATTR     pthreadattr,                                    LW_OBJECT_ID            *pulId){    if (LW_CPU_GET_CUR_NESTING()) {                                     /*  不能在中断中调用            */        return  (LW_OBJECT_HANDLE_INVALID);    }         if (threadattrDefault.THREADATTR_stStackByteSize == 0) {        threadattrDefault = API_ThreadAttrGetDefault();                 /*  初始化默认属性              */    }        if (pthreadattr == LW_NULL) {        pthreadattr = &threadattrDefault;                               /*  使用默认属性                */    }                                                                   /*  默认属性总是使用自动分配堆栈*/    #if LW_CFG_ARG_CHK_EN > 0    if (!pfuncThread) {                                                 /*  指线程代码段起始地址为空    */        return  (LW_OBJECT_HANDLE_INVALID);    }        if (_StackSizeCheck(pthreadattr->THREADATTR_stStackByteSize)) {     /*  堆栈大小不正确              */        return  (LW_OBJECT_HANDLE_INVALID);    }        if (_PriorityCheck(pthreadattr->THREADATTR_ucPriority)) {           /*  优先级错误                  */        return  (LW_OBJECT_HANDLE_INVALID);    }#endif    if (_Object_Name_Invalid(pcName)) {                                 /*  检查名字有效性              */        return  (LW_OBJECT_HANDLE_INVALID);    }        __KERNEL_MODE_PROC(        ptcb = _Allocate_Tcb_Object();                                  /*  获得一个 TCB                */    );        if (!ptcb) {                                                        /*  检查是否可以建立线程        */        return  (LW_OBJECT_HANDLE_INVALID);    }

   
   

3. 安全模式

   如程序清单 3-1所示，在SylixOS中，系统对线程创建的环境和参数检查完毕后，会进入安全模式，安全模式的主要作用是保护主线程在创建新线程时不被删除。

   在第2小节中提到"当参数有效性检查完毕后，系统调用_Allocate_Tcb_Object函数，从空闲TCB控件池中取出一个空闲的TCB资源"，需要注意这里只是简单的获得一个TCB资源。当系统调用_TCBBuild函数，对TCB结构体的成员进行赋值后，才真正完成TCB的构建。

   程序清单 3-1线程创建的安全模式

    if (LW_SYS_STATUS_IS_RUNNING()) {        _ThreadSafeInternal();                                          /*  进入安全模式                */    }        lib_bzero(&ptcb->TCB_pstkStackTop,               sizeof(LW_CLASS_TCB) -               _LIST_OFFSETOF(LW_CLASS_TCB, TCB_pstkStackTop));          /*  TCB 清零                    */        ulIdTemp = _MakeObjectId(_OBJECT_THREAD,                              LW_CFG_PROCESSOR_NUMBER,                              ptcb->TCB_usIndex);                        /*  构建对象 id                 */                                                                        /*  初始化堆栈，SHELL           */    pstkFristFree = archTaskCtxCreate((PTHREAD_START_ROUTINE)_ThreadShell,                                       (PVOID)pfuncThread,               /*  真正的可执行代码体          */                                      pstkTop,                                       pthreadattr->THREADATTR_ulOption);        ulError = _TCBBuildExt(ptcb);                                       /*  首先先初始化扩展结构        */    if (ulError) {        iErrLevel = 2;        _ErrorHandle(ulError);        goto    __error_handle;    }        _TCBBuild(pthreadattr->THREADATTR_ucPriority,                       /*  构建 TCB                    */              pstkFristFree,                                            /*  空闲栈区地址                */              pstkTop,                                                  /*  主栈区地址                  */              pstkButtom,                                               /*  栈底                        */              pstkGuard,              pthreadattr->THREADATTR_pvExt,              pstkLowAddress,              stStackSize,                                              /*  相对于字对齐的堆栈大小      */              ulIdTemp,              pthreadattr->THREADATTR_ulOption,              pfuncThread,              ptcb,              pthreadattr->THREADATTR_pvArg);    if (!(pthreadattr->THREADATTR_ulOption &           LW_OPTION_THREAD_INIT)) {                                     /*  非仅初始化                  */        _TCBTryRun(ptcb);                                               /*  尝试运行新任务              */    }        if (pulId) {        *pulId = ulIdTemp;                                              /*  记录 ID                     */    }        if (LW_SYS_STATUS_IS_RUNNING()) {        _ThreadUnsafeInternal();                                        /*  退出安全模式                */    }    return  (LW_OBJECT_HANDLE_INVALID);}
   
   
   

   在安全模式中，当TCB构建完成后，会调用_TCBTryRun函数，尝试将新创建的线程加入候选表中。若候选表非空且新创建的线程优先级高于候选表里的线程时，会产生优先级卷绕。当CPU下次调度，检测到有优先级卷绕时，CPU会从就绪表中寻找一个最适合运行的线程去运行。

    

4. 免责声明

   内部交流文档，仅针对SylixOS平台，若发现相关错误或者建议，请及时联系文档创建者进行修订和更新。