IEEE2007的备忘录

原创 关于并行程序分析的一点思考

<br />     当线宽逐渐接近物理空间上的极限的时候，摩尔定理终将成为历史。多核的盛行使得并行编程日益成为热点，因此，一个个新的并行编程模型如雨后春笋一般涌现：MPI, OpenMP, UPC, TBB, CILK, TCT, StreamIT, X10, ...... ，在这种情况下，编译器的结构也将发生变化，目前编译器对于并行程序的分析和优化处在一个尴尬的境地，如果程序员通过annotation指定某一个变量是线程共享的，那么编译器对其进行保守分析，而且保守得过头了；反之，如果程序员没有指定ann