多岔控制转换的并行化重构

摘要

诸如PASCAL里的CASE,C里的SWITCH,FORTRAN里的计算GOTO等等语句所代表的多岔控制转移,是程序设计语言中最复杂的控制结构之一.其本身,或者与无条件GOTO的配合使用,迄今在国内外均被并行性识别排除在外,亦即无条件地保持串行,从而丧失硬件惊人的并行潜力.本文通过并行化重构,在等价地消除各种多值逻辑的基础上,进而实施对它们的并行性分析,把隐藏于其中的潜在并行性全部挖掘出来.