四合院开局四八，八岁带妹逃荒 第669章 思想的钢印！

刺目的红光，将实验室里每一个人的脸都映照得如同鬼魅。看小说就来m.BiQugE77.NET

空气凝固了。

刚刚还因“abab”的交替出现而沸腾的喜悦，被这突如其来的“内核恐慌”彻底浇灭，连一丝余温都没有剩下。

如果说之前的“死循环”是陷入泥潭，至少还能看到岸边。

那么此刻的“内核恐慌”，就好像脚下的地面突然消失，整个人坠入了无尽的虚空，连挣扎的方向都找不到。

“不可能……绝对不可能……”

黄建功失神地喃喃自语，他无法接受这个结果。

他的大脑在疯狂运转，一遍又一遍地回放着`task_yield`函数的每一行机器码。

`push {r0-r15, lr}` - 保存所有寄存器到当前堆栈。

`mov r0, sp` - 获取当前的堆栈指针。

`ldr r1, =current_task_pcb` - 加载当前任务pcb的地址。

`str r0, [r1, #4]` - 将堆栈指针的值，保存到pcb的特定偏移位置（比如偏移4个字节处）。

……

`ldr r1, =next_task_pcb` - 加载下一个任务pcb的地址。

`ldr r0, [r1, #4]` - 从下一个任务的pcb中，读取它上次保存的堆栈指针。

`mov sp, r0` - 恢复堆栈指针！

`pop {r0-r15, pc}` - 弹出所有寄存器，并跳转到新任务。

逻辑天衣无缝！

每一个步骤都完美地实现了“上下文切换”的理论！

他确信，自己保存了任务a的堆栈指针，并且在切换到任务b之前，正确地恢复了任务b的堆栈指针。

为什么系统会报告“无效堆半指针”？

难道是……

一个可怕的念头，在黄建功的脑海中闪过。

“快！”他猛地回头，对着硬件组的周老吼道，“周老！查一下‘盘古之心’的硬件手册！关于堆栈指针sp，有没有什么我们不知道的特性！”

周老也是满头大汗，他立刻带着人，冲到另一边堆满资料的桌子前，翻箱倒柜地找了起来。

钱学敏也强迫自己从震惊中冷静下来，她走到黄建功身边，声音干涩地问道：“建功，有没有可能……是两个任务，用了同一个堆栈？”

黄建功浑身一震。

他猛地看向钱学敏，眼神中充满了惊疑。

“你的意思是……”

“你想想，”钱学敏的思路像一道闪电，划破了混乱的局面，“我们创建了任务a和任务b。但是，我们好像……忘了给它们各自指定一块独立的内存，作为它们自己的堆栈空间！”

黄建功的脸色，瞬间变得惨白。

他明白了。

他彻底明白了！

这是一个如此巨大，却又如此隐蔽的，思想上的钢印！

在他们的潜意识里，在过去所有的编程经验里，一个程序，永远只有一个堆栈！

整个系统，从头到尾，都共享着那块由系统在启动时分配好的，唯一的堆栈内存。

所以，当他们设计“天枢”内核时，尽管他们天才般地想到了要为每个任务保存寄存器、程序计数器等“上下文”。

但他们，却完完全全，彻彻底底地，忽略了最重要的一样东西！

堆栈！

每个任务，都应该有自己独立的，互不干扰的堆栈空间！

而他们做了什么？

他们让任务a和任务b，共用了同一个堆栈！

黄建功的脑海中，瞬间浮现出灾难发生的全过程。

1. 系统启动，分配了一个全局堆栈。

2. 任务a开始运行，它调用了一些函数，在堆栈里压入了一些自己的数据，比如局部变量、返回地址。

3. 任务a调用`system_yield()`，触发任务切换。

4. “天枢”内核执行，将任务a的寄存器（包括那个指向公共堆栈的sp指针）保存到任务a的pcb里。

5. 内核切换到任务b。

6. 任务b开始运行。它也调用了函数，它也需要在堆栈里压入数据。但是！它使用的，是和任务a完全相同的那个堆栈！

7. 于是，任务b的数据，就把任务a之前存放在堆栈里的数据，给覆盖了！冲掉了！

灾难，在这一刻就已经注定。

8. 任务b运行了一会儿，也调用了`system_yield()`。

9. 内核再次切换，轮到任务a运行。

10. 内核从任务a的pcb里，恢复了任务a所有的寄存器，包括那个sp指针。

11. 任务a从上次暂停的地方继续执行。它准备从堆栈里弹出自己之前存入的返回地址，准备返回上一个函数。