整理了之前关于内存分配器形式化建模的笔记，准备写一篇总结文章。