鸿蒙内核源码分析(CPU篇) | 内核是如何描述CPU的 ?

系统
文章由鸿蒙社区产出,想要了解更多内容请前往:51CTO和华为官方战略合作共建的鸿蒙技术社区https://harmonyos.51cto.com

[[391700]]

想了解更多内容,请访问:

51CTO和华为官方合作共建的鸿蒙技术社区

https://harmonyos.51cto.com

本篇说清楚CPU

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

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

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

所以理解CPU就要先理解任务,任务是理解内核的主线,把它搞明白了分析内核就轻轻松松,事半功倍了.看似高深的CPU只不过是搂草打兔子.

不相信?那就看看内核对CPU是怎么描述的吧.本篇就围绕这个结构体展开说.

内核如何描述CPU?

[[391701]]

  1. typedef struct {//内核对cpu的描述 
  2.     SortLinkAttribute taskSortLink;             /* task sort link */    //task wait/delay 排序链表 
  3.     SortLinkAttribute swtmrSortLink;            /* swtmr sort link */   //定时器排序链表 
  4.     UINT32 idleTaskID;                          /* idle task id */      //空闲任务ID 见于 OsIdleTaskCreate 
  5.     UINT32 taskLockCnt;                         /* task lock flag */    //任务锁的数量,当 > 0 的时候,需要重新调度了 
  6.     UINT32 swtmrHandlerQueue;                   /* software timer timeout queue id */   //软时钟超时队列句柄 
  7.     UINT32 swtmrTaskID;                         /* software timer task id */    //软时钟任务ID 
  8.     UINT32 schedFlag;                           /* pending scheduler flag */    //调度标识 INT_NO_RESCH INT_PEND_RESCH 
  9. #if (LOSCFG_KERNEL_SMP == YES) 
  10.     UINT32 excFlag;                             /* cpu halt or exc flag */  //CPU处于停止或运行的标识 
  11. #endif 
  12. } Percpu; 

结构体不复杂,但很重要,一个一个掰开了说.

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

◊ 主动中断情况, 例如:主动delay300毫秒,这是应用层很常见的操作.

◊ 被动中断情况, 例如:申请互斥锁失败,等待某个事件发生 等等. 发生这些情况时任务将被挂到taskSortLink上.

  1. UINT32 OsTaskWait(LOS_DL_LIST *list, UINT32 timeout, BOOL needSched) 
  2.     LosTaskCB *runTask = NULL
  3.     LOS_DL_LIST *pendObj = NULL
  4.  
  5.     runTask = OsCurrTaskGet();//获取当前任务 
  6.     OS_TASK_SCHED_QUEUE_DEQUEUE(runTask, OS_PROCESS_STATUS_PEND);//将任务从就绪队列摘除,并变成阻塞状态 
  7.     pendObj = &runTask->pendList; 
  8.     runTask->taskStatus |= OS_TASK_STATUS_PEND;//给任务贴上阻塞任务标签 
  9.     LOS_ListTailInsert(list, pendObj);//将阻塞任务挂到list上,,这步很关键,很重要! 
  10.     if (timeout != LOS_WAIT_FOREVER) {//非永远等待的时候 
  11.         runTask->taskStatus |= OS_TASK_STATUS_PEND_TIME;//阻塞任务再贴上在一段时间内阻塞的标签 
  12.         OsAdd2TimerList(runTask, timeout);//把任务加到定时器链表中 
  13.     } 
  14.  
  15.     if (needSched == TRUE) {//是否需要调度 
  16.         OsSchedResched();//申请调度,里面直接切换了任务上下文,至此任务不再往下执行了. 
  17.         if (runTask->taskStatus & OS_TASK_STATUS_TIMEOUT) {//这条语句是被调度再次选中时执行的,和上面的语句可能隔了很长时间,所以很可能已经超时了 
  18.             runTask->taskStatus &= ~OS_TASK_STATUS_TIMEOUT;//如果任务有timeout的标签,那么就去掉那个标签 
  19.             return LOS_ERRNO_TSK_TIMEOUT; 
  20.         } 
  21.     } 
  22.     return LOS_OK; 
  23. LITE_OS_SEC_TEXT STATIC INLINE VOID OsAdd2TimerList(LosTaskCB *taskCB, UINT32 timeOut) 
  24.     SET_SORTLIST_VALUE(&taskCB->sortList, timeOut);//设置idxRollNum的值为timeOut 
  25.     OsAdd2SortLink(&OsPercpuGet()->taskSortLink, &taskCB->sortList);//将任务挂到定时器排序链表上 
  26. #if (LOSCFG_KERNEL_SMP == YES)//注意:这里的排序不是传统意义上12345的排序,而是根据timeOut的值来决定放到CPU core哪个taskSortLink[0:7]链表上 
  27.     taskCB->timerCpu = ArchCurrCpuid(); 
  28. #endif 

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

● 定时器相关三个变量,在系列篇定时器机制篇中已有对定时器的详细描述,可前往查看.

  1. SortLinkAttribute swtmrSortLink;//CPU要处理的定时器链表 
  2. UINT32 swtmrHandlerQueue; //队列中放各个定时器的响应函数 
  3. UINT32 swtmrTaskID; // 其实就是 OsSwtmrTaskCreate 

搞明白定时器的机制只需搞明白: 定时器(SWTMR_CTRL_S),定时任务(swtmrTaskID),定时器响应函数

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

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

  1. LITE_OS_SEC_TEXT WEAK VOID OsIdleTask(VOID) 
  2.     while (1) {//只有一个死循环 
  3.     #ifdef LOSCFG_KERNEL_TICKLESS //低功耗模式开关, idle task 中关闭tick 
  4.     if (OsTickIrqFlagGet()) { 
  5.         OsTickIrqFlagSet(0); 
  6.         OsTicklessStart(); 
  7.     } 
  8.     #endif 
  9.         Wfi();//WFI指令:arm core 立即进入low-power standby state,等待中断,进入休眠模式。 
  10.     } 
  11.  
  12. 一个死循环,只有一条汇编指令`Wfi`. 啥意思? 
  13. `WFI`(Wait for interrupt):等待中断到来指令. `WFI`一般用于cpuidle,WFI 指令是在处理器发生中断或类似异常之前不需要做任何事情。具体在[鸿蒙内核源码分析(总目录)](https://my.oschina.net/u/3751245/blog/4626852)自旋锁篇中有详细描述,可前往查看. 

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

● schedFlag 调度的标签.

  1. typedef enum { 
  2. INT_NO_RESCH = 0,   /* no needs to schedule *///不需要调度 
  3. INT_PEND_RESCH,     /* pending schedule flag *///阻止调度 
  4. } SchedFlag; 

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

  1. STATIC INLINE VOID LOS_Schedule(VOID) 
  2.     if (OS_INT_ACTIVE) {//发生硬件中断,调度被阻塞 
  3.         OsPercpuGet()->schedFlag = INT_PEND_RESCH;// 
  4.         return
  5.     } 
  6.     OsSchedPreempt();//抢占式调度 

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

  1. #if (LOSCFG_KERNEL_SMP == YES) 
  2. typedef enum { 
  3.     CPU_RUNNING = 0,   /* cpu is running */     //CPU正在运行状态 
  4.     CPU_HALT,          /* cpu in the halt */    //CPU处于暂停状态 
  5.     CPU_EXC            /* cpu in the exc */     //CPU处于异常状态 
  6. } ExcFlag; 
  7. #endif 

以上为内核对CPU描述的全貌,不是很复杂.多CPU的协同工作部分在后续篇中介绍.

参与贡献

访问注解仓库地址

Fork 本仓库 >> 新建 Feat_xxx 分支 >> 提交代码注解 >> 新建 Pull Request

新建 Issue

想了解更多内容,请访问:

51CTO和华为官方合作共建的鸿蒙技术社区

https://harmonyos.51cto.com

 

责任编辑:jianghua 来源: 鸿蒙社区
相关推荐

2021-04-09 16:39:41

鸿蒙HarmonyOS应用

2021-07-06 09:45:03

鸿蒙HarmonyOS应用

2021-03-11 11:14:39

鸿蒙HarmonyOS应用

2021-01-22 09:47:22

鸿蒙HarmonyOS应用开发

2021-03-15 15:18:16

鸿蒙HarmonyOS应用

2009-12-21 11:16:56

Fedora内核源码

2021-04-02 09:42:54

鸿蒙HarmonyOS应用

2021-04-01 17:36:30

鸿蒙HarmonyOS应用开发

2021-04-07 15:11:26

鸿蒙HarmonyOS应用

2021-03-30 15:30:44

鸿蒙HarmonyOS应用开发

2021-04-12 18:14:56

鸿蒙HarmonyOS应用开发

2021-03-11 16:07:40

鸿蒙HarmonyOS应用开发

2022-03-31 16:26:49

鸿蒙源码分析进程管理

2022-04-13 11:02:12

鸿蒙事件模块事件Event

2022-03-03 18:28:28

Harmony进程任务管理模块

2022-03-11 20:23:14

鸿蒙源码分析进程管理

2011-07-28 10:11:04

CPU开源Linux内核3.1

2021-04-01 09:38:02

鸿蒙HarmonyOS应用

2021-03-24 17:18:41

鸿蒙HarmonyOS应用开发

2021-05-10 08:20:32

CPU 符号整数
点赞
收藏

51CTO技术栈公众号