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

Parallelizing Restructure for Multi Forked

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

The “Multi forked” such as the PASCAL CASE,the C SWITCH and the FORTRAN computational GOTO etc.,are one of the most complex control structures in programming languages.The structure,both itself and its combination with the unconditional GOTO,has been always excluded from vectorizer and paralyzer,that is,kept serial unconditionally,and therefore lost the marvelous parallel potentialities of hardware.With parallelizing restructure,we employ parallel analysis on various multi value logic on the basis of equivalent elimination of them,and bring all potentialities into full play.