Parallel-Stage Decoupled Software Pipelining

CGO'08的一篇文章，磨蹭了一周才看完……而且跳过了无数细节

最早是Olivier的一封邮件中提到David August的研究组（Liberty Research Group）把SPECINT的所有Benchmarks都实现并行化了，着实大为惊讶，于是搜大老板的名字，找到了这篇文章。

基本上看起来是对他们之前提出的DSWP（Decoupled Software Pipeline）的扩展工作——PS-DSWP(Parallel-stage DSWP),感觉文章令人信服的原因是他们对自己的东西进行了很好的形式化描述（也是我最头疼的地方），甚至上升到算法层级说明了他们的东西是怎么工作的，然后也提到了正确性，易用性（对平台无特殊要求）云云，所以整体可以让人接受而又不显得很trivial。