(2)数据类型的连续性
(3)实时响应性:如视频会议和电子商务等,需要可靠迅捷的实时响应
(4)数据有序性:由于弱的空间局部性,多媒体的很多数据与操作都具有强烈的有序性
(5)高网络带宽性:随着网络的发展,多媒体应用对网络带宽的要求越来越高,如网络游戏、网上视频点播等
(6)高存储带宽性:因为多媒体应用程序处理的数据量往往很大、甚至海量,所以,对存储带宽的要求也很高.
多媒体应用程序往往包含1个或多个代码核心,代表了大部分的动态指令执行,在程序运行过程中几乎占据了90%的时间,所以,除开以上介绍的多媒体应用程序的这些特点,从编译的角度,我们更关心其核心部分代码———内层循环.1般来说,这些核心部分执行的操作具有并行和计算密集的特点,且代码控制结构规则,需要对大量的、连续的、流的、可变精度的数据进行操作.首先,并行性的特征源于多媒体应用程序对大量独立的数据集合实现相同的操作,因此,这些操作能够并行执行.第2,大量的计算密集型的操作和代码的控制结构并不复杂,与典型的整型程序相比,多媒体应用程序中通常几乎不带有分支,控制结构非常规则.第3,输入输出数据几乎不存在时间局部性,因此具有流特性,流数据即时被操作即时丢弃,结果或者直接写回内存或者传送至网络作为输出数据流,如流视频帧、流音频采样.第4,根据不同的数据类型,数据元素的精度要求是可变的,如8位的图像像素、16位的音频采样.1般来说,多媒体应用程序处理的数据大小为8位、16位、32位、64位整型,或32位单精度浮点、64位双精度浮点.多媒体应用程序的每个数据以“子字”(subword)的形式进行操作,因此这种并行性称为“子字并行”(subword paral-lelism).
传统的通用处理器是以字为单位进行处理的,1般是32位或64位,而图像信息通常以大量的低精度或短数据类型的形式出现,为了不浪费数据通路宽度,充分高效的利用处理器上的多个计算单元,提高处理器性能和处理多媒体信息的效率,子字并行的处理方式应运而生.子字并行[1]是1种特殊的数据并行,在子字并行中,1个字就是1个数据集.
子字是包含在字中的更低精度的数据单元.我们将若干个子字封装到1个字中,然后对整个字进行处理.子字并行允许在1个计算单元(字单元)内对2个、4个或8个操作(子字)同时进行.图1(a)所示的是1个普通的32位操作与相应的子字并行处理进行比较,图1(b)为展示的是在子字单元上如何进行子字并行处理.
显然,与全字长的处理相比,子字并行操作可以带来更大的并行度.子字并行是处理多媒体类型数据应用的最自然的方式,它能够充分利用多媒体算法数据精度小、内部循环多的特点.对于处理器设计来说,子字并行大大提高了处理器的并行度,节省了数据通路和寄存器资源;多媒体指令的扩展又提供了更高的处理速度;同时,对于嵌入式多媒体处理器来说,为支持子字并行而组织数据通路,也可以获得更低的并行开销和更少的控制重复.有了子字并行的处理器方式,单1的1条LOAD/STORE指令就可以在存储器和寄存器之间同时移动若干个被封装的子字,因而,存储能力也得到了提高.因此,不论是通用微处理器还是多媒体微处理器或DSP,子字并行都是提高处理器性能、加速多媒体处理的有效方式.
3 相关研究
子字并行的处理器方式虽然很有效,但图像处理程序主要还是以串行程序方式编写(如:C),结果却需要以并行的方式执行,因而对编译器提出了很高的要求,需要编译器来决定如何将子字数据按照正确的顺序封装入源寄存器,进行相应子字对之间的运算,运算结束后,按照需求,将结果以正确的顺序从目标寄存器中提取出来.因此,和子字并行在体系结构研究上取得的成功相比,通用编译器技术却不能自动的从应用程序中提取这种并行性,进而无法充分利用这类特殊的指令集,编译技术在自动高效的识别、产生和处理子字并行指令方面,尚未取得令人满意的结果.
以MMX[2~4]为代表,借鉴SIMD阵列处理技术如向量处理来产生优化代码,采用向量处理编译技术,能够获得1.5到6.5的加速比,这样的结果已经相当不错.因为对于多媒体应用这类的计算密集型应用,内层循环是代码中最关键的部分,也是体现最多并行的部分,所以向量处理的目的在于识别内层循环,采用循环变换来得到向量操作,而这些操作就可以用子字并行指令实现.向量处理包括:循环分析,循环正规化,依赖性分析,标量扩展,循环分布,向量化和循环分段.
MIT的Larsen和Amarasinghe提出superword[5]的概念,认为子字并行不仅仅是1种数据并行,还是1种指令级并行的方式,因此,对于1个基本块中按相同顺序执行的相同的操作,都可以进行并行处理.这种方法与传统的向量编译方法的不同在于它的向量化是对1个基本块内部指令的向量化.该方法基于SUIF[5]实现,并应用于Motorola的AltiVec扩展.这种方法解决了基本块内部的并行处理问题,但是只适用于基本块结构简单的情况,对于带条件转移的基本块如何处理,并没有进行深入研究,而且这种方法由于过于复杂,不具备很好的移植性,也难于实现,所以,只能作为1种启发式方法进行研究.
与现有研究的不同在于,本文沿袭向量编译的原理,根据图像处理程序的特点,着重对关键部分———内层循环进行挖掘,提出了按位的数据流分析方法,为进1步编译优化技术的使用奠定基础.
4 按位数据流分析
数据流分析能够帮助我们确定内层循环,我们首先用循环正规化技术(loop normalization)来保证循环的迭代空间的规则性和依赖性验证的简单.本文主要考察针对for循环的匹配,在开始进行子字并行规范之前,我们假设该循环中所有上下界都明确定义.
对于C编译器而言,我们假设其规约变量下界为0、变化步长为1、且所有循环迭代都可以运行,则旧的规约变量将为新规约变量的仿射函数代替,下标表达式和下界也因此做相应修改.下例所示为1个小的循环代码段,其规约变量下界为2、步长为1.
short inta[1000],b[1000],c[1000];
for(i=2;i<1000;i++)
a[i]=b[i]+c[i];
通过循环正规化技术处理后,该循环可以变形为:
short inta[1000],b[1000],c[1000];
for(i=1;i<999;i++)
a[i+1]=b[i+1]+c[i+1];
本文使用“格”作为数据流分析中对内部数据结构的形式化表示方法.传统的数据流分析[6]可以看作是沿着变量位宽的传播进行操作,或者为每个变量维持1个位向量.前者无法得到算术操作的精确的结果,因为对1个8位数的位传播往往导致1个9位的结果,尽管8位数就足够了,或者1个变量中只有最重要的几个位能够进行位消去.而后者不支持精确的算术分析,因为它往往会保守的假设每个加法结果都产生进位.所以,在进行数据流分析的时候,我们使用“格”结构来形式化表达内部数据结构.1个数据范围可以看作是从某个下界到某个上界变化的整数的子范围的简单连接,因此,用数据范围就能够清楚的表达某个变量的下界和上界.因为我们只需要用1个简单的范围就可以表示变量的所有可能的值,因此,尽管该表示方法不允许消去低位的位,却可以对算术表达式实现精确的计算.
我们选择格来表示数据范围传播基于以下3个方面的因素:首先,这种表示方法能够将位宽分析应用到更普遍的值范围传播问题,这对于解决值预测、分支预测、常数传播、过程复制和程序验证都非常有效.第2,该表示方法保证了精确性,这对于大多数算术应用非常重要;第3也是最重要的,在我们的编译算法中,用生存期(life range)作为处理子字的标准,在该结构中,我们将每个子字的生存期映射到值的范围,从而获得每个生存期的精确结果,所以,这种“格”的结构也可视为对生存期传播的表示.
在格的表示中,值的生存期被分配到某个变量,格自下向上提升,如图2所示值的定义和计算如下:
(1)⊥DR⊥:未初始化时的子字生存期的值
(2)TDR⊥:不能静态决定的值,即子字集合的生存期的上界
(3)∪:生存期的并集〈al,ah〉∩〈bl,bh〉=〈min(al,bl),max(ah,bh)〉
(4)∩:生存期的交集〈al,ah〉∩〈bl,bh〉=〈max(al,bl),max(ah,bh)〉
以如下所示的代码段为例,这是取自MPEG-4算法中的1段简化的循环代码,
for(i=0;i<h;i++){
C[i]=A[i]-B[i] /*1S*/
D[i+1]=D[i]+C[i] /*2S*/
}
我们通过分析,得到代码段中的真相关和输出相关,图3分别表示循环的数据相关以及循环分配后得到的强连通部件.相关图的强连通部件
表示带有向边的节点的最大集合,带有多个节点的强连通部件表示相关循环中语句的
最大集合.语句S1不带自圈,所以它自己组成了1个单1的强连通部件,S1能够按照子字并行方式处理.语句S2在循环中是自相关的,我们用循环展开来消除这种相关,如下代码所示.
for(i=0;i<h;i+=2){
C[i]=A[i]-B[i];
C[i+1]=A[i+1]-B[i+1]}
首先根据操作数的类型进行适当的展开,如寄存器为32位,那么对于C语言中定义的short类型的int操作数,就要将循环展开2次,然后进行非循环指令调度,组合相同循环指令的所有实例,这样,S2也可以按照子字并行方式执行了.
5 结论与展望
本文根据多媒体应用程序的特点,对其关键核心———内层循环进行分析研究,在现有向量编译的基础上,提出了挖掘内层循环的按位数据流分析算法,方法简单,容易执行,很好的挖掘了图像处理程序内在固有的子字并行.我们将在此工作基础上,进1步融合多媒体编译优化技术,在更复杂的循环结构上进行分析研究.
参考文献:
[1] R B Lee.Subword parallelism with max-2[J].IEEE Micro,1996,16(4):51-59.
[2] A Krall,S Lelait.Compilation techniques for multimedia pro-cessors [J]. International Journal of Parallel Programming,2000,28(4):347-361.2577第 12A 期吴 丹:1种确定多媒体应用程序内层循环的子字并行编译方法
[3]Intel Corporation.IA-32Intel Architecture Software Devel-oper’s Manual[Z].Volume2A:Instruction Set Reference,A-M.2004.
[4] Intel Corporation.IA-32Intel Architecture Software Devel-oper’s Manual[Z].Volume2B:Instruction Set Reference,N-Z.2004.
[5] Samuel Larsen,Saman Amarasinghe.Exploiting superword level parallelism with multimedia instruction sets[J]. ACM SIG-PLAN Notices,2000,35(5):145-156.
[6] Randy Allen,Ken Kennedy.Optimizing Compilers for Modern Architectures:A Dependence-Based Approach[M].San Mateo,USA :Morgan Kaufmann,2002
