寄存机器上的垃圾回收

很久没更新公众号了。近期换季身体有点差躺了几天，再加上确实产不出什么内容，所以怠惰了，请原谅我~

logic programming部分介绍了一种query language及其实现，因为内容实在过于琐碎繁杂，而且这个方向现在也没有什么热度，我就简单在豆瓣笔记上总结了一下，有兴趣的自取：

接着，直接来从更底层更硬件的视角去解构所谓的高级程序，用数据通路和寄存器模型来描绘寄存机器是如何实现程序的，比如把求a和b的最大公约数描述成如下的机器：

当然，这样类似汇编风格的语言描述很浅显也很常见，所以我把重点放在了怎样用高级语言去模拟实现这种寄存机器语言的解释，对很多实现细节，包括编程技巧在内进行了详细的解读，详见我的博客或知乎专栏文章