天才一秒记住【狂风中文网】地址：https://www.kfzw.net
里奇后退两步，靠在椅背上，双手交叉在胸前。
他不是在刁难，他只是充满好奇。
这个问题不是凭空產生的，而是他真切遇到过的问题。
所以，里奇也在思考。
同样地，他也期待眼前这个年轻人，能给出一个让他感到新奇的解法。
就像他之前做到的那样。
李林深深吸了一口气。
此刻他脑海中有混乱、有震惊，但唯独没有恐惧。
因为他並没有从里奇身上感受到恶意。
这只是一个挑战。
一个他必须接受的挑战。
这就是c语言之父的威能吗，连繫统这种產物都得被他压制。
幸好，李林的知识都装在脑子里。
“呼——”
他没有急著动手，而是先试著理顺思路，说出了自己的思考，
“要真正解决问题，必须依靠系统本身防御错误的能力。
毕竟，错误就像现实世界的熵增，一定会发生。
所以，逻辑不仅要正確，还要设置防线。”
“那就让分配器自己处理。”
里奇的声音从虚空中传来，他的思路逐渐与李林重合，
“唯一的目標是，不许崩溃。”
李林点点头，似乎是同意了里奇的说法。
他重新抬起手，尝试在方格纸上构筑新的秩序。
这一次，他从逻辑入手，为它加上了一道免疫防线。
他修改了分配器，给每一个內存块的头信息添加了一个状態標记。
分別代表已分配、空閒、已释放。
释放一块內存之前，先检查它的状態。
如果状態已经是“空閒”
或“已释放”
，说明它已经被释放过了。
这时候不再执行合併操作，而是直接拒绝第二次释放，记录一条错误信息，然后返回。
“状態机？”
里奇的声音再次响起，语气里带著不加掩饰的惊喜。
他知道，他赌对了。
“你给每一个內存块赋予了一个有限状態机，从而把释放变成了一次带有前置条件验证的状態转移。”
李林点了点头，手指却没有停下来。
因为还不够。
光靠状態標记还不够，错误可能更隱蔽。
李林的大脑在飞速运转，模擬著编程场景中可能出现的错误。
比如，释放了一个不属於任何已分配块的地址呢？
本章未完，请点击下一章继续阅读！若浏览器显示没有新章节了，请尝试点击右上角↗️或右下角↘️的菜单，退出阅读模式即可，谢谢！