这是我博士论文的致谢词。半年没更新博客了，一直在忙着论文和博士毕业。终于算是基本上忙完了这一阵，准备开始进入新的人生阶段。感谢每一个在这个过程中给予我关注和帮助的人们！more时间仿佛回到了五年前，当我还在纠结于是否愿意花费至少五年的时间去追求一个博士学位的时候。 当时的我非常不自信，每天算着自己和身边的大神之间的差距，想着自己是否真的适合“博士”这个在我看来如此遥不可及的头衔。 没想到时间就像沙漏中的细沙，在你不知不觉的时候，它就悄然流逝，然而若你细细回忆，却也依然能想起每一颗曾经落下的沙粒。 一晃五年，竟然也到了这个我曾经憧憬过好多次的时刻，似乎将要接近某条道路的终点，我依然是主角， 但是此时更应该讲述的是那些在这条路上给予我无限善意和爱意的人们。博士五载，我首先要感谢自己的导师陈海波教授（我们都亲切地叫他海波），能够成为他的第一个博士生是我一生的荣幸。 我还非常清楚地记得第一次看到他的名字是在复旦大学软件学院的院报《软苑》上， 当时我脑海中没来由地冒出来的想法就是，这个老师看起来好厉害，我一定要加入复旦大学的PPI实验室，成为他的学生。 后来的我如愿以偿，甚至之后在上海交通大学成为了他的第一个博士生，以及未来的员工。 我一直觉得自己的人生总是能在合适的时候遇到贵人，而海波，就是我在大学求学阶段的第一个贵人。 在他的指导和帮助下，我很快就确定了自己博士的研究课题，并且在博二就有 ...继续阅读 (8)

还记得去年的这个时候，由于晚婚假的取消，我和小呆临时决定在2015年的最后一天去吧结婚证给领了，于是乎，以后的每一年，我们的结婚纪念日就可以和跨年一起过了。然而，这也意味着，以后的每一年，我们的结婚纪念日就只有我一个人过了，因为每年的最后一天，银行工作人员都在加班！！！然后，我就一个人在家，默默地打开笔记本，开始写“我的2016”。more就像在我的2015中提到的，2016年可以说算是我人生非常重要的一年吧，拍婚纱照，度蜜月，结婚，以及找工作，一生中几件比较重要的大事都在一年内办掉了，而且总体来说还是比较顺利的，当然，也不可避免地留下了些许遗憾，有得有失才是一个正常的人生嘛。现在站在这一年的最后一天，回想下以前已经发生的那些，思考下以后需要努力的方向，然后就这样静静地跨过2016，迎接2017。按照老传统，流水账的方式，记录一年的时间我都花在哪里了，以及做了哪些事。1月，回厦门参加了小明的婚礼（当一个打酱油的摄影师）；在实验室主要在考虑如何用IPT来做CFI（属于思考idea阶段）；然后就是实验室年会和回家过年啦。2月，生活上，在家过年，商量结婚事宜，各种聚餐，婚检，订婚纱，然后开了家卖茶叶的网店；工作上，一边在想把secage投期刊，一边继续想IPT的idea。3月，生活上，上海定向报名，请“喂啊二提姆”成员到家里吃饭，申请了学校的北斗租车，参加婚博会，确定了婚纱照，申请大通证 ...继续阅读 (6)

继续“那些事儿”系列，这次的主题是Intel的中断处理。参考的资料主要来自Intel文档第三册的第六、第十和第二十九章节，以及这篇文章。其中，有一部分的内容来自于上面提到的那篇文章。以下内容主要围绕下面五个问题来展开：第一，中断是什么，种类有哪些？第二，中断是如何被发送给CPU的？第三，CPU是如何对接收到的中断进行处理的？第四，中断的优先级问题？第五，虚拟化环境对中断提供了哪些支持？接下来会对它们一一进行解答。more中断是什么，种类有哪些？我们经常会将中断（Interrupt）和异常（Exception）混在一起进行说明，可以说，它们有相似的地方，也有不同的地方。相似的地方在于，它们都是因为系统发生了某些事件，使得处理器需要暂停当前的执行流，从而抽出精力（进到某个预先设定好的路径中）来处理这些事件。不同的地方在于它们的来源，以及从事件发生到最终被处理的整条路径都是不一样的。这篇博文主要关注中断，所以对异常就不去详谈了。一般来说，中断主要是由一些硬件设备产生的，表示这些硬件有一些重要的事件需要通知处理器，比如某些从外部设备请求的数据准备好了，需要通知处理器对其进行读取等。当然这里所谓的“一般来说”是指也可以通过软件的方式来触发中断，比如调用INT n指令，当然这种方式产生的中断和通过意见产生的中断最终的处理方式会有很大的不同。 因此从种类来分，可以将中断分为通过硬件产生的外部中断 ...继续阅读 (6)

这是一篇由我负责，我们实验室10位本硕博一起完成的OSDI见闻录，从参会者的角度详细阐述了我们对于2016年系统领域的盛会——OSDI的感受和理解。文章的内容由以下作者共同完成：刘宇涛，上海交通大学IPADS实验室博士五年级洪扬，上海交通大学IPADS实验室博士四年级王夏阳，上海交通大学IPADS实验室博士三年级糜泽羽，上海交通大学IPADS实验室博士二年级华志超，上海交通大学IPADS实验室博士二年级吴明瑜，上海交通大学IPADS实验室博士二年级施佳鑫，上海交通大学IPADS实验室硕士三年级董明凯，上海交通大学IPADS实验室硕士二年级魏星达，上海交通大学IPADS实验室硕士二年级张云昊，上海交通大学IPADS实验室本科四年级整篇文章按照时间顺序分为6个章节，连载发表在了ChinaSys的微信公众号CNSys上。这个博文是对其的一个转载，并且将所有内容整合在了一个篇幅里。希望对相关领域的人有所帮助吧！more今年OSDI在美国乔治亚洲的一个美丽小镇萨凡纳举办，萨凡纳曾经被评为全球最美的十大小镇之一，城中到处都是小广场和公园，电影《阿甘正传》中阿甘坐在长椅上讲故事的广场也是在这里取景。这次上海交大IPADS实验室给我们11个Ph.D. candidates，以及Ph.D.-candidate candidates提供了参会的机会，可以说团队空前强大。整个会场中也时不时响起“I ...继续阅读 (7)

好久没有写博客了，感觉时间飞逝，转眼又到了一年的最后一个月了，不管怎么说这一年自己还是挺有收获的，当然这些是留在年末总结的时候来写的。这篇文章继续之前“那些事儿”系列，这次要介绍的，是关于X86指令编码的“事儿”。如果你之前有见过或者听说过prefix，opcode，ModR/M，escape opcode这些词，但是其实并不是那么清楚它们是什么意思，那么恭喜你，今天你就将得到它们！首先还是先说明下这篇博客主要参考的资料，依旧是来自Intel的文档（这里再次安利下Intel文档，写的非常详细），不过这次是第二册的几个章节（Volume 2 - Chapter 2~4, 以及Appendix A）。more好了，废话不说，直接进入正题。我们知道，CPU在运行的时候认的是一个个二进制的数字（或者人类为了方便说明，一般会把它们先转换成一个个十六进制的数字）。那么，就需要有一套编码机制，告诉计算机，这些数字代表的意思是什么。我们还知道，CPU一般执行的都是一条条的指令，每个指令都有其相对应的含义，以及一些它们所需的附加信息，比如数据读取的原地址，或者写入的目标地址。而CPU就是用之前所谓的编码机制，来识别并且运行这一条条指令的。因此，将这两个合起来，就是我们今天所要讨论的指令编码，如果用一个英文词的话，可以用encoding，如果用两个英文词的话，那就是instruction encodi ...继续阅读 (8)

最近继续看Intel手册，第三卷的第3章和第5章，感觉又学到很多，包括一些之前一直困扰我的问题。这里做一个整理和总结吧。more这里先推荐一篇博文，CPU Rings, Privilege, and Protection，感觉写的非常好，思路很清晰。建议可以先阅读一下。首先提一个问题，为什么在当前的Linux操作系统里面，用户态的程序不能访问内核的数据，不能执行内核的代码，同时不能执行一些特权指令呢？在回答这个问题之前，首先需要明白一个概念，到底什么是用户态和内核态。特权级（privilege levels）特权级是处理器硬件内部维护的一个状态，软件无法直接修改。Intel处理器一共有四个特权级，从高到低分别由0到3表示，即数字越低，表示特权越高，而每个数字即表示了当前CPU运行在哪个特权级上。一般情况下（特别是在64位系统中），系统只会用到这四个特权级中的两个，即0和3，其中0就是所谓的内核态，而3就是用户态。所以说，一个程序运行在用户态的意思，就是该程序所运行的CPU里面的特权级的状态为3，内核态就表示运行内核的CPU的状态为0，仅此而已。当然，这个特权级会和其它的一些机制组合在一起，在触发某些操作的时候进行检查。这个会在之后详细说明。软件如何知道自己运行在哪个特权级上按道理来说，特权级是CPU内部的一个状态，软件是无法对它进行直接修改的。但是Intel为软件提供了一个机制，使 ...继续阅读 (8)

这两天因为某些原因，好好地研究了一下Intel的手册，比较系统地学习了一下和TLB相关的知识。以下内容主要来自Intel手册第三卷的第4章，第11章和第28章。more我们知道，现在内存寻址基本采用的是页表翻译机制，即给定一个虚拟地址，经过2~4层页表，得到一个物理地址。虽然该过程一般由硬件（MMU）完成，但是也会有一定的延迟。因此，为了加速页表翻译的过程，一般的处理器都会有一个翻译信息的缓存机制，在Intel中，有两个相关的机制：TLB和paging-structure cache。TLB，cache的关系如下图所示：当处理器在获取指令或者读取数据的时候，每当遇到一个虚拟地址，会首先通过TLB等地址翻译缓存机制查找该虚拟地址对应的物理地址，如果没有找到对应的条目，则通过内存翻译硬件机制MMU通过走页表的方式查找相应的物理地址，当得到确切的物理地址之后，则会通过cache找到物理地址对应的内存数据，如果cache中没有相应的数据，再去内存中读取。PCID在介绍TLB和paging-structure cache之前，有必要先提一下PCID。PCID的全称是Process-Context Identifiers，如果没有PCID，那么运行在处理器上的软件每次切换CR3，都会造成整个处理器的地址翻译缓存信息（包括TLB和paging-structure cache）被刷掉。而PCID则 ...继续阅读 (8)

这篇博客接着上篇博客，继续介绍Linux内核启动过程中内存的初始化过程。相比于汇编代码，分析C代码有一个优势，因为在之前的汇编代码中已经开启了分页模式，所以可以通过一些symbol直接在某些函数上设置断点，然后通过gdb进行调试。如何用gdb调试内核可以参考这篇博客。more进入x86_64_start_kernel之前我们讲到，在secondary_startup_64最后，我们通过far jump进入了C语言实现的函数x86_64_start_kernel，那么这篇我们就从这个函数开始讲起。这个函数在arch/x86/kernel/head64.c文件中，该函数有一个参数，是char * real_mode_data，这个参数是在之前通过movq %rsi, %rdi传进来的。在该函数的开头，先做了一些sanity检查：12345678910111213/** Build-time sanity checks on the kernel image and module* area mappings. (these are purely build-time and produce no code)*/BUILD_BUG_ON(MODULES_VADDR<__START_KERNEL_map);BUILD_BUG_ON(MODULES_VADDR-__START_KER ...继续阅读 (4)

之前有几篇博客详细介绍了Xen的内存初始化，确实感觉这部分内容蛮复杂的。这两天在看Linux内核启动中内存的初始化，也是看的云里雾里的，想尝试下边看边写，在写博客的过程中慢慢思考，最后也能把自己的思考分享给其它人。more这个系列主要分为两个部分，汇编部分和C语言部分。这篇博文主要介绍的是汇编部分。内核解压缩过程这个过程就不详述了，整个Linux内核是作为一个压缩过的镜像提供的，在执行内核代码之前，首先需要bootloader对其进行一个解压缩，对这部分有兴趣可以参看这篇博客。最初的页表什么样？解压结束后，会进行一个对elf格式的parse，然后对内核进行加载，最后进入arch/x86/kernel/head_64.S中的startup_64。startup_64主要完成分页功能启用，最后跳入C代码x86_64_start_kernel。在开始分析代码之前，我们要先来看看在内核的数据段中，初始化页表是长怎么样的？12345678910111213141516171819202122232425262728293031__INITDATANEXT_PAGE(early_level4_pgt).fill511,8,0.quadlevel3_kernel_pgt-__START_KERNEL_map+_PAGE_TABLENEXT_PAGE(early_dynamic_pgts).fil ...继续阅读 (13)

又到了一年一度的总结时，回忆我的2015。如果用三个词语来总结过去的这一年，我会选择：忙碌，迷惘，以及改变。我向来是一个比较悲观的人，所以在看待自己的生活和成长的时候也会抱着比较悲观的心态。虽然说对于比较遥远的未来，我还算是很有信心的，但是对于短期的“以后”，我确实还是心有所虑，毕竟对于未知的恐惧还是大过对于自我的信心。前两天在微信上看到一个词，叫做冒充者综合征，我觉得很符合自己目前的心态。不管怎么说，人总是在改变着，以及成长着，虽然有时候回过头去看过去的种种，会有一些碌碌无为的感觉，但是做过了的就是做过了，获得了的就摆在那里，失去了的也本来就不属于你。当2015年的都过去了，对于每个个体来说也就意味着新的一页的开始，不再追求那些不属于你的过去，去吸收那些曾经让你成长的挫折所带来的经验，骄傲于那些你在这一年所获得的成就，并重新开始追求属于你自己的生活。其实想想，人活着，本来应该很简单，但是就是无法做到你想要的“简单”，那就只能简单地让自己去过这些复杂的生活吧。所有这些不可避免的忙碌，磕磕撞撞的迷惘，以及那些该来的和不该来的改变，组成了我的2015，那个26岁的自己。more首先，依然是用Day One记录的流水账：1月，研究kvm和xen的I/O代码（vhost，virtio等，以及Xen的driver domain），整理了很多相关笔记和总结，开始写splitio的项目（虽然现在 ...继续阅读 (17)

I met a problem when trying to insert kernel module in the moto-g Android phone. My moto-g phone is built with Cyanogenmod falcon ROM, but by default, this ROM does not support installing modules.Thus I’ve to enable it in the kernel config, re-compile and install the kernel. In this post I will give a short note about how to do it.moreIn this blog, I will takefalconas the example, since my device is moto-g.Some materials:How To Build CyanogenMod Android for Motorola Moto G (“falcon”)integrated kernel buildingFirst, followthis post, you can download the source code forfalconde ...继续阅读 (20)

前段时间在研究Android Auto（关于什么是Auto请自行google），里面涉及到两个比较关键的数据传输和加密协议：Android Accessory Protocol和OpenSSL。具体来说，auto和车载系统（之后称为headunit）之间数据的传输以及最初连接的建立是基于Android Open Accessory （AOA）协议的，而它们两个之间的认证过程以及数据的加密是基于OpenSSL的握手和加密协议。在研究这两个协议的过程中，“如何将AOA协议和SSL协议结合起来”是一个很关键的问题。我在网上找了很多资料，但是并没有一个比较完整的教程，所以打算在这篇博客中做一个详细的介绍，并且将相关代码开源。github上的源码more关于Android Auto关于什么是Android Auto，可以到google的官方网站上去查询。简单来说，就是Google开发的一套机制，可以将手机上的应用（包括地图、音乐、通话等）和车载系统进行交互，使得车载系统的功能更加丰富。如果要描述它的机制的话，可以用下面一张图来表示：其中，负责和headunit进行交互的是GMS (Google Mobile Service)的Car Service，然后它会和Google开发的Auto应用联系，Auto应用负责和其它第三方应用程序交互，现在支持Android Auto的第三方应用程序有这些， ...继续阅读 (35)

前段时间在研究Android Auto（关于什么是Auto请自行google），里面涉及到两个比较关键的数据传输和加密协议：Android Accessory Protocol和OpenSSL。具体来说，auto和车载系统（之后称为headunit）之间数据的传输以及最初连接的建立是基于Android Open Accessory （AOA）协议的，而它们两个之间的认证过程以及数据的加密是基于OpenSSL的握手和加密协议。在研究这两个协议的过程中，“如何将AOA协议和SSL协议结合起来”是一个很关键的问题。我在网上找了很多资料，但是并没有一个比较完整的教程，所以打算在这篇博客中做一个详细的介绍，并且将相关代码开源。github上的源码more关于Android Auto关于什么是Android Auto，可以到google的官方网站上去查询。简单来说，就是Google开发的一套机制，可以将手机上的应用（包括地图、音乐、通话等）和车载系统进行交互，使得车载系统的功能更加丰富。如果要描述它的机制的话，可以用下面一张图来表示：其中，负责和headunit进行交互的是GMS (Google Mobile Service)的Car Service，然后它会和Google开发的Auto应用联系，Auto应用负责和其它第三方应用程序交互，现在支持Android Auto的第三方应用程序有这些， ...继续阅读 (19)

这篇文章我已经投稿在Freebuf上，可以参看这里。所以版权肯定是算Freebuf的，虽然是我写的，但是也只得算是转载吧。more这次之所以选择把文章投在freebuf上，主要原因还是想要赚点稿费。不过不得不提的是，freebuf的阅读访问量还是很大的，仅仅过了一天就有10000+的点击，虽然我觉得可能大部分人点进来之后也不会细看，而且确实没有相关背景也很难理解。在自己的博客中存个档，当然希望大家还是去freebuf上支持下~去年在Wooyun投了一篇文章，介绍BROP攻击。反响还挺好的，也帮助了很多人去理解这个非常smart的攻击原理。当然大家也可以去我的博客看这个攻击的重现。 这次我想介绍另一个类ROP攻击，叫SROP，也是发表在Oakland 2014，被评选为当年的Best Student Papers。论文的题目叫做Framing Signals — A Return to Portable Shellcode，作者是来自Vrije Universiteit Amsterdam的Erik Bosman，以下是相关paper和slides的链接：paperslides首先，我觉得这也是一个非常有趣的攻击，虽然在去年就已经发表了，但是我在网上并没有找到太多相关的信息，在最近一年的研究领域也没有太多对它的引用，所以我觉得很有必要推广一下。但是在我看完paper之后，觉得这篇pa ...继续阅读 (39)

首先声明这是一篇中文博客。先强烈推荐下Zheng Min大神的安卓动态调试七种武器系列文章，里面已经有两篇介绍我这次所要介绍的hooking的内容了，而且应该会比我这篇的内容更丰富。然而，任性的我还是要写这篇博客，原因除了自己太久没写博客了有点不好意思之外，更重要的是希望在写的过程中来理解这个技术。当然了，这篇博文主要还是代码分析，采用的是Collin Mulliner的这个项目adbi。当然他自己也有一个专门的slide来介绍里面用到的技术。more好了，开始进入正文。首先clone这个项目：$ git clone https://github.com/crmulliner/adbi.git在具体分析代码之前先简单介绍下这个项目的目的、用法、以及流程吧：目的对android中的某个进程所使用的某个native库lib中的某个函数func进行劫持，使得当这个进程调用到这个函数的时候，会首先进入我们的hook函数，在hook函数中做一些其它的事情，比如打印一些log之类的，然后再调用真正的函数func。用法对项目进行编译，会生成一个可执行文件hijack和一个链接库文件libexample.so，将其放到/data/local/tmp目录下：$ adb push hijack/libs/armeabi/hijack /data/local/tmp/ $ adb push instru ...继续阅读 (16)

This week I’ve been to Denver, Colorado, to attend the CCS 2015 and present our work SeCage, which is a hypervisor-enforced approach for intra-domain isolation.The main conference lasted for 3 days (10.13 ~ 10.15). There are 3 parallel tracks for 36 sessions, for specific reasons, I have only listened to 6 sessions.Following are some of the notes about what I’ve learned from these sessions.moreSession 1B: iOS and MAC OS SecurityThis is a very interesting session that shows the security of iOS/Mac OS. There are 2 papers in this session.The first is presented by Luyi Xing from Indian ...继续阅读 (15)

前段时间乃正回国的时候叫他帮我带回来一个“大菠萝”——Wifi Pineapple！不过时隔了好久到现在才有时间和心情开始玩它：这是干嘛的呢？用专业术语来说，它是一个专门用来做无线安全渗透测试的小机器，这个小机器内置了一个重度修改的OpenWRT网络操作系统，其拥有者可以让它成为一个对外提供无线网络信号的系统，然后通过一系列配置来对连接上它的客户端进行渗透测试。如果换个说法，这就是一个可以伪装成无线信号点的攻击利器，当你在一些公共场合（如学校、咖啡店）的时候如果不小心（有意或者无意）连上了这个无线信号，那不好意思，你上网的所有隐私都会被攻击者获取。很直观的来说，如果你将这个大菠萝连上电源，启动之后（绿灯和蓝灯亮起）：就可以在你其它设备（如手机、电脑）的无线信号中搜索出一个新的信号：如果你连接上这个信号，则你所有的流量就会走大菠萝这个系统，从而攻击者就可以通过一些中间人攻击的方法获取你所有隐私，或者植入恶意软件之类的了。具体的可以看这里，这里，以及这里。这里就不详述了。more硬件接口Wifi pineapple有如下几个接口：如下图，从左到右依次为：以太网口，USB接口，电源接口；其中以太网口可以用于连接计算机来共享计算机的无线网络，USB接口可以用来连接Android手机来共享手机的无线网络，电源接口就是用来插电源线或者电池的。如下图：串口；我们可以利用串口连接线（比如下图的CP ...继续阅读 (309)

上篇博客介绍了Xen的整体内存分布情况，这篇博文主要从Xen的启动入手，介绍Xen在启动的时候是如何初始化它的内存，包括如何分配内存区域，如何初始化页表，以及如何在不同阶段初始化不同的内存分配器等等。more这篇博文借鉴了一些这篇文章的内容，不过主要介绍的是最新版本的Xen在64位机器下的内存相关实现。好，现在开始进入正题！Xen的启动在介绍Xen启动的内存实现之前，先大致介绍下Xen的启动的整个流程（参考这里)：汇编部分：汇编部分代码都在xen-source/xen/arch/x86/boot/目录下head.S，这个是整个Xen的入口：ENTRY(start)：123ENTRY(start)jmp__start...里面主要做了下面几件事：装入GDT (trampoline_gdt)：GDT项说明段选择子1ring0 code, 32-bit modeBOOT_CS32 (0x0008)2ring0 code, 64-bit modeBOOT_CS64 (0x0010)3ring0 dataBOOT_DS (0x0018)4real-mode codeBOOT_PSEUDORM_CS (0x0020)5real-mode dataBOOT_PSEUDORM_DS (0x0028)获取Multiboot相关的信息，放置在某段内存空间，之后启动的时候会被用到；初始化BSS；初始化最 ...继续阅读 (39)

我会在接下来几篇博客里面介绍Xen的memory。这些都是我在看了各种资料，并且研究了Xen的代码之后的个人总结。之所以写这个系列，是感觉现在网络上没有什么比较具体介绍Xen内存的资料，这里有一个，但是是比较老的版本，而且主要介绍的是32位的系统。而我现在看的是Xen最新的版本（4.6），然后介绍的主要是64位的系统，希望能把自己花时间学到的东西分享出去。如果有什么错误的，或者解释的不清楚的地方，也希望各位指出来，共同讨论。我应该会从五个方面来介绍Xen的内存：Xen的内存布局总体概览Xen启动的内存相关实现Domain-0启动的内存相关实现Domain-U启动的内存相关实现虚拟机运行时内存相关实现现在我也还在研究中，所以这些应该会随着我自己学习的深入慢慢的进行整理。好啦，不说废话了，直接进入这篇博客的主题：Xen内存布局的总体概览。more一般情况下我们讨论一个虚拟化系统中的内存，我们主要考虑的是客户虚拟机的内存机制，所以我们会提到shadow page table（影子页表），或者硬件内存虚拟化机制EPT（for Intel）/NPT（for AMD）等。然而这些其实都是针对于客户虚拟机来说的，也就是说对于客户虚拟机来说，它所看到的内存是怎么样的。但是如果我们从Xen本身的角度来考虑的话，Xen所看到的内存又是怎么样的呢？另外，对于整个系统来说，它的内存又是如何分布的呢？首先我 ...继续阅读 (41)

XSM-FLASK全称为：XenSecurityModules -FLuxAdvancedSecurityKernel。这篇博文对其进行一个简单的介绍，资料主要翻译自这里。XSM是Xen提供的一个安全框架，允许管理者对整个系统进行细粒度的控制，换句话说，即运行管理者定义一套规则来管理虚拟机之间，虚拟机与Xen之间的交互，以及对系统资源（memory，device）的访问。FLASK是XSM中的一个模块实现，当然，之后可能还有其他的模块，那就是后话了。下面是一些例子，列举了XSM-FLASK可以做的几件事：禁止两台虚拟机之间通过event channel和grant table进行通信；将一些需要特权级别的操作安全地grant给某些非特权级虚拟机；控制哪些虚拟机能使用device passthrough；限制或者审计特权虚拟机中进行的某些特定操作；限制特权虚拟机对其他虚拟机的任意内存映射；将hypervisor中的不同模块（比如qemu和xenstore）进行隔离，防止它们之间互相影响。以上是一些基本说明，下面会具体介绍如何使用FLASK，以及FLASK中规则的一些语法定义。moreFLASK及其policy的编译流程在Xen 4.3之后的版本都对FLASK进行了比较全面的支持，如果要开启FLASK，需要在编译Xen之前修改Config.mk文件，将XSM_ENABLE和FLASK_ ...继续阅读 (40)

今年上半年的ChinaSys选择了在厦门举办，真是深得我心。顺便见了父母一趟，吃了好多海鲜，和亲人喝了几杯白酒，和几个闷骚程序员去鼓浪屿弱弱地游玩了一趟，还走了走厦门大学，白城沙滩，总的来说还是非常惬意的。不过两天会议下来，我越发觉得程序员与程序员之间的交流还是很局限的，特别是当我发现大部分人和talk都和我方向并不相同的时候，我就不知道聊天的时候该聊些什么。所以在两天会议的过程中其实并没有太多的和外界的交流，这也是我这次参加ChinaSys比较遗憾的一点。废话说到这里，开始进入正题。根据主办方的介绍，这次ChinaSys注册105人次，放眼望去大部分都还是老面孔，来自清华，北大，计算所，上交，复旦，中科大，华科，北理工等高校，以及MSRA，百度等公司。从会议的整个过程来看，国内各大高校和公司的研究水平都很高，在各个的领域都有比较深入的探究，但是由于本人水平的原因，很多关键点并没有get到，所以笔记也就显得比较混乱，这次ChinaSys回来让我最大的感受就是要多了解一些各个领域的知识，对整个计算机发展的各个方向有一个大方向的了解，知道相应的问题，挑战，主要技术等，这样在每次参加这些会议的时候收获的就不只是这些皮毛的东西了。接下来是我的笔记，基本没有太细节的点，因为很多也是别人正在做的工作，不能透露太多，当然更重要的原因其实是那些细节我自己并不了解。这次会议上用的是markdown直 ...继续阅读 (29)

其实夏天早就到了，只不过是莫名其妙地选了一个标题罢了。从2月4号一直到现在，已经有3个半月没有写过东西了，上周日赶完CCS，虽然被海波嫌弃论文写得太差，但毕竟是自己进实验室以来第一次依靠自己从idea到实现到写成论文所完成的一个项目，而且从最后的结果来看还算是比较满意的一个工作，投完论文的那一刹那有一种无法言喻的轻松感袭来。那天晚上请小弟小妹吃饭，喝了几瓶酒，聊了一晚上天，感觉很久都没有那么放松了。这两天似乎有点懒散，刻意让自己好好放松了下，想想明天还是得开始正常地工作了，就写个杂记，记录下这段时间的心情吧。more这段时间每天早晨6点前都会醒过来，不知道是压力太大，还是已经形成了生物钟，由于白天也没有很疲惫的感觉，也就没有太当回事，想着顺势就早起早工作，已经慢慢成为每天第一个到实验室开门的男人了。感觉自己还是很享受每天早上七点半到九点半实验室一个人干活的这段时间的，很安静，效率也高，加上每天下午都会花1~2个小时锻炼身体，一天下来，总能有一种充实的感觉。我现在越来越强烈地感觉到，以前自己那些“没有时间去锻炼”什么的措辞都是借口，对于我来说，完全有能力在保证工作时间的前提下锻炼好自己的身体。另外，我也渐渐体会到身体强壮之后的各种美好的感觉。强壮之后去打篮球羽毛球什么的都感觉特别惬意，体力足够，打的爽，也不会特别累。 早起+运动，已经渐渐成为习惯，早晨微风拂脸的舒适，夏天挥汗如雨的感 ...继续阅读 (26)

又是一篇和Xen相关的教程，主要介绍如何在Xen里面启动一个网卡的driver domain（也被称为stub domain），也就是说，该虚拟机专门用来为其它虚拟机提供网络服务（而不是把所有这些服务都交给Domain 0来做）。说句题外话，为什么最近这么多教程类型的博客，原因在于我发现每次我把这些东西记在博客里面的话，自己都会记得很深，但是记在Evernote里面经常就会忘记掉，况且记在博客里面还有可能为别人提供帮助，所以何乐而不为呢？more好了，废话说到这，开始进入正题。为什么要使用driver domain可以参看Xen的wiki。主要有四点原因：安全性：把权限从domain 0里面剥离出来，也就是说就算客户虚拟机控制了driver domain，也不能拿domain 0如何；可扩展性：driver domain的资源不受domain 0的限制，所有和设备相关的资源都和该driver domain相关；隔离性：其实和安全性有点重复，主要是说driver domain里面的进程不会和domain 0里面的进程产生竞争关系，不管从安全性还是性能方面都能提供比较好的隔离性；高性能：如果在domain 0里面运行driver的进程，那么会产生double scheduling的问题，即driver要工作，必须首先等domain 0被调度，然后等domain 0中和driver相关的 ...继续阅读 (37)

这篇博文是一个简单的教程，介绍如何在Xen的虚拟机中运行另外一个虚拟机，说白了，就是Xen的嵌套虚拟化技术。more安装Xen关于如何安装Xen，首选的是看Xen的官方教程。不过由于里面说的比较复杂，所以本教程就简单的把几个步骤列一下：直接安装这个我没试过，因为我都是用源码安装的。不过据说很简单，只要$ sudo aptitude -P install xen-linux-system $ sudo dpkg-divert --divert /etc/grub.d/08_linux_xen --rename /etc/grub.d/20_linux_xen # change the order of the operating systems so that Xen is the default option. $ sudo update-grub # regenerate the /boot/grub/grub.cfg file就行了。如果不行再自己网上搜下吧，毕竟这个不是今天的重点。源码安装具体的参阅这里：$ sudo aptitude build-dep xen $ git clone git://xenbits.xen.org/xen.git $ cd xen $ ./configure $ make xen $ make tools $ make install-xen ...继续阅读 (42)

一篇博客只为公布一则消息：小呆的厨房上线啦！如果是PC浏览器，请猛戳这里，手机的话就算了，打开看太丑了。more简单说明下：小呆，就是我未来的媳妇：小呆的厨房，就是我未来的媳妇变身大厨后，所做的菜的集合：为了表示对我未来媳妇为我做菜的感谢，以及表达对她所做的菜的喜爱之情，鄙人专门整了个模板，把每周末小呆大厨做的菜进行拍照，取名，上图，以及膜拜。不过遗憾的是，这个模板暂时只限在PC端浏览器观看，手机端无法正常显示，对此表示抱歉。为了防止大家忽略了之前的链接，最后这里再来个链接：http://ytliu.info/love-kitchen多谢捧场！ ...继续阅读 (25)

从上大学开始到现在，我们学过多少的知识，尝试过多少的技能？特别是对于程序员来说，每天都可能遇到新的东西，听别人讲解或者自己去查询新的知识，但是这些所谓的知识大部分只能在大脑中贮存那么几天，最多几周，那些我们曾经以为自己看懂了就永远都不会忘记的东西又有多少被那个过于自信的自己所遗忘了呢？当自己想要重新去涉及相关领域的时候甚至都不记得该从那里去找了。有时候，我甚至回想前一天看过什么的时候都已然忘记！确实，现在有很多很方便的软件，或者相应的方法来记录这些，比如evernote，甚至单纯地采用书签。然而单纯的记录和鼠标点击都远远不能达到好的知识学习的效果。在现实生活中，我们想要学习一个知识点，往往都会花上大量的时间和精力在良莠不齐的网页中搜索到那些靠谱的、解释清楚的博客或者文档。再花上时间去阅读和理解。对于我们这种普通人来说，看过的东西大部分会在很短的时间内忘掉，就算当时感觉完全理解了，也会在未来的某一天里不经意地彻底忘记。这种事对我来说发生过太多次了，以至于我经常在某些时候觉得自己掌握了很多知识，充满了自信，而过了一段时间之后又变得颓然无助。从这个月开始我尝试记录“技术日记”，每天总结一下当天所查询、理解的知识，并且记录下对于我来说比较有用的博客或者的文档出处，以便于日后查询。当记录了一个月之后我依然觉得这样还是不够，我觉得除了每天记录之外，每隔一段时间的回顾和总结也是非常必要的。于是我 ...继续阅读 (31)

这两天在看KVM网络虚拟化相关的内容，找了很多相关的资料，也吭哧吭哧地读了那些简直无法直视的代码，终于感觉渐渐理出点头绪了。之后如果有时间的话会慢慢将这些知识整理出来，当然也包括推荐一些比较靠谱的博客和文档吧。今天要写的内容是关于“Qemu设备注册”，和KVM网络虚拟化没有太大的关系。其实这篇博文很简单，主要就是解决了一个我之前一直没有搞懂的最基本的问题：Qemu里面的设备注册函数是如何被调用的？废话不说，直接进入正篇。more其实在很多设备相关的文件中都会看到代码的最后部分是这样的（比如在virtio的代码中）：hw/virtio/virtio.c1type_init(virtio_register_types)问题是这个type_init是个什么东西？virtio_register_types是如何被调用的？如果把type_init展开的话：include/qemu/module.h1234567#define module_init(function, type) \static void __attribute__((constructor)) do_qemu_init_ ## function(void) \{ ...继续阅读 (30)

老规矩，一年一度的总结，记录我的2014。more去年写我的2013的时候信心满满的，感觉2014会是一个收获的一年，自己会飞速的成长。可是当一年的时光划过，回过头去看2014，却略显失落。当然不能说没有什么收获，只是相比于自己的预期，相比于别人的成长，似乎我所得到的东西和流逝的时间比起来显得更为苍白罢了。按照之前的做法，还是先翻翻Day One，记录一下2014的流水账吧：1月，圣桥项目（kvmcon)，申请HPCA travel grant，HPCA final version，申请NUS交流项目，CSP助教，年终总结，学习RoR，研究KVM/ARM，写手机虚拟化的proposal，还有过年！2月，做HPCA的slide，设计donate-your-skills(DYS)的网站，HPCA presentation，美国行，圣桥项目（文档），CSP助教事项。3月，继续圣桥项目，DYS。4月，去新加坡NUS交流，研究facebook app，研究SSL，做exploit-execise，研究heartbleed，研究alfred workflow。5月，帮小呆改毕业论文，去Ooi实验室开组会，使劲配置环境，赶CCS，研究wifi crack，讨论in-memory-db，尝试BROP，搭建netmap。6月，申请微软奖学金，研究netmap和vale，和小呆的泰国、新加坡游，周年纪 ...继续阅读 (31)

每次在google上搜ChinaSys看到自己之前的博客被排在前两个，都会感觉很开心，然后就想还是把这个习惯保持下去吧，每次去参加会议都最好能稍微总结一下，不要浪费了参会的时间和旅途上的劳累。前几天由老大带队，我们实验室4个PhD candidates和2个PhD candidate candidates到深圳南山区大学城，去参加一年两度的ChinaSys。这一届的ChinaSys由北京大学深圳研究院举办，这次是除了去年的APsys，我们实验室第二次组团来深圳参加会议了，和之前的ChinaSys相比，感觉这届工业界来的人稍微少了一些，各大高校的PhD也多了一些生面孔。这次参会的除了之前的常客（北大、清华、上交、复旦、计算所、中科大、华科、国防科大、北理工、MSRA、AMD），还有来自港中文大学的老师，华为的研究员等参与报告，同时，由于是在深圳举办的，也就多了很多深圳大学和研究院的老师和学生进行的报告，听到了一些新的领域和声音。总的来说，这次会议收获还是挺大的，虽然还是找不到和我自己做相关领域的博士进行比较深入的交流和学习，但是也认识了一些新的人，大家一起吐吐槽，或者吹吹牛，还是挺有趣的。另外，这是我第一次在ChinaSys上作报告，感觉挺兴奋，也希望以后能一直有值得拿出来说的topic来和大家交流。more下面进入主题：报告从28号下午开始，到29号下午结束，每半天两到三个sess ...继续阅读 (32)

这段时间在研究KVM内存虚拟化的代码，看的那叫一个痛苦。网上大部分能找到的资料，不管是中文的还是英文的，写的都非常含糊，很多关键的数据结构和代码都讲的闪烁其辞，有些就是简单的把KVM的文档翻译了一下，但是KVM的文档也让人（至少让我）看的挺费解的，只能着眼于代码，一直挣扎到如今，终于有那么一点开窍了。于是乎，本着“利己又为人”的原则，我决定将这段时间自己所理解的东西倾情奉献出，特别是对kvm_mmu_page这个最为关键的数据结构，以及它在handle EPT violation时每个域的作用和意义。需要说明的是，这篇博客并不是一个针对初学者理解“内存虚拟化”的教程，“内存虚拟化”涉及到的很多概念需要读者去翻阅其它资料来获取，以下内容均建立在读者已经了解了“内存虚拟化”的基本概念的基础上，比如对于什么是影子页表（Shadow page table），什么是EPT等，请自行google。以下内容大部分是我阅读目前KVM的文档和源码，以及在运行时生成log进行验证来确定的。我会尽最大的努力让以下内容足够完整和准确，如果读者发现有什么不清楚或者觉得不正确的地方，望请告知。这篇博文也会实时并且持续更新。more现在开始进入“史上最详细的”系列：我们知道在KVM最新的内存虚拟化技术中，采用的是两级页表映射tdp (two-dimentional paging)，客户虚拟机采用的是传统操作系统 ...继续阅读 (50)