los_sem.c 文件参考

http://weharmonyos.com/openharmony/zh-cn/device-dev/kernel/kernel-mini-basic-ipc-sem-basic.html 更多...

浏览源代码.

函数
LITE_OS_SEC_TEXT_INIT UINT32	OsSemInit (VOID)
LITE_OS_SEC_TEXT_INIT UINT32	OsSemCreate (UINT16 count, UINT16 maxCount, UINT32 *semHandle)
LITE_OS_SEC_TEXT_INIT UINT32	LOS_SemCreate (UINT16 count, UINT32 *semHandle)
	对外接口 创建信号量 更多...
LITE_OS_SEC_TEXT_INIT UINT32	LOS_BinarySemCreate (UINT16 count, UINT32 *semHandle)
	对外接口 创建二值信号量，其计数值最大为1，可以当互斥锁用 更多...
LITE_OS_SEC_TEXT_INIT UINT32	LOS_SemDelete (UINT32 semHandle)
	对外接口 删除指定的信号量,参数就是 semID 更多...
LITE_OS_SEC_TEXT UINT32	LOS_SemPend (UINT32 semHandle, UINT32 timeout)
	对外接口 申请指定的信号量，并设置超时时间 更多...
LITE_OS_SEC_TEXT UINT32	OsSemPostUnsafe (UINT32 semHandle, BOOL *needSched)
	以不安全的方式释放指定的信号量,所谓不安全指的是不用自旋锁 更多...
LITE_OS_SEC_TEXT UINT32	LOS_SemPost (UINT32 semHandle)
	对外接口 释放指定的信号量 更多...

变量
LITE_OS_SEC_DATA_INIT STATIC LOS_DL_LIST	g_unusedSemList
	可用的信号量列表,干嘛不用freeList? 可以看出这里是另一个人写的代码 更多...
LITE_OS_SEC_BSS LosSemCB *	g_allSem = NULL
	信号池,一次分配 LOSCFG_BASE_IPC_SEM_LIMIT 个信号量 更多...

详细描述

http://weharmonyos.com/openharmony/zh-cn/device-dev/kernel/kernel-mini-basic-ipc-sem-basic.html

    信号量（Semaphore）是一种实现任务间通信的机制，可以实现任务间同步或共享资源的互斥访问。
    
    一个信号量的数据结构中，通常有一个计数值，用于对有效资源数的计数，表示剩下的可被使用的共享资源数，其值的含义分两种情况：
    
        0，表示该信号量当前不可获取，因此可能存在正在等待该信号量的任务。
        正值，表示该信号量当前可被获取。
    以同步为目的的信号量和以互斥为目的的信号量在使用上有如下不同：
    
        用作互斥时，初始信号量计数值不为0，表示可用的共享资源个数。在需要使用共享资源前，先获取信号量，
        然后使用一个共享资源，使用完毕后释放信号量。这样在共享资源被取完，即信号量计数减至0时，其他需要获取信号量的任务将被阻塞，
        从而保证了共享资源的互斥访问。另外，当共享资源数为1时，建议使用二值信号量，一种类似于互斥锁的机制。
    用作同步时，初始信号量计数值为0。任务1获取信号量而阻塞，直到任务2或者某中断释放信号量，任务1才得以进入Ready或Running态，从而达到了任务间的同步。

    信号量运作原理
    信号量初始化，为配置的N个信号量申请内存（N值可以由用户自行配置，通过LOSCFG_BASE_IPC_SEM_LIMIT宏实现），并把所有信号量初始化成未使用，
    加入到未使用链表中供系统使用。

    信号量创建，从未使用的信号量链表中获取一个信号量，并设定初值。

    信号量申请，若其计数器值大于0，则直接减1返回成功。否则任务阻塞，等待其它任务释放该信号量，等待的超时时间可设定。
    当任务被一个信号量阻塞时，将该任务挂到信号量等待任务队列的队尾。

    信号量释放，若没有任务等待该信号量，则直接将计数器加1返回。否则唤醒该信号量等待任务队列上的第一个任务。

    信号量删除，将正在使用的信号量置为未使用信号量，并挂回到未使用链表。

    信号量允许多个任务在同一时刻访问共享资源，但会限制同一时刻访问此资源的最大任务数目。当访问资源的任务数达到该资源允许的最大数量时，
    会阻塞其他试图获取该资源的任务，直到有任务释放该信号量。

   开发流程
    创建信号量LOS_SemCreate，若要创建二值信号量则调用LOS_BinarySemCreate。
    申请信号量LOS_SemPend。
    释放信号量LOS_SemPost。
    删除信号量LOS_SemDelete。

注意

由于中断不能被阻塞，因此不能在中断中使用阻塞模式申请信号量。

版本

作者

weharmonyos.com | 鸿蒙研究站 | 每天死磕一点点

日期

2021-11-18

在文件 los_sem.c 中定义.

函数说明

OsSemCreate()

LITE_OS_SEC_TEXT_INIT UINT32 OsSemCreate	(	UINT16	count,
		UINT16	maxCount,
		UINT32 *	semHandle
	)

在文件 los_sem.c 第 135 行定义.

{
    UINT32 intSave;
    LosSemCB *semCreated = NULL;
    LOS_DL_LIST *unusedSem = NULL;
    UINT32 errNo;
    UINT32 errLine;
 
    if (semHandle == NULL) {
        return LOS_ERRNO_SEM_PTR_NULL;
    }
 
    if (count > maxCount) {//信号量不能大于最大值,两参数都是外面给的
        OS_GOTO_ERR_HANDLER(LOS_ERRNO_SEM_OVERFLOW);
    }
 
    SCHEDULER_LOCK(intSave);//进入临界区,拿自旋锁
 
    if (LOS_ListEmpty(&g_unusedSemList)) {//没有可分配的空闲信号提供
        SCHEDULER_UNLOCK(intSave);
        OsSemInfoGetFullDataHook();
        OS_GOTO_ERR_HANDLER(LOS_ERRNO_SEM_ALL_BUSY);
    }
 
    unusedSem = LOS_DL_LIST_FIRST(&g_unusedSemList);//从未使用信号量池中取首个
    LOS_ListDelete(unusedSem);//从空闲链表上摘除
    SCHEDULER_UNLOCK(intSave);
    semCreated = GET_SEM_LIST(unusedSem);//通过semList挂到链表上的,这里也要通过它把LosSemCB头查到. 进程,线程等结构体也都是这么干的.
    semCreated->semCount = count;//设置数量
    semCreated->semStat = OS_SEM_USED;//设置可用状态
    semCreated->maxSemCount = maxCount;//设置最大信号数量
    LOS_ListInit(&semCreated->semList);//初始化链表,后续阻塞任务通过task->pendList挂到semList链表上,就知道哪些任务在等它了.
    *semHandle = semCreated->semID;//参数带走 semID
    OsHookCall(LOS_HOOK_TYPE_SEM_CREATE, semCreated);
    OsSemDbgUpdateHook(semCreated->semID, OsCurrTaskGet()->taskEntry, count);
 
    return LOS_OK;
 
ERR_HANDLER:
    OS_RETURN_ERROR_P2(errLine, errNo);
}

函数调用图:

这是这个函数的调用关系图:

OsSemInit()

LITE_OS_SEC_TEXT_INIT UINT32 OsSemInit

(

VOID

)

在文件 los_sem.c 第 103 行定义.

{
    LosSemCB *semNode = NULL;
    UINT32 index;
 
    LOS_ListInit(&g_unusedSemList);//初始化链表,链表上挂未使用的信号量,用于分配信号量,鸿蒙信号量的个数是有限的,默认1024个
    /* system resident memory, don't free */
    g_allSem = (LosSemCB *)LOS_MemAlloc(m_aucSysMem0, (LOSCFG_BASE_IPC_SEM_LIMIT * sizeof(LosSemCB)));//分配信号池
    if (g_allSem == NULL) {
        return LOS_ERRNO_SEM_NO_MEMORY;
    }
 
    for (index = 0; index < LOSCFG_BASE_IPC_SEM_LIMIT; index++) {
        semNode = ((LosSemCB *)g_allSem) + index;//拿信号控制块, 可以直接g_allSem[index]来嘛
        semNode->semID = SET_SEM_ID(0, index);//保存ID
        semNode->semStat = OS_SEM_UNUSED;//标记未使用
        LOS_ListTailInsert(&g_unusedSemList, &semNode->semList);//通过semList把 信号块挂到空闲链表上
    }
 
    if (OsSemDbgInitHook() != LOS_OK) {
        return LOS_ERRNO_SEM_NO_MEMORY;
    }
    return LOS_OK;
}

函数调用图:

这是这个函数的调用关系图:

OsSemPostUnsafe()

LITE_OS_SEC_TEXT UINT32 OsSemPostUnsafe	(	UINT32	semHandle,
		BOOL *	needSched
	)

以不安全的方式释放指定的信号量,所谓不安全指的是不用自旋锁

在文件 los_sem.c 第 287 行定义.

{
    LosTaskCB *resumedTask = NULL;
    LosSemCB *semPosted = GET_SEM(semHandle);
    if ((semPosted->semID != semHandle) || (semPosted->semStat == OS_SEM_UNUSED)) {
        return LOS_ERRNO_SEM_INVALID;
    }
 
    /* Update the operate time, no matter the actual Post success or not */
    OsSemDbgTimeUpdateHook(semHandle);
 
    if (semPosted->semCount == OS_SEM_COUNT_MAX) {//当前信号资源不能大于最大资源量
        return LOS_ERRNO_SEM_OVERFLOW;
    }
    if (!LOS_ListEmpty(&semPosted->semList)) {//当前有任务挂在semList上,要去唤醒任务
        resumedTask = OS_TCB_FROM_PENDLIST(LOS_DL_LIST_FIRST(&(semPosted->semList)));//semList上面挂的都是task->pendlist节点,取第一个task下来唤醒
        OsTaskWakeClearPendMask(resumedTask);
        resumedTask->ops->wake(resumedTask);
        if (needSched != NULL) {//参数不为空,就返回需要调度的标签
            *needSched = TRUE;//TRUE代表需要调度
        }
    } else {//当前没有任务挂在semList上,
        semPosted->semCount++;//信号资源多一个
    }
    OsHookCall(LOS_HOOK_TYPE_SEM_POST, semPosted, resumedTask);
    return LOS_OK;
}

函数调用图:

这是这个函数的调用关系图:

变量说明

g_allSem

LITE_OS_SEC_BSS LosSemCB* g_allSem = NULL

信号池,一次分配 LOSCFG_BASE_IPC_SEM_LIMIT 个信号量

在文件 los_sem.c 第 97 行定义.

g_unusedSemList

LITE_OS_SEC_DATA_INIT STATIC LOS_DL_LIST g_unusedSemList

可用的信号量列表,干嘛不用freeList? 可以看出这里是另一个人写的代码

在文件 los_sem.c 第 96 行定义.