You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
LiteOS-Reading/src/kernel/base/los_mux.c

441 lines
15 KiB

This file contains ambiguous Unicode characters!

This file contains ambiguous Unicode characters that may be confused with others in your current locale. If your use case is intentional and legitimate, you can safely ignore this warning. Use the Escape button to highlight these characters.

/* ----------------------------------------------------------------------------
* Copyright (c) Huawei Technologies Co., Ltd. 2013-2019. All rights reserved.
* Description: Mutex
* Author: Huawei LiteOS Team
* Create: 2013-01-01
* Redistribution and use in source and binary forms, with or without modification,
* are permitted provided that the following conditions are met:
* 1. Redistributions of source code must retain the above copyright notice, this list of
* conditions and the following disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright notice, this list
* of conditions and the following disclaimer in the documentation and/or other materials
* provided with the distribution.
* 3. Neither the name of the copyright holder nor the names of its contributors may be used
* to endorse or promote products derived from this software without specific prior written
* permission.
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
* "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
* THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
* PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR
* CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
* EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
* PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS;
* OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
* WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
* OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
* ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
* --------------------------------------------------------------------------- */
/*代码实现了一个简单的互斥锁Mutex用于保护共享资源的访问
互斥锁的主要功能是确保在同一时间只有一个线程可以访问被保护的代码块或共享资源,从而避免并发访问引发的数据竞争和不一致性*/
#include "los_mux_pri.h"
#include "los_mux_debug_pri.h"
#include "los_bitmap.h"
#include "los_exc.h"
#include "los_spinlock.h"
#include "los_mp_pri.h"
#include "los_percpu_pri.h"
#include "los_err_pri.h"
#include "los_trace.h"
#ifdef __cplusplus
#if __cplusplus
extern "C" {
#endif
#endif /* __cplusplus */
LITE_OS_SEC_BSS LosMuxCB *g_allMux = NULL;
LITE_OS_SEC_DATA_INIT STATIC LOS_DL_LIST g_unusedMuxList;
/*
* Description : Initializes the mutex
* Return : LOS_OK on success, or error code on failure
*/
//OsMuxInitMutex初始化函数用于初始化Mutex数据结构并设置初始状态
LITE_OS_SEC_TEXT UINT32 OsMuxInit(VOID)
{
LosMuxCB *muxNode = NULL;
UINT32 index;
LOS_ListInit(&g_unusedMuxList);
/* system resident memory, don't free */
g_allMux = (LosMuxCB *)LOS_MemAlloc(m_aucSysMem0, (KERNEL_MUX_LIMIT * sizeof(LosMuxCB)));
if (g_allMux == NULL) {
return LOS_ERRNO_MUX_NO_MEMORY;
}
for (index = 0; index < KERNEL_MUX_LIMIT; index++) {
muxNode = g_allMux + index;
muxNode->muxId = index;
muxNode->owner = NULL;
muxNode->muxStat = LOS_UNUSED;
LOS_ListTailInsert(&g_unusedMuxList, &muxNode->muxList);
}
if (OsMuxDbgInitHook() != LOS_OK) {
return LOS_ERRNO_MUX_NO_MEMORY;
}
return LOS_OK;
}
//LOS_MuxCreate创建Mutex函数用于创建一个新的Mutex对象并返回其句柄
LITE_OS_SEC_TEXT UINT32 LOS_MuxCreate(UINT32 *muxHandle)
{
UINT32 intSave;
LosMuxCB *muxCreated = NULL;
LOS_DL_LIST *unusedMux = NULL;
UINT32 errNo;
UINT32 errLine;
if (muxHandle == NULL) {
return LOS_ERRNO_MUX_PTR_NULL;
}
SCHEDULER_LOCK(intSave);
if (LOS_ListEmpty(&g_unusedMuxList)) {
SCHEDULER_UNLOCK(intSave);
OsMutexCheckHook();
OS_GOTO_ERR_HANDLER(LOS_ERRNO_MUX_ALL_BUSY);
}
unusedMux = LOS_DL_LIST_FIRST(&g_unusedMuxList);
LOS_ListDelete(unusedMux);
muxCreated = LOS_DL_LIST_ENTRY(unusedMux, LosMuxCB, muxList);
muxCreated->muxCount = 0;
muxCreated->muxStat = LOS_USED;
muxCreated->owner = NULL;
LOS_ListInit(&muxCreated->muxList);
*muxHandle = muxCreated->muxId;
OsMuxDbgUpdateHook(muxCreated->muxId, OsCurrTaskGet()->taskEntry);
SCHEDULER_UNLOCK(intSave);
LOS_TRACE(MUX_CREATE, muxCreated->muxId);
return LOS_OK;
ERR_HANDLER:
OS_RETURN_ERROR_P2(errLine, errNo);
}
//LOS_MuxDelete删除Mutex函数用于删除指定的Mutex对象及其相关资源
LITE_OS_SEC_TEXT UINT32 LOS_MuxDelete(UINT32 muxHandle)
{
UINT32 intSave;
LosMuxCB *muxDeleted = NULL;
UINT32 errNo;
UINT32 errLine;
if (GET_MUX_INDEX(muxHandle) >= (UINT32)KERNEL_MUX_LIMIT) {
OS_GOTO_ERR_HANDLER(LOS_ERRNO_MUX_INVALID);
}
muxDeleted = GET_MUX(muxHandle);
LOS_TRACE(MUX_DELETE, muxHandle, muxDeleted->muxStat, muxDeleted->muxCount,
((muxDeleted->owner == NULL) ? 0xFFFFFFFF : muxDeleted->owner->taskId));
SCHEDULER_LOCK(intSave);
if ((muxDeleted->muxId != muxHandle) || (muxDeleted->muxStat == LOS_UNUSED)) {
SCHEDULER_UNLOCK(intSave);
OS_GOTO_ERR_HANDLER(LOS_ERRNO_MUX_INVALID);
}
if (!LOS_ListEmpty(&muxDeleted->muxList) || muxDeleted->muxCount) {
SCHEDULER_UNLOCK(intSave);
OS_GOTO_ERR_HANDLER(LOS_ERRNO_MUX_PENDED);
}
LOS_ListTailInsert(&g_unusedMuxList, &muxDeleted->muxList);
muxDeleted->muxStat = LOS_UNUSED;
muxDeleted->muxId = SET_MUX_ID(GET_MUX_COUNT(muxDeleted->muxId) + 1, GET_MUX_INDEX(muxDeleted->muxId));
OsMuxDbgUpdateHook(muxDeleted->muxId, NULL);
SCHEDULER_UNLOCK(intSave);
return LOS_OK;
ERR_HANDLER:
OS_RETURN_ERROR_P2(errLine, errNo);
}
//OsMuxParaCheck 函数主要用于验证互斥量操作的参数是否有效,包括互斥量是否被正确创建和传入的句柄是否有效,以及当前是否处于中断上下文
LITE_OS_SEC_TEXT STATIC UINT32 OsMuxParaCheck(const LosMuxCB *muxCB, UINT32 muxHandle)
{
if ((muxCB->muxStat == LOS_UNUSED) || (muxCB->muxId != muxHandle)) {
OS_RETURN_ERROR(LOS_ERRNO_MUX_INVALID);
}
OsMuxDbgTimeUpdateHook(muxCB->muxId);
if (OS_INT_ACTIVE) {
return LOS_ERRNO_MUX_PEND_INTERR;
}
return LOS_OK;
}
//OsMuxBitmapSet 函数用于在互斥量等待队列中设置任务的优先级位图,并根据需要调整任务的优先级,以确保任务在等待互斥量时能够正确反映其优先级关系
LITE_OS_SEC_TEXT STATIC VOID OsMuxBitmapSet(const LosTaskCB *runTask, const MuxBaseCB *muxPended)
{
if (muxPended->owner->priority > runTask->priority) {
LOS_BitmapSet(&(muxPended->owner->priBitMap), muxPended->owner->priority);
OsTaskPriModify(muxPended->owner, runTask->priority);
}
}
//OsMuxBitmapRestore 函数用于恢复任务的优先级位图,并根据需要更新拥有者任务的优先级
LITE_OS_SEC_TEXT STATIC VOID OsMuxBitmapRestore(const LosTaskCB *runTask, LosTaskCB *owner)
{
UINT16 bitMapPri;
if (owner->priority >= runTask->priority) {
bitMapPri = LOS_LowBitGet(owner->priBitMap);
if (bitMapPri != LOS_INVALID_BIT_INDEX) {
LOS_BitmapClr(&(owner->priBitMap), bitMapPri);
OsTaskPriModify(owner, bitMapPri);
}
} else {
if (LOS_HighBitGet(owner->priBitMap) != runTask->priority) {
LOS_BitmapClr(&(owner->priBitMap), runTask->priority);
}
}
}
#ifdef LOSCFG_MUTEX_WAITMODE_PRIO
LITE_OS_SEC_TEXT STATIC LOS_DL_LIST *OsMuxPendFindPosSub(const LosTaskCB *runTask, const MuxBaseCB *muxPended)
{
LosTaskCB *pendedTask = NULL;
LOS_DL_LIST *node = NULL;
LOS_DL_LIST_FOR_EACH_ENTRY(pendedTask, &(muxPended->muxList), LosTaskCB, pendList) {
if (pendedTask->priority < runTask->priority) {
continue;
} else if (pendedTask->priority > runTask->priority) {
node = &pendedTask->pendList;
break;
} else {
node = pendedTask->pendList.pstNext;
break;
}
}
return node;
}
LITE_OS_SEC_TEXT STATIC LOS_DL_LIST *OsMuxPendFindPos(const LosTaskCB *runTask, MuxBaseCB *muxPended)
{
LOS_DL_LIST *node = NULL;
LosTaskCB *pendedTask1 = NULL;
LosTaskCB *pendedTask2 = NULL;
if (LOS_ListEmpty(&muxPended->muxList)) {
node = &muxPended->muxList;
} else {
pendedTask1 = OS_TCB_FROM_PENDLIST(LOS_DL_LIST_FIRST(&muxPended->muxList));
pendedTask2 = OS_TCB_FROM_PENDLIST(LOS_DL_LIST_LAST(&muxPended->muxList));
if ((pendedTask1 != NULL) && (pendedTask1->priority > runTask->priority)) {
node = muxPended->muxList.pstNext;
} else if ((pendedTask2 != NULL) && (pendedTask2->priority <= runTask->priority)) {
node = &muxPended->muxList;
} else {
node = OsMuxPendFindPosSub(runTask, muxPended);
}
}
return node;
}
#else
LITE_OS_SEC_TEXT STATIC LOS_DL_LIST *OsMuxPendFindPos(const LosTaskCB *runTask, MuxBaseCB *muxPended)
{
LOS_DL_LIST *node = NULL;
node = &muxPended->muxList;
return node;
}
#endif
//总体来说OsMuxPostOp 函数用于处理 Mutex 的释放操作,包括唤醒等待任务、更新 Mutex 状态和持有者等
//确保 Mutex 能够按照预期的方式被正确释放和传递给下一个任务
LITE_OS_SEC_TEXT UINT32 OsMuxPendOp(LosTaskCB *runTask, MuxBaseCB *muxPended, UINT32 timeout,
UINT32 *intSave)
{
LOS_DL_LIST *node = NULL;
UINT32 ret = LOS_OK;
LosTaskCB *owner = muxPended->owner;
runTask->taskMux = (VOID *)muxPended;
node = OsMuxPendFindPos(runTask, muxPended);
OsTaskWait(node, OS_TASK_STATUS_PEND, timeout);
OsSchedResched();
SCHEDULER_UNLOCK(*intSave);
SCHEDULER_LOCK(*intSave);
if (runTask->taskStatus & OS_TASK_STATUS_TIMEOUT) {
runTask->taskStatus &= ~OS_TASK_STATUS_TIMEOUT;
ret = LOS_ERRNO_MUX_TIMEOUT;
}
if (timeout != LOS_WAIT_FOREVER) {
OsMuxBitmapRestore(runTask, owner);
}
return ret;
}
//LOS_MuxPend等待Mutex函数用于尝试获取指定Mutex的访问权限。如果Mutex已被其他任务持有则当前任务会被挂起直到Mutex可用
LITE_OS_SEC_TEXT UINT32 LOS_MuxPend(UINT32 muxHandle, UINT32 timeout)
{
UINT32 ret;
UINT32 intSave;
LosMuxCB *muxPended = NULL;
LosTaskCB *runTask = NULL;
if (GET_MUX_INDEX(muxHandle) >= (UINT32)KERNEL_MUX_LIMIT) {
OS_RETURN_ERROR(LOS_ERRNO_MUX_INVALID);
}
muxPended = GET_MUX(muxHandle);
LOS_TRACE(MUX_PEND, muxHandle, muxPended->muxCount,
((muxPended->owner == NULL) ? 0xFFFFFFFF : muxPended->owner->taskId), timeout);
runTask = OsCurrTaskGet();
if (runTask->taskFlags & OS_TASK_FLAG_SYSTEM) {
PRINT_DEBUG("Warning: DO NOT recommend to use %s in system tasks.\n", __FUNCTION__);
}
SCHEDULER_LOCK(intSave);
ret = OsMuxParaCheck(muxPended, muxHandle);
if (ret != LOS_OK) {
goto OUT_UNLOCK;
}
if (muxPended->muxCount == 0) {
OsMuxDlockNodeInsertHook(runTask->taskId, muxPended);
muxPended->muxCount++;
muxPended->owner = runTask;
goto OUT_UNLOCK;
}
if (muxPended->owner == runTask) {
muxPended->muxCount++;
goto OUT_UNLOCK;
}
if (!timeout) {
ret = LOS_ERRNO_MUX_UNAVAILABLE;
goto OUT_UNLOCK;
}
if (!OsPreemptableInSched()) {
ret = LOS_ERRNO_MUX_PEND_IN_LOCK;
OsBackTrace();
goto OUT_UNLOCK;
}
OsMuxBitmapSet(runTask, (MuxBaseCB *)muxPended);
ret = OsMuxPendOp(runTask, (MuxBaseCB *)muxPended, timeout, &intSave);
OUT_UNLOCK:
SCHEDULER_UNLOCK(intSave);
if (ret == LOS_ERRNO_MUX_PEND_IN_LOCK) {
PRINT_ERR("!!!LOS_ERRNO_MUX_PEND_IN_LOCK!!!\n");
}
return ret;
}
//OsMuxPostOpSub:通过比较当前任务和 Mutex 等待队列中的任务的优先级,来调整当前任务的优先级位图,并将 Mutex 持有者的优先级提升
LITE_OS_SEC_TEXT STATIC VOID OsMuxPostOpSub(LosTaskCB *runTask, MuxBaseCB *muxPosted)
{
LosTaskCB *pendedTask = NULL;
UINT16 bitMapPri;
if (!LOS_ListEmpty(&muxPosted->muxList)) {
bitMapPri = LOS_HighBitGet(runTask->priBitMap);
LOS_DL_LIST_FOR_EACH_ENTRY(pendedTask, (&muxPosted->muxList), LosTaskCB, pendList) {
if (bitMapPri != pendedTask->priority) {
LOS_BitmapClr(&runTask->priBitMap, pendedTask->priority);
}
}
}
bitMapPri = LOS_LowBitGet(runTask->priBitMap);
LOS_BitmapClr(&runTask->priBitMap, bitMapPri);
OsTaskPriModify(muxPosted->owner, bitMapPri);
}
//
LITE_OS_SEC_TEXT UINT32 OsMuxPostOp(LosTaskCB *runTask, MuxBaseCB *muxPosted)
{
LosTaskCB *resumedTask = NULL;
if (LOS_ListEmpty(&muxPosted->muxList)) {
muxPosted->owner = NULL;
OsMuxDlockNodeDeleteHook(runTask->taskId, muxPosted);
return MUX_NO_SCHEDULE;
}
resumedTask = OS_TCB_FROM_PENDLIST(LOS_DL_LIST_FIRST(&(muxPosted->muxList)));
#ifdef LOSCFG_MUTEX_WAITMODE_PRIO
if (resumedTask->priority > runTask->priority) {
if (LOS_HighBitGet(runTask->priBitMap) != resumedTask->priority) {
LOS_BitmapClr(&runTask->priBitMap, resumedTask->priority);
}
} else if (runTask->priBitMap != 0) {
OsMuxPostOpSub(runTask, muxPosted);
}
#else
if (runTask->priBitMap != 0) {
OsMuxPostOpSub(runTask, muxPosted);
}
#endif
muxPosted->muxCount = 1;
muxPosted->owner = resumedTask;
resumedTask->taskMux = NULL;
OsMuxDlockNodeDeleteHook(runTask->taskId, muxPosted);
OsMuxDlockNodeInsertHook(resumedTask->taskId, muxPosted);
OsTaskWake(resumedTask, OS_TASK_STATUS_PEND);
return MUX_SCHEDULE;
}
//LOS_MuxPost释放Mutex函数用于释放当前任务对指定Mutex的访问权限以便其他任务可以获取该Mutex
LITE_OS_SEC_TEXT UINT32 LOS_MuxPost(UINT32 muxHandle)
{
UINT32 ret;
LosTaskCB *runTask = NULL;
LosMuxCB *muxPosted = GET_MUX(muxHandle);
UINT32 intSave;
if (GET_MUX_INDEX(muxHandle) >= (UINT32)KERNEL_MUX_LIMIT) {
OS_RETURN_ERROR(LOS_ERRNO_MUX_INVALID);
}
LOS_TRACE(MUX_POST, muxHandle, muxPosted->muxCount,
((muxPosted->owner == NULL) ? 0xFFFFFFFF : muxPosted->owner->taskId));
SCHEDULER_LOCK(intSave);
ret = OsMuxParaCheck(muxPosted, muxHandle);
if (ret != LOS_OK) {
SCHEDULER_UNLOCK(intSave);
return ret;
}
runTask = OsCurrTaskGet();
if ((muxPosted->muxCount == 0) || (muxPosted->owner != runTask)) {
SCHEDULER_UNLOCK(intSave);
OS_RETURN_ERROR(LOS_ERRNO_MUX_INVALID);
}
if (--muxPosted->muxCount != 0) {
SCHEDULER_UNLOCK(intSave);
return LOS_OK;
}
ret = OsMuxPostOp(runTask, (MuxBaseCB *)muxPosted);
SCHEDULER_UNLOCK(intSave);
if (ret == MUX_SCHEDULE) {
LOS_MpSchedule(OS_MP_CPU_ALL);
LOS_Schedule();
}
return LOS_OK;
}
#ifdef __cplusplus
#if __cplusplus
}
#endif
#endif /* __cplusplus */