莱昂纳多·斯坎多洛;塞萨尔昆兹;曼纽尔·赫尔梅内吉尔多 使用同步流水线实现程序并行化。 （英语） Zbl 1284.68145号 De Schreye，Danny（编辑），基于逻辑的程序合成和转换。第19届国际研讨会，2009年LOPSTR，2009年9月，葡萄牙科英布拉。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-12591-1/pbk）。计算机科学课堂讲稿6037173-187（2010）。 摘要：虽然有一些很好理解的方法可以检测迭代独立的循环并将其并行化，但在循环之间存在依赖关系的情况下，支持并行执行循环序列或嵌套循环的建议相对较少。本文引入了一个精练的独立性概念，称为最终独立性，它以最简单的形式考虑了两个循环，即循环（{1}）和循环（{2}），并捕获了这样的思想：对于每一个（i）都存在（k），使得循环（{2}）的第（i+1）次迭代独立于循环的第（j）次迭代，对于所有\（j\geq k\）。事件独立性为语义保留程序转换（称为同步流水线）提供了基础，该转换使连续或嵌套循环的执行并行，依赖于最少数量的同步事件来确保语义保留。通过对排序和傅里叶变换等常用算法的实验结果，证明了同步流水线的实际好处。关于整个系列，请参见[Zbl 1186.68005号]. MSC公司： 68甲19 其他编程范式（面向对象、顺序、并发、自动等） PDF格式BibTeX公司 XML格式引用 \textit{L.Scandolo}等人，Lect。票据计算。科学。6037、173--187（2010年；Zbl 1284.68145） 全文： 内政部 链接