Keil自带的操作系统RTX内核---内存管理分析

最新推荐文章于 2024-06-24 10:00:00 发布

特立独行的猫a

最新推荐文章于 2024-06-24 10:00:00 发布

阅读量3.4k

点赞数 1

分类专栏：操作系统文章标签：嵌入式操作系统数据结构编译器 linux 内核链表嵌入式

本文链接：https://blog.csdn.net/yyz_1987/article/details/17732009

版权

操作系统专栏收录该内容

6 篇文章 1 订阅

订阅专栏

Keil RTX 是免版税的确定性实时操作系统，适用于 ARM 和 Cortex-M 设备。使用该系统可以创建同时执行多个功能的程序，并有助于创建结构更好且维护更加轻松的应用程序。关于Keil RTX就不多说了，使用KEil软件作为开发的用到RTX的不少吧。

RTX系统配合KeilMDK软件使用起来还是比较简单的，开发也很方便。RTX系统中的各个模块都是比较独立的，这点很方便学习。其中的内存管理部分在rt_MemBox.c函数中。RTX的动态内存管理，其实就是事先分配了一个全局变量的大数组，只不过把这部分连续内存用指针链表的形式加以灵活管理。可以把RTX这部分内存管理代码摘出来单独为以后自己的应用使用。

看一下代码中的宏两个宏

/* Memory pool for TCB allocation */
_declare_box (mp_tcb, OS_TCB_SIZE, OS_TASKCNT);
U16 const mp_tcb_size = sizeof(mp_tcb);

/* Memory pool for System stack allocation (+ os_idle_demon). */
_declare_box8 (mp_stk, OS_STKSIZE*4, OS_TASKCNT-OS_PRIVCNT+1);

其中的任务控制块mp_tcb和堆栈mp_stk都用到了动态内存管理。因为这样管理起来很方便，比如创建任务和删除任务，要是用数组的话，你必须知道现在处于哪个索引位置，添加任务和删除任务时又处于数组的哪个索引位置。有这种链表的方式，就无需关心这些。

找到这个宏的定义出，就看到了它的真面目，分配了一个大数组，叫它内存池吧。

#define BOX_ALIGN_8 0x80000000
#define _declare_box(pool,size,cnt) U32 pool[(((size)+3)/4)*(cnt) + 3]
#define _declare_box8(pool,size,cnt) U64 pool[(((size)+7)/8)*(cnt) + 2]
#define _init_box8(pool,size,bsize) _init_box (pool,size,(bsize) | BOX_ALIGN_8)

/* Variables */
extern U32 mp_tcb[];
extern U64 mp_stk[];
extern U32 os_fifo[];
extern void *os_active_TCB[];

至于#define BOX_ALIGN_8 0x80000000,这涉及到对齐，

对齐难免造成内存资源浪费，但是也给操作增加了方便，至少访问不会出错吧。

mp_tcb和mp_stk定义了数组的地址，和*mp_tcb差不多吧，但是两者却是有区别的，数组名不等于指针，举个简单例子说，指针变量可以任意给其赋值，但是数组名，能给它赋一个另一个地址吗？数组名指向的地址是确定的。指针是一个变量，变量的值是另外一个变量的地址。那么，既然指针是变量，那么指针必然有自己的存储空间，只不过是该存储空间内的值是一个地址值，而不是别的内容。定义指针是要占一个空间的，因为它是个变量，定义成mp_tcb[]实际是不占空间的。数组名只是一个符号。它们取指运算的效果相同但是不是相等。可以把数组名看做常量指针吧，只是看做但并不是。

使用RTX的内存管理模块之前，先是要定义一个大数组分配内存池，然后就是初始化了。把各个小分区链接起来。

看一下链接用的链表结构：

typedef struct OS_BM {
void *free; /* Pointer to first free memory block */
void *end; /* Pointer to memory block end */
U32 blk_size; /* Memory block size */
} *P_BM;

就是这么个双向链表，把小块的内存链接起来，共用一个内存池。

/*--------------------------- _init_box -------------------------------------*/
int _init_box (void *box_mem, U32 box_size, U32 blk_size)

{
/* Initialize memory block system, returns 0 if OK, 1 if fails. */
void *end;
void *blk;
void *next;
U32 sizeof_bm;
/* Create memory structure. */
if (blk_size & BOX_ALIGN_8) {
/* Memory blocks 8-byte aligned. */
blk_size = ((blk_size & ~BOX_ALIGN_8) + 7) & ~7;
sizeof_bm = (sizeof (struct OS_BM) + 7) & ~7;
}
else {
/* Memory blocks 4-byte aligned. */
blk_size = (blk_size + 3) & ~3;
sizeof_bm = sizeof (struct OS_BM);
}
if (blk_size == 0) {
return (1);
}
if ((blk_size + sizeof_bm) > box_size) {
return (1);
}
/* Create a Memory structure. */
blk = ((U8 *) box_mem) + sizeof_bm;
((P_BM) box_mem)->free = blk;
end = ((U8 *) box_mem) + box_size;
((P_BM) box_mem)->end = end;
((P_BM) box_mem)->blk_size = blk_size;
/* Link all free blocks using offsets. */
end = ((U8 *) end) - blk_size;
while (1) {
next = ((U8 *) blk) + blk_size;
if (next > end) break;
*((void **)blk) = next;
blk = next;
}
/* end marker */
*((void **)blk) = 0;
return (0);
}

至于函数中的(blk_size + 3) & ~3;是做什么用的，看注释就知道了，对齐用的。可以把这个代码摘出来调试一下，

确实是这样，不管你定义的任务控制快是多大，是否是4字节的倍数，通过(blk_size + 3) & ~3;，最终的大小肯定

是4的倍数。

看下这个调用：

rt_init_box (&mp_tcb, mp_tcb_size, sizeof(struct OS_TCB));

U16 const mp_tcb_size = sizeof(mp_tcb);

OS_TCB是任务控制块的结构体，他的大小并不一定是4的倍数，但是经过(blk_size + 3) & ~3;最终每个分配的大小都是4的倍数。

mp_tcb_size肯定也是4的倍数，因为sizeof(mp_tcb)取出来的大小是结构体自动内存对齐过的。

接下来就是内存分配的，其实就是链表的插入与删除操作罢了。

/*--------------------------- rt_alloc_box ----------------------------------*/
void *rt_alloc_box (void *box_mem) {
/* Allocate a memory block and return start address. */
void **free;
int irq_dis;
irq_dis = __disable_irq ();
free = ((P_BM) box_mem)->free;
if (free) {
((P_BM) box_mem)->free = *free;
}
if (!irq_dis) __enable_irq ();
return (free);
}
/*--------------------------- _calloc_box -----------------------------------*/
void *_calloc_box (void *box_mem) {
/* Allocate a 0-initialized memory block and return start address. */
void *free;
U32 *p;
U32 i;
free = _alloc_box (box_mem);
if (free) {
p = free;
for (i = ((P_BM) box_mem)->blk_size; i; i -= 4) {
*p = 0;
p++;
}
}
return (free);
}

/*--------------------------- rt_free_box -----------------------------------*/
int rt_free_box (void *box_mem, void *box) {
/* Free a memory block, returns 0 if OK, 1 if box does not belong to box_mem */
int irq_dis;

if (box < box_mem || box > ((P_BM) box_mem)->end) {
return (1);
}
irq_dis = __disable_irq ();
*((void **)box) = ((P_BM) box_mem)->free;
((P_BM) box_mem)->free = box;
if (!irq_dis) __enable_irq ();
return (0);
}