0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

鸿蒙技术:内核对CPU是怎么描述

鸿蒙系统HarmonyOS 来源:my.oschina 作者:鸿蒙内核源码分析 2021-04-28 08:58 次阅读

指令是稳定的,但指令序列是变化的,只有这样计算机才能够实现用计算来解决一切问题这个目标。计算是稳定的,但计算的数据是多变的,多态的,地址是数据,控制信号也是数据。指令集本身也是数据(固定的数据)。只有这样才能够让计算机不必修改基础架构却可以适应不断发展变化的技术革命。

cpu是负责执行指令的,谁能给它指令?是线程(也叫任务), 任务是内核的调度单元,调度到哪个任务CPU就去执行哪个任务的指令。 要执行指令就要有个取指令的开始地址。 开始地址就是大家所熟知的main函数。一个程序被加载解析后内核会在ELF中找到main函数的位置,并自动创建一个线程,指定线程的入口地址为main函数的地址,由此开始了取指,译指,执指之路。

多线程内核是怎么处理的? 一样的, 以JAVA举例,对内核来说 new thread中的run() 函数 和 main() 并没有区别。 都是一个线程(任务)的执行入口。 注意在系列篇中反复的说任务就是线程,线程就是任务,它们是一个东西在不同层面上的描述。对应用层说线程,对内核层说任务。 有多少个线程就会有多少个入口,它们统一接受调度算法的调度, 调度算法只认优先级的高低,不会管你是main() 还是 run() 而区别对待。

定时器的实现也是通过任务实现的,只不过是个系统任务OsSwtmrTaskCreate,优先级最高,和入口地址OsSwtmrTask由系统指定。

所以理解CPU就要先理解任务,任务是理解内核的主线,把它搞明白了分析内核就轻轻松松,事半功倍了。看似高深的CPU只不过是搂草打兔子。不相信?那就看看内核对CPU是怎么描述的吧。本篇就围绕这个结构体展开说。

Percpu

percpu变量,顾名思义,就是对于同一个变量,每个cpu都有自己的一份,它可以被用来存放一些cpu独有的数据,比如cpu的id,cpu上正在运行的任务等等。

Percpu g_percpu[LOSCFG_KERNEL_CORE_NUM];//CPU核描述符,描述每个CPU的信息

typedef struct {//内核对cpu的描述

SortLinkAttribute taskSortLink; /* task sort link */ //挂等待和延时的任务

SortLinkAttribute swtmrSortLink; /* swtmr sort link */ //挂定时器

UINT32 idleTaskID; /* idle task id */ //空闲任务ID 见于 OsIdleTaskCreate

UINT32 taskLockCnt; /* task lock flag */ //任务锁的数量,当 》 0 的时候,需要重新调度了

UINT32 swtmrHandlerQueue; /* software timer timeout queue id */ //软时钟超时队列句柄

UINT32 swtmrTaskID; /* software timer task id */ //软时钟任务ID

UINT32 schedFlag; /* pending scheduler flag */ //调度标识 INT_NO_RESCH INT_PEND_RESCH

#if (LOSCFG_KERNEL_SMP == YES)

UINT32 excFlag; /* cpu halt or exc flag */ //CPU处于停止或运行的标识

#endif

} Percpu;

至于 g_percpu的值怎么来的,因和编译过程相关,将在后续编译篇中说明。 Percpu结构体不复杂,但很重要,一个一个掰开了说。

taskSortLink是干什么用的? 一个任务在运行过程中,经常会主动或被动停止,而进入等待状态。

主动停止情况, 例如:主动delay300毫秒,这是应用层很常见的操作。

被动停止情况, 例如:申请互斥锁失败,等待某个事件发生。 发生这些情况时任务将被挂到taskSortLink上。这些任务可能来自不同的进程,但都是因为在被这个CPU执行时停下来了,等着再次被它执行。下图很清晰的看出在哪种情况下会被记录在案。

o4YBAGCJH5GAJVNGAACMsXnNuNA680.png

UINT32 OsTaskWait(LOS_DL_LIST *list, UINT32 timeout, BOOL needSched)

{

LosTaskCB *runTask = NULL;

LOS_DL_LIST *pendObj = NULL;

runTask = OsCurrTaskGet();//获取当前任务

OS_TASK_SCHED_QUEUE_DEQUEUE(runTask, OS_PROCESS_STATUS_PEND);//将任务从就绪队列摘除,并变成阻塞状态

pendObj = &runTask-》pendList;

runTask-》taskStatus |= OS_TASK_STATUS_PEND;//给任务贴上阻塞任务标签

LOS_ListTailInsert(list, pendObj);//将阻塞任务挂到list上,,这步很关键,很重要!

if (timeout != LOS_WAIT_FOREVER) {//非永远等待的时候

runTask-》taskStatus |= OS_TASK_STATUS_PEND_TIME;//阻塞任务再贴上在一段时间内阻塞的标签

OsAdd2TimerList(runTask, timeout);//把任务加到定时器链表中

}

if (needSched == TRUE) {//是否需要调度

OsSchedResched();//申请调度,里面直接切换了任务上下文,至此任务不再往下执行了。

if (runTask-》taskStatus & OS_TASK_STATUS_TIMEOUT) {//这条语句是被调度再次选中时执行的,和上面的语句可能隔了很长时间,所以很可能已经超时了

runTask-》taskStatus &= ~OS_TASK_STATUS_TIMEOUT;//如果任务有timeout的标签,那么就去掉那个标签

return LOS_ERRNO_TSK_TIMEOUT;

}

}

return LOS_OK;

}

LITE_OS_SEC_TEXT STATIC INLINE VOID OsAdd2TimerList(LosTaskCB *taskCB, UINT32 timeOut)

{

SET_SORTLIST_VALUE(&taskCB-》sortList, timeOut);//设置idxRollNum的值为timeOut

OsAdd2SortLink(&OsPercpuGet()-》taskSortLink, &taskCB-》sortList);//将任务挂到定时器排序链表上

#if (LOSCFG_KERNEL_SMP == YES)//注意:这里的排序不是传统意义上12345的排序,而是根据timeOut的值来决定放到CPU core哪个taskSortLink[0:7]链表上

taskCB-》timerCpu = ArchCurrCpuid();

#endif

}

OsAdd2SortLink,将任务挂到排序链表上,因等待时间不一样,所以内核会对这些任务按时间长短排序。

定时器相关三个变量,在系列篇定时器机制篇中已有对定时器的详细描述,可前往以下查看。 v31.xx (定时器篇) | 内核最高优先级任务是谁? 看完后就不难理解以下三个的作用了。

SortLinkAttribute swtmrSortLink;//CPU要处理的定时器链表

UINT32 swtmrHandlerQueue; //队列中放各个定时器的响应函数

UINT32 swtmrTaskID; // 其实就是 OsSwtmrTaskCreate

搞明白定时器的机制只需搞明白: 定时器(SWTMR_CTRL_S),定时任务(swtmrTaskID),定时器响应函数(SwtmrHandlerItem),定时器处理队列swtmrHandlerQueue 四者的关系就可以了。 一句话概括:定时任务swtmrTaskID是个系统任务,优先级最高,它循环读取队列swtmrHandlerQueue中的已到时间的定时器(SWTMR_CTRL_S),并执行定时器对应的响应函数SwtmrHandlerItem.

idleTaskID空闲任务,注意这又是个任务,每个cpu核都有属于自己的空闲任务,cpu没事干的时候就待在里面。空闲任务长什么样? Look!

//创建一个空闲任务

LITE_OS_SEC_TEXT_INIT UINT32 OsIdleTaskCreate(VOID)

{

UINT32 ret;

TSK_INIT_PARAM_S taskInitParam;

Percpu *perCpu = OsPercpuGet();//获取CPU信息

UINT32 *idleTaskID = &perCpu-》idleTaskID;//每个CPU都有一个空闲任务

(VOID)memset_s((VOID *)(&taskInitParam), sizeof(TSK_INIT_PARAM_S), 0, sizeof(TSK_INIT_PARAM_S));//任务初始参数清0

taskInitParam.pfnTaskEntry = (TSK_ENTRY_FUNC)OsIdleTask;//入口函数

taskInitParam.uwStackSize = LOSCFG_BASE_CORE_TSK_IDLE_STACK_SIZE;//任务栈大小 2K

taskInitParam.pcName = “Idle”;//任务名称 叫pcName有点怪怪的,不能换个撒

taskInitParam.usTaskPrio = OS_TASK_PRIORITY_LOWEST;//默认最低优先级 31

taskInitParam.uwResved = OS_TASK_FLAG_IDLEFLAG;//默认idle flag

#if (LOSCFG_KERNEL_SMP == YES)//CPU多核情况

taskInitParam.usCpuAffiMask = CPUID_TO_AFFI_MASK(ArchCurrCpuid());//每个idle任务只在单独的cpu上运行

#endif

ret = LOS_TaskCreate(idleTaskID, &taskInitParam);//创建task并申请调度,

OS_TCB_FROM_TID(*idleTaskID)-》taskStatus |= OS_TASK_FLAG_SYSTEM_TASK;//设置task状态为系统任务,系统任务运行在内核态。

//这里说下系统任务有哪些?比如: idle,swtmr(软时钟),资源回收等等

return ret;

}

LITE_OS_SEC_TEXT WEAK VOID OsIdleTask(VOID)

{

while (1) {//只有一个死循环

#ifdef LOSCFG_KERNEL_TICKLESS //低功耗模式开关, idle task 中关闭tick

if (OsTickIrqFlagGet()) {

OsTickIrqFlagSet(0);

OsTicklessStart();

}

#endif

Wfi();//WFI指令:arm core 立即进入low-power standby state,等待中断,进入休眠模式。

}

}

OsIdleTask是一个死循环,只有一条汇编指令Wfi. 啥意思? WFI(Wait for interrupt):等待中断到来指令。 WFI一般用于cpuidle,WFI 指令是在处理器发生中断或类似异常之前不需要做任何事情。具体在鸿蒙内核源码分析(总目录)自旋锁篇中有详细描述,可前往查看。 说到死循环,这里多说一句,从宏观尺度上来理解,整个内核就是一个死循环。因为有 软硬中断/异常 使得内核能活跃起来,能跳到不同的地方去执行,执行完了又会沉寂下去,等待新的触发到来。 这句话能理解吗 ?

taskLockCnt 这个简单,记录等锁的任务数量。任务在运行过程中优先级是会不断地变化的, 例如 高优先级的A任务在等某锁,但持有锁的一方B任务优先级低,这时就会调高B的优先级至少到A的等级,提高B被调度算法命中的概率,如此就能快速的释放锁交给A运行。 taskLockCnt记录被CPU运行过的正在等锁的任务数量。

schedFlag 调度的标签。

typedef enum {

INT_NO_RESCH = 0, /* no needs to schedule *///不需要调度

INT_PEND_RESCH, /* pending schedule flag *///阻止调度

} SchedFlag;

调度并不是每次都能成功的,在某些情况下内核会阻止调度进行。例如:OS_INT_ACTIVE硬中断发生的时候。

STATIC INLINE VOID LOS_Schedule(VOID)

{

if (OS_INT_ACTIVE) {//发生硬件中断,调度被阻塞

OsPercpuGet()-》schedFlag = INT_PEND_RESCH;//

return;

}

OsSchedPreempt();//抢占式调度

}

excFlag标识CPU的运行状态,只在多核CPU下可见。

#if (LOSCFG_KERNEL_SMP == YES)

typedef enum {

CPU_RUNNING = 0, /* cpu is running */ //CPU正在运行状态

CPU_HALT, /* cpu in the halt */ //CPU处于暂停状态

CPU_EXC /* cpu in the exc */ //CPU处于异常状态

} ExcFlag;

#endif

以上为内核对CPU描述的全貌,不是很复杂.

编辑:hfy

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • cpu
    cpu
    +关注

    关注

    68

    文章

    10816

    浏览量

    210945
  • 定时器
    +关注

    关注

    23

    文章

    3235

    浏览量

    114379
  • 多线程
    +关注

    关注

    0

    文章

    277

    浏览量

    19910
  • 控制信号
    +关注

    关注

    0

    文章

    162

    浏览量

    11945
收藏 人收藏

    评论

    相关推荐

    鸿蒙内核源码Task/线程技术分析

    前言 在鸿蒙内核中,广义上可理解为一个Task就是一个线程 一、怎么理解Task 1. 官方文档是怎么描述线程 基本概念 从系统的角度看,线程是竞争系统资源的最小运行单元。线程可以使用或等待C
    的头像 发表于 10-18 10:42 2165次阅读
    <b class='flag-5'>鸿蒙</b><b class='flag-5'>内核</b>源码Task/线程<b class='flag-5'>技术</b>分析

    RT-Thread内核对象初始化链表组织方式

    最近在看RT-Thread内核的源码,内核对象使用链表组织。
    发表于 06-02 09:48 712次阅读
    RT-Thread<b class='flag-5'>内核对</b>象初始化链表组织方式

    RT-Thread内核对象管理介绍

    继续研究RT-Thread 最基础,最重要的概念:内核对象。
    发表于 06-02 09:48 410次阅读
    RT-Thread<b class='flag-5'>内核对</b>象管理介绍

    如何同时等待多个内核对象的返回?

    [size=13.3333px]uc/os3中,为什么在等待多个内核对象时,一旦有一个对象被发送了,OSPendMulti()就要返回?
    发表于 10-21 00:11

    ucosIII同时等待多个内核对象为什么内核对象不回到0

    原子的ucosIII历程ucosIII同时等待多个内核对象,一开始没有使用按键时准备好的内核对象是0,但是使用过按键并且等到内核对象之后,一直没有回复到0是什么原因
    发表于 04-13 00:14

    鸿蒙技术特刊——第一期 上线了!

    第三部分 鸿蒙内核源码分析by:图解鸿蒙源码逐行注释分析第一节 用通俗的语言来描述鸿蒙内核第二
    发表于 12-09 14:52

    每日推荐 | 鸿蒙IPC开发板免费试用,OpenHarmony内核对象队列算法详解

    贴评论区进行申请就能获得试用机会,大家冲鸭~3、OpenHarmony:内核对象队列之算法详解(上)推荐理由:本文希望通过分享 OpenHarmony 的 LiteOS-M 内核对象队列的算法详解,让
    发表于 08-10 10:26

    RT_Thread文档—内核对象模型-静态对象与动态对象存储位置疑问求解

    在文档学习中看到其对静态内核对象与动态对象描述:“内核对象分为两类:静态内核对象和动态内核对象,静态内核
    发表于 03-14 10:28

    UCOS扩展例程- UCOSIII同时等待多个内核对

    UCOS扩展例程- UCOSIII同时等待多个内核对
    发表于 12-14 17:24 8次下载

    鸿蒙内核源码分析之任何管理多个CPU?

    这是内核对CPU描述,主要是两个排序链表,一个是任务的排序,一个是定时器的排序.什么意思? 在
    的头像 发表于 04-25 09:24 1558次阅读
    <b class='flag-5'>鸿蒙</b><b class='flag-5'>内核</b>源码分析之任何管理多个<b class='flag-5'>CPU</b>?

    鸿蒙内核源码分析:task是内核调度的单元

    从系统的角度看,线程是竞争系统资源的最小运行单元。线程可以使用或等待CPU、使用内存空间等系统资源,并独立于其它线程运行。 鸿蒙内核每个进程内的线程独立运行、独立调度,当前进程内线程的调度不受其它
    发表于 11-23 15:51 22次下载
    <b class='flag-5'>鸿蒙</b><b class='flag-5'>内核</b>源码分析:task是<b class='flag-5'>内核</b>调度的单元

    RT-Thread 内核学习笔记 - 内核对象链表结构深入理解

    RT-Thread 内核学习笔记 - 内核对象rt_objectRT-Thread 内核学习笔记 - 内核对象管理RT-Thread 内核
    发表于 01-25 18:23 6次下载
    RT-Thread <b class='flag-5'>内核</b>学习笔记 - <b class='flag-5'>内核对</b>象链表结构深入理解

    RT-Thread 内核学习笔记 - 内核对象初始化链表组织方式

    RT-Thread 内核学习笔记 - 内核对象rt_objectRT-Thread 内核学习笔记 - 内核对象管理RT-Thread 内核
    发表于 01-25 18:24 3次下载
    RT-Thread <b class='flag-5'>内核</b>学习笔记 - <b class='flag-5'>内核对</b>象初始化链表组织方式

    RT-Thread 内核学习笔记 - 内核对象操作API

    RT-Thread 内核学习笔记 - 内核对象rt_objectRT-Thread 内核学习笔记 - 内核对象管理RT-Thread 内核
    发表于 01-25 18:26 7次下载
    RT-Thread <b class='flag-5'>内核</b>学习笔记 - <b class='flag-5'>内核对</b>象操作API

    RT-Thread 内核学习笔记 - 内核对象rt_object

    背景 {代码...} 内核对象控制块 {代码...} {代码...} 导火索 {代码...} void print_kernel_object_size(void){ {代码...} }MSH_CMD_EXPO...
    发表于 01-25 18:46 0次下载
    RT-Thread <b class='flag-5'>内核</b>学习笔记 - <b class='flag-5'>内核对</b>象rt_object