从零开始构建嵌入式实时操作系统—重构

1、前言

本人是一个普通的中年程序员,并不是圈内的大牛,写嵌入式操作系统这一系列的文章并不是要显示自己的技术,而是出于对嵌入式的热爱。非常幸运,本人毕业后的十几年一直从事嵌入式行业,遇到过各种坑,也收获过各种喜悦。希望嵌入式操作系统系列文章能对其它的嵌入式爱好者能有所帮助,帮助热爱嵌入式行业的朋友快速了解嵌入式操作系统的运行原理。

我将一步一步地完善我们的嵌入式实时操作系统enuo,每完成一步软件的构建,我将输出一篇总结性的文件,来分享软件构建过程,并开源软件工程和源码。

操作系统enuo的名字来源于我5岁儿子的伊诺,希望在我的守护下enuo和伊诺都能健康快乐,茁壮成长!

2、设计背景

书接上文我们完成了一个可以实现任务切换的软件工程V0.01版本。V0.01版本的软件工程中包含:main.c ,startup_ stm32f401xc.s 和 readme三个文件。startup_ stm32f401xc.s 文件为STM32F401的启动文件,main.c文件实现任务初始化,任务切换和任务轮询调度功能,readme文件用于记录版本修改日志。

V0.01版只能算一个功能验证型软件,接下来需要使用正规的软件设计方法来改造和重构整个工程,使软件系统具有较高的扩展性,移植性,复用性和可读性。

3、设计目标

首先运用软件设计五大原则中的单一原则,建立一个独立的文件夹enuo用于存放于操作系统相关的源文件,每个源文件完成一个单一的功能。使用“分而治之”的设计思维,并将操作系统分为多个功能单一的模块,每个模块以一个C文件的形式承载,这样就提高了软件的可读性和移植性。

其次同时使用面向对象的设计思维,将任务设计为一个抽象的对象,任务对象将任务的信息封装起来,这样就提高了软件的扩展性和复用性。虽然C语言不是面向对象编程语言,但是通过一些设计技巧可以实现面向对象设计。

最后构建一个任务链表用于加入和删除任务。链表数据结构可以在保留原有物理顺序的情况下,高效地插入和删除。

4、设计环境

硬件环境是使用STM32F401RE为核心的自制开发板。

软件环境是使用的KEIL V5.2 开发工具。

5、设计过程

(1)构建任务对象

任务对象包含一个栈指针和一个任务链表,其定义如下:

任务栈指针为第一个元素,这样栈指针就和任务对象为同一个地址(结构体的第一个元素就是结构体的首地址),这样就可以极大的简化任务切换过程中对栈指针的操作。

任务栈指针指向用户为任务定义的静态数据块,通常情况下任务栈是一个全局静态数组,数组的大小就是任务栈的大小。

任务链表的作用是将多个任务串联起来,方便依次检索和操作。

(2)构建链表结构

我们使用链表结构来存放任务对象,使用链表结构有如下优势:

1、在保留原有物理顺序的情况下,插入和删除速度快,效率高。插入和删除只需要改变几个指针变量。

2、链表中的表项数量没有上限。存储的表项上限只与内存空间大小有关,理论上如果内存无限大,链表中的表项可以动态增加到无限个。

3、动态分配内存,需要用多少个表项,就分配几个表项,不需要预先分配内存,不存在内存浪费的情况。

链表结构定义如下:

链表采用的是数据中包含链表的数据结构,采用这种方式的优点是:当用户数据结构改变时,整个链表结构可以保持不变,不同的用户数据可以通用这一个的链表结构。示意图如下:

数据中包含链表的数据结构,在操作链表后无法得到整个数据对象的地址。由下图可知图可知我们通过next指针可以得到下一个list元素的地址,但是我们无法获取整个数据对象的地址。

在链表结构中增加一个void * owner指针,void * 类型指针可以指向任意类型的对象,用这个指针指向整个数据对象的地址,这样就可以定位到整个数据对象的地址。

复制struct list_node_def

{

struct list_node_def * next; /* 指向下一个列表节点 */ struct list_node_def * previous; /* 指向上一个列表节点 */ void *owner; /* 指向链表节点数据结构 */};1.2.3.4.5.6.
哨兵机制(表头机制)

哨兵是一个哑对象,作用是简化边界条件处理。使用哨兵机制(表头机制)后链表在空状态和非空状态插入和删除对象的操作是相同的,这样可以使得代码紧凑,清晰。

复制typedef struct list_def

{

list_node_t *index; /* 索引指针 */ list_node_t head; /* 列表头 */ } list_t;1.2.3.4.5.
(3)任务初始化

任务初始化代码如下:

在创建任务之前,需要定义任务栈空间和用户任务函数:

复制/********************************************************************************************************** @名称 : enuo* @作者 : 李巍**********************************************************************************************************/#define STACK_NUM (64

)

/* 任务0-任务2栈空间 */uint32_t task0_stack[STACK_NUM

];

uint32_t task1_stack[STACK_NUM

];

uint32_t task2_stack[STACK_NUM

];

/* 任务0-任务2对象*/task_tcb_t my_task0

;

task_tcb_t my_task1

;

task_tcb_t my_task2

;

void task0(void

)

{

static uint16_t clk = 0

;

while(1

)

{

if( ( ( clk++ )%9999 ) == 0

)

{

task_debug_num0++; /* 测试跟踪 */ test_function

();

}

}

}1.2.3.4.5.6.7.8.9.10.11.12.13.14.15.16.17.18.19.20.21.22.23.24.25.

task_create函数代码如下:

复制void task_create(task_tcb_t *task , task_function_t function ,uint32_t *stack_space ,uint32_t stack_number

)

{

list_node_t * node_tail = &task_list.head

;

/* 寻求列表尾端 */ while( node_tail->next != NULL

)

node_tail = node_tail->next

;

/* 任务列表加入下一个任务 */ node_tail->next = &task->task_list

;

/* 列表所有者指针指向任务 */ task->task_list.owner = task

;

/* 当前任务下个列表指针设置为空 */ task->task_list.next = NULL

;

/* 初始化任务栈 */ task_stack_init( (uint32_t *)task, function , stack_space , stack_number

);

}1.2.3.4.5.6.7.8.9.10.11.12.13.14.15.

task_create函数完成任务链表操作,初始化任务栈指针和任务栈空间。

task_stack_init代码如下:

复制void task_stack_init(uint32_t *stack_pointer

,

task_function_t task

,

uint32_t *stack_space

,

uint32_t stack_number

)

{

/* 将任务psp栈指针指向任务栈底部*/ *stack_pointer = ( (uint32_t)stack_space + ( (stack_number - 16)<<2

) );

/* 初始化任务栈中的程序寄存器 */ *( (uint32_t *)( (uint32_t )( *stack_pointer) + (14<<2) ) ) = ( uint32_t )task

;

/* 初始化任务栈中的XPSR*/ *( (uint32_t *)( (uint32_t )( *stack_pointer) + (15<<2) ) ) = 0x01000000

;

}1.2.3.4.5.6.7.8.9.10.11.12.
(4)开始调度任务

完成任务创建之后,就可以开始调度任务,开始调度任务代码如下:

enuo_schedule函数代码如下:

复制/********************************************************************************************************** @名称 : enuo* @作者 : 李巍**********************************************************************************************************/__asm void start_schedule(void

)

{

/* 设置CONTROL寄存器 配置PSP栈指针模式 */ MOV R0 ,#0X02 MSR CONTROL,R0 /*读取current_task 地址 */ LDR R3, =__cpp(¤t_task

)

/* 读取curr_task中的PSP指针数值 */ LDR R1,[R3

]

LDR R0,[R1

]

/* 出栈R4-R11八个寄存器 */ LDMIA R0!,{R4-R11

}

/* 设置PSP指针 */ MSR PSP,R0 /* POP 寄存器 POP PC实现跳转 */ POP { R0-R3 , R12 ,R11 ,PC

}

/* 对齐 */ ALIGN 4}1.2.3.4.5.6.7.8.9.10.11.12.13.14.15.16.17.18.19.20.21.22.23.24.25.

enuo_schedule函数主要完成3个功能:

设置处理器栈指针模式。读取current_task 地址。恢复任务寄存器,POP PC实现跳转用户任务代码。(5)调度任务方法

任务调度采用时间片轮转调度,使用SysTick定时器产生定时中断,在定时器中断函数中依次从task_list任务链表中读取任务对象,并用next_task指向新读出的任务对象,最后挂起PendSV系统中断标志位,当SysTick定时器中断函数退出时执行PendSV_Handler进行任务切换。

SysTick定时器中断函数代码如下:

复制/********************************************************************************************************** @名称 : enuo* @作者 : 李巍**********************************************************************************************************/void SysTick_Handler(void

)

{

static list_node_t * node_tail = &task_list.head

;

/* 轮流切换任务 */ if(node_tail->next != NULL

)

{

/* 当下一个列表项不为NULL时 next_task为下一个列表项指向的任务*/ next_task = node_tail->next->owner

;

/* 更新任务指针 */ node_tail = node_tail->next

;

}

else

{

/* 当下一个列表项为NULL时 ,node_tail指向任务列表的表头*/ node_tail = &task_list.head

;

/* next_task为表头指向的下一个的任务*/ next_task = node_tail->next->owner

;

node_tail = node_tail->next

;

}

/* PendSV系统中断置位 */ SCB->ICSR |=SCB_ICSR_PENDSVSET_Msk

;

return

;

}1.2.3.4.5.6.7.8.9.10.11.12.13.14.15.16.17.18.19.20.21.22.23.24.25.26.27.28.
(6)任务切换

任务切换在PendSV_Handler异常(中断)中任务切换。PendSV_Handler函数代码如下:

复制/********************************************************************************************************** @名称 : enuo* @作者 : 李巍**********************************************************************************************************/__asm void PendSV_Handler(void

)

{

/* 读取当前进程栈指针数值 */ MRS R0,PSP //isb /* 保存R4-R11八个寄存器的值到当前任务栈中 同时将回写的地址写入R0 */ STMDB R0!,{R4-R11

}

/* 读取current_task 栈指针地址 */ LDR R3, =__cpp(¤t_task

)

LDR R3, [R3

]

/* 将当前进程PSP指针值 写入 相应的 current_task */ STR R0,[R3

]

/* 获取next_task 栈指针地址 */ LDR R4,=__cpp(&next_task

)

LDR R4,[R4

]

/* 读取next_task中的stack_point指针 */ LDR R0,[R4

]

/* 更新current_task */ LDR R3, =__cpp(¤t_task

)

STR R4,[R3

]

/* 出栈 R4-R11八个寄存器 */ LDMIA R0!,{R4-R11

}

/* 设置PSP指针 */ MSR PSP,R0 /* 中断返回 */ BX LR /* 对齐 */ ALIGN 4}1.2.3.4.5.6.7.8.9.10.11.12.13.14.15.16.17.18.19.20.21.22.23.24.25.26.27.28.29.30.31.32.33.34.

PendSV_Handler函数完成以下3个功能:

进入PendSV_Handler中断前处理器自动保存了R0,R1,R2,R3, R12,LR,PC,XPSR,进入中断后完成R4~R11入栈保存工作,从而实现任务保存工作。读取current_task 地址将当前进程PSP指针值保存到current_task指向的任务对象中。读取next_task指向的任务对象,并加载任务对象的PSP指针值。出栈 R4-R11八个寄存器,设置PSP指针。中断返回时处理器自动保存了R0,R1,R2,R3 ,R12, LR,PC,XPSR,从而实现任务恢复工作。

6、运行结果

代码仿真运行后的结果如下:

运行结果反应创建的3个任务都得到了调度,说明enuo系统正常工作。

enuo系统目前包括3个文件:

(1)task.h文件

本文件中包含任务对象的定义,链表数据结构的定义和任务列表数据结构的定义。

(2)task.c文件

本文件中包含task_create和enuo_schedule两个函数。task.c文件只用于存放与任务操作相关的函数(符合单一原则)。

(3)interface.c文件

本文件中包含SysTick_Handler,PendSV_Handler,start_schedule和task_stack_init三个函数。interface.c文件只用与存放跟处理器相关的操作。后期更换处理器时只用修改这个文件即可,增强了系统的移植性。

阅读剩余
THE END