不一样的编译–Log Insight 被 VMware收购

Log Insight是Pattern Insight公司旗下产品。Pattern Insight今天发表声明，已经和VMware达成协议，VMware将收购Log Insight产品，以及整个团队和相关技术。五年磨一剑！

Pattern Insight是由UIUC–Zhou yuanyuan教授（目前在UCSD任职）创办的。整个Pattern Insight的目的都是在想办法从已有的遗产代码中利用各种技术挖掘更多的信息。

下面就从周老师发表的论文中，挖掘挖掘该司的“核心技术”：

Log Insight

周老师组关于log方面发表的文章如下:

SherLog: error diagnosis by connecting clues from run-time logs (ASPLOS 2010)：做了一个工具，利用系统记录的log信息，结合的源代码，推测应用程序运行失败时的场景，这一过程不是通过重新执行应用程序或者对log本身的语法分析，而是通过对代码本身的控制流和数据流信息。这正是编译技术所擅长的。
Improving software diagnosability via log enhancement (ASPLOS 2011)：log一般都是自定义或者标准输出语句输出的一些字符串。log本身又是在一系列if-else条件之后才输出的，在log输出中，增加这些判断条件的值，能方便的协助程序员利用log复现程序运行的path，进而协助debug。这篇文章，主要是根据函数内的判断表达式，以及这些条件在函数间的传播，构建满足log输出的真值表达式，有了这个表达式，就知道哪些变量决定了log输出，再将这些变量在输出log时一同输出出来。
Characterizing logging practices in open-source software (ICSE 2012)：这篇文章，更像是一篇市场调研。针对当前opensource项目中的程序员实现log输出机制做调研，研究程序员实现log的过程。发现大家在实现log时，通常都没有想清楚，要反复修改很多次。另外，给出了程序员经常在log信息中调整的地方。包括log输出的效率问题、输出的变量信息及格式等等。

这三篇文章，也应该是Log Insight的核心技术。当然，除了这些时候还有其他未发表的，以及和其他已经发表文章的关系，就只有内部人士知道了。

因为VMware主要做云计算，而这个方向不管是国内还是国际都是非常热门的方向，所以想拿高薪、想跳槽、想找好工作、想升职的同学，照着这三篇文章，实现一下，应该马上就能涅磐：）

Pattern Insight的创办来自于SOSP‘07的文章：/*icomment: bugs or bad comments?*/ 。之后有陆陆续续有了更多的相关进展。如下：

以上几篇文章内容，大家都可以从abstract中得到。