博文
新书出版 - 《NewBluePill:深入理解硬件虚拟机》
||||
现在云计算很流行，其基础是虚拟机技术的成熟。我们实验室对硬件虚拟化技术研究了很长时间，于淼在深入分析源代码的基础上，撰写了本书，经过多次修改，历时超过2年，终于在清华出版社出版了 [ http://product.china-pub.com/56587 ]。
https://m.sciencenet.cn/blog-279072-463413.html
上一篇：类型系统 和unification/semi-unification算法-1
下一篇：类型系统 和unification/semi-unification算法-2
NewBluePill是国外的虚拟机开源项目，并征得该软件开发人员同意，以此来蓝本撰写了本书，BluePill本身名字也很有意思，就是电影《黑客帝国》里面来虚拟世界和现实世界进行转换的药丸。
目前关于虚拟机的书也有不少，本书的主要想法就是根据源代码来解释虚拟机的原理。没有具体的源代码，很多概念停留于文字解释，是无法搞清楚其内在实际运作。随着国内研究水平的提高，已经不能满足于从国外翻译一些技术材料。国内有赵炯的linxu源代码的书籍，浙大有一本深入理解linux内核的书，写得很好。本书的风格尽量参考这些操作系统内核的写法。
希望抛砖引玉，能够让我们国内对计算机系统的教学和研究更上一个台阶。
https://m.sciencenet.cn/blog-279072-463413.html
上一篇：类型系统 和unification/semi-unification算法-1
下一篇：类型系统 和unification/semi-unification算法-2
