串行程序并行化的目标是将串行程序转换为等价的可以在并行环境下执行的程序。等价的含义是指串行程序与转换后并行程序的执行结果完全相同。在整个转换过程中,识别出更多的可以并行执行的部分是提升转后并行程序在并行环境下执行效果的关键,而对于循环的并行识别尤为重要。将不能并行的循环转换可并行的循环的技术一般称为循环并行化技术。数组私有化是当前重要的并行化技术,该技术发展的较为成熟。而通过规约操作使循环并行化的技术还有较大的发展潜力。本文在数组私有化的研究成果基础上,结合规约操作过程的特点,对数据处理的规约操作的各个要素进行了分析,总结出了可规约运算、可规约变量的概念,分析证明了其性质并且证明了其判断准则。然后基于这些结论,设计了适用于不同情境的规约识别算法。本文的主要工作如下：首先,通过对数组私有化理论的研究与学习以及对规约操作过程的分析,提出了可规约运算以及可规约变量的概念,对其性质进行了分析,提出并证明了可规约运算以及可规约变量的判断准则；其次,以可规约变量以及可规约变量的相关理论为基础,基于数组私有化的相关成果,设计了适用于程序段的局部规约识别算法。并以其为基础,设计了对循环各迭代规约变量信息进行处理的循环规约识别算法。基于当前的规约识别策略,设计了计算量较少的静态循环规约识别算法。基于相关-覆盖方法设计了数组私有化、规约识别统一算法。最后,本文通过实验测试了局部规约识别算法、循环规约识别算法、静态规约识别算法以及基于相关-覆盖方法的数组私有化及规约识别统一算法的正确性,并将其与现有算法进行对比,说明了这些算法能识别出更多类型的存在规约变量的循环,本文中的算法优于现有算法。