内存碎片与连续块分配

根据当前提供的实现说明，HRTOS 使用 OS_MEMORY 作为内存映射位图，并以连续空闲块搜索的方式为任务栈寻找空间。 每一位对应一个最小分配单元，位图状态反映该单元是否已经占用。

分配粒度：2 bytes
映射区域：OS_USER_RAM_INIT → OS_USER_RAM_EXIT

OS_MEMORY[x] bit = 1  // 已占用
OS_MEMORY[x] bit = 0  // 空闲

按你提供的 os_task_create 逻辑描述，分配器扫描位图：遇到空闲位就累计连续长度； 遇到已占用位则清零。连续长度达到任务所需块数后，便可以确定候选区域。

k = 0;

for (i = 0; i < total_blocks; i++) {
    if (bitmap[i] == 0) {
        k++;
    } else {
        k = 0;
    }

    if (k >= required_blocks) {
        /* 已找到满足连续长度的候选区域 */
        /* 实际分配、标记与循环退出行为以源码为准 */
    }
}

i = OS_USER_RAM_INIT + (index * 2) + 1;
SP = i;

OS_INSIDE_STACK_USE_MAXIMUM = i + sd * 2;

这组表达式体现了按两字节粒度计算位置的思路。 index 决定分配单元在映射区中的偏移， SP 由计算出的地址设置， 而 OS_INSIDE_STACK_USE_MAXIMUM 则根据栈需求计算另一个边界值。

为什么任务生命周期可能影响空间分布？

如果任务栈从一个连续区域中分配，任务创建与删除会改变位图中的占用分布。 当不同生命周期的任务交错创建和删除时，可能形成多个分离的空闲区间。 是否能再次利用这些区间，取决于删除时是否清除相应位图标记，以及后续搜索能否找到足够长的连续区域。

需要区分的三个指标

建议重点验证的项目

• 申请失败时，位图和栈地址是否保持一致。
• 任务删除后，对应分配单元是否被正确释放。
• 连续空闲块的搜索起点、终止条件和边界是否正确。
• 不同栈深度请求能否复用已释放区域。
• 重复创建与删除任务后，内存映射是否出现残留占用。