含指针程序的单子切片方法

传统的含指针程序切片方法将指向分析与切片计算分开,增加了一定系统开销,为此文中提出一种可同时进行切片计算和指向分析的单子切片算法.该算法将程序正向切片思想与数据流迭代分析相结合,它是流敏感的,具有一定的精度,而且因指向分析和切片计算同时进行,故不需要像一般的流敏感分析方法那样记录每一个程序点的指向信息,而只需记录当前所分析的程序点处指向信息,从而节省了存储空间.此外,它还继承了原有单子切片方法所具有的强语言适应性和组合性.

多核计算环境的挑战——本地代码的并发

在计算机领域有一个人所共知的“摩尔定律”，它是英特尔公司创始人之一戈登·摩尔（Gordon Moore）于1965年在总结存储器芯片的增长规律时（据说当时在准备一个讲演），发现“微芯片上集成的晶体管数目每12个月翻一番”。当然这种表述没有经过什么论证，只是一种现象的归纳。但是后来的发展却很好地验证了这一说法，使其享有了“定律”的荣誉。后来该定律被表述为“集成电路的集成度每18个月翻一番”，或者说“三年翻两番”。这些表述并不完全一致，但是它表明半导体技术是按一个较高的指数规律发展的。