并发循环中多处理器同步问题的研究

摘要

同步是一种为了保证相互协作的多个迭代按正确顺序执行,以获得与串行结果相同的技术。如果并行算法的一个迭代过程在交互点处需要等待其它迭代过程运行结束,称这个点为同步点。具有同步点的并行算法称为同步算法。由于在同步点处将出现等待,因而同步的出现将影响多处理器并行算法的运行效率,故在并行算法的构造中,应尽量减少同步点的设置。但对一个大的实际问题来说,同步又是很难避免的。本文即针对有并发循环存在的多处理机系统中所出现的同步问题展开讨论。它涉及到同步的基本概念,同步的探测,数据相关性,同步的建立与退出等一系列问题,这些是进一步研究同步策略与方法的重要基础。