# LiteOS进程调度

**Repository Path**: ssh1y/lite-os-process-scheduling

## Basic Information

- **Project Name**: LiteOS进程调度
- **Description**: v4.1版本进程模块初始化，以及任务创建引起的任务调度场景构建
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 1
- **Forks**: 0
- **Created**: 2024-08-13
- **Last Updated**: 2024-10-18

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

## 简介

为了减小cbmc的求解空间，特地做以下调整：
 - 将LOSCFG_BASE_CORE_PROCESS_LIMIT修改为3，LOSCFG_BASE_CORE_TSK_LIMIT修改为6
 - 将OS_TASK_PRIORITY_LOWEST修改为4
 - 将OS_TCB_NAME_LEN修改为6
 - 将OS_PRIORITY_QUEUE_NUM修改为5
 - 将OS_PROCESS_PRIORITY_LOWEST修改为4
 - 将OS_USER_PROCESS_PRIORITY_HIGHEST修改为1

如需做任务优先级的进一步更改，需要修改的地方有三处：
- 1、OS_PROCESS_PRIORITY_LOWEST和OS_TASK_PRIORITY_LOWEST的定义
- 2、los_priority.c中的PRIQUEUE_PRIOR0_BIT，例如32的优先级数量值就是0x80000000，刚好是第32位为1；5的优先级数量就是0x10，刚好是第5位为1
- 3、HPFRunqueueTopTaskGet函数中的找寻basePriority和priority的CLZ函数，具体看注释