INTRUCTION FOLDING MECHANISM, METHOD FOR PERFORMING THE SAME AND PIXEL PROCESSING SYSTEM EMPLOYING THE SAME
Methods, systems, and apparatuses, including computer programs encoded on computer-readable medium, including an instruction scheduler for scanning first and second instructions that are operable to output data to different components in a register. A rule checker determines if the scanned first and second instructions are data independent. An instruction combiner, in response to a determination that the scanned first and second instructions are data independent, forms a combination of the scanned first and second instructions. A processing unit that includes a single decoder, receives the combination, decodes the combination using the single decoder, and executes the combination.
This application is a Continuation of U.S. application Ser. No. 12/400,127, filed on Mar. 9, 2009, which is a Continuation of U.S. application Ser. No. 11/333,479, filed on Jan. 17, 2006, each of which are incorporated herein by reference in their entirety.
FIELDThe present disclosure relates to a folding mechanism, a method for performing the folding mechanism and a pixel processing system employing the same, and more particularly to an instruction folding mechanism, a method for performing the instruction folding mechanism and a pixel processing system employing the instruction folding mechanism applied to a graphic processor unit (GPU).
BACKGROUNDA surface of three-dimensional (3D) object is divided into a plurality of triangles two-dimensionally arranged in terms of their neighboring relationship and having an arbitrary size. Each of the triangles has three vertices which are forwarded to the triangle setup unit 102. The triangle setup unit 102 outputs the parameters of the pixels, such as the positions of the pixels in triangles and texture coordinates of the vertices of the corresponding triangles, to the pixel processing unit 104. In the pixel processing unit 104, based on the positions of the pixels and texture coordinates of the vertices, the texture unit 110 interpolates the texture coordinates for all the pixels. The interpolated texture coordinates of the pixels are inputted and then processed in the pixel shader 108 (with DirectX terms, or Fragment Processor in OpenGL terms). Next, the pixel shader 108 executes a texture load instruction to return the processed texture coordinates to the texture unit 110. Based on the unprocessed texture coordinates and the processed texture coordinates, the texture unit 110 samples the texture colors of the pixels in a texture map and outputs the texture colors to the pixel shader 108. Meanwhile, based on the positions of the pixels and texture coordinates of the vertices, the color interpolator 112 interpolates the vertex colors for all the pixels and outputs the vertex colors of the pixels to the pixel shader 108. The pixel shader 108 then processes the texture colors and the vertex colors of the pixels and outputs color values and depth values of the pixels to the depth processing unit 106, the final pixel colors are obtained. The final pixel colors are then becoming available for drawing the whole frame.
The process of the pixel shader 108 normally has four stages: a coordinate calculation stage, a texture processing stage, a color blending stage and an issue out stage. The interpolated texture coordinates of the pixels from the texture unit 110 are stored in the texture coordinates registers tn. In the coordinate calculation stage, the arithmetic, for the interpolated texture coordinates of the pixels from the texture unit 110, is conducted in the texture coordinates registers tn and the temporary registers rn; the arithmetic results, i.e. the processed texture coordinates, are stored in the temporary registers rn. In the texture processing stage, based on the texture coordinates in the registers tn and rn, the pixel shader 108 executes texture load instructions to postulate the texture unit 110 to sample texture colors of the pixels in a texture map. The texture map is appointed by the texture numbering registers sn. The sampled texture colors are transformed to the temporary registers rn. In the color blending stage, the pixel shader 108 blends the texture colors stored in the temporary registers rn with the vertex colors from the color interpolator 112 and the blending result is stored in the vertex color registers vn. In the issued stage, the pixel shader 108 outputs color and depth values of the pixels to the depth processing unit 106. It should be noted that the coordinate calculation stage, the texture processing stage and the color blending stage may be repetitiously processed or be omitted, respectively.
Each of the registers is composed of four components, e.g. (x, y, z, w) or (r, g, b, a) which are so-called four-wide vectors and data format of floating point. In the coordinate calculation and texture processing stages, the four components (x, y, z, w) represent coordinates in a three-dimensional (3D) space or of different texture formats. In the color blending and issued stage, the four components (r, g, b, a) represent three primary colors of red, green and blue, and transparency. The components of source and target registers are assigned to instructions to read out or write the components. For example, r0.w represents the instructions that can read out or write component “w” of register “r0”.
Since processing steps of color components “r”, “g”, and “b” are considerably different from the transparency component “a”, there is a need of two independent pipelines to process these different kinds of components. When representing coordinates, “x”, “y” and “z” are also considerably different from the perspective component “w”. In DirectX standard, two independent pipelines are serially merged and concurrently issued out by a plus sign “+” preceding the second instruction of the pair, which is defined as instruction pairing or co-issue and has a component ratio of 3 to 1, as shown in
Referring to
Referring to
Therefore, the co-issue mechanism requires an additional check mechanism to determine the timing of co-issue rule. Furthermore, since source and target registers of the two instructions are different in the timing of co-issue rule, the consumption of register read ports and register write ports are at least doubled the amount. The number of the source modifier and instruction modifier are also at least doubled the amount.
Consequently, there is a need to develop a pixel processing system having an instruction folding mechanism for reducing the hardware cost and increasing performance of graphic processor unit.
SUMMARYThe first objective of the present invention is to provide a folding mechanism applied to a pixel processing system to fold instructions with data independency into reduced instructions for generating a new program.
The second objective of the present invention is to provide a folding mechanism applied to a pixel processing system to fold instructions having an identical target register and output data to different components of the target register to save the hardware cost of pixel processing system.
The third objective of the present invention is to provide a folding mechanism applied to a pixel processing system to improve the performance of the pixel processing system.
According to the above objectives, the present invention sets forth an instruction folding mechanism, a method for performing the folding mechanism and a pixel processing system employing the same. The pixel processing system comprises an instruction folding mechanism and a pixel shader. The instruction folding mechanism folds a plurality of first instructions in a first program to generate a second program having at least one second instruction which is a combination of the first instructions. The pixel shader connected to the instruction folding mechanism fetches the second program to decode at least the second instruction having the combination of the first instructions to execute the second program.
The instruction folding mechanism comprises an instruction scheduler, a folding rule checker, and an instruction combiner. The instruction scheduler connected to the folding rule checker is used to scan the first instructions according to static positions to schedule the first instructions in the first program. Preferably, the instruction scanner successively scans the first instructions. The folding rule checker checks the first instructions according to a folding rule whether the first instructions has data independency. The instruction combiner connected to the folding rule checker can combine the first instructions having the data independency to generate at least the second instruction.
In the relationship of data independency between two adjacent first instructions, the source register of the later first instruction is different from a target register of the former first instruction. In other words, both the source register of the later first instruction and the target register of the former first instruction have a null set. In addition, the data of the two adjacent first instructions is outputted into different components in the target register. In one embodiment, the total number of the source operands of the first and second instructions is within a predetermined threshold value, e.g. 3, 4, or more, so that the decoder can decode the combination of the first instructions.
In operation, a plurality of first instruction in a first program is folded by an instruction folding mechanism to generate a second program having at least one second instruction which is a combination of the first instruction. Afterwards, the second instruction can be fetched according to a program counter. Control signals are decoded from the second instruction having the combination with the first instruction. Then, an operation of a plurality of register components of the second instruction is performed according to the control signal by an ALU. Finally, the register components are selected to transform operand formats of the second instruction by a register port.
The present invention folds instructions with data independency into reduced instructions for generating a new program. The folding instructions have an identical target register and output data to different components of the target register to save the hardware cost of pixel processing system. Because these rules are the most frequently case that the fourth component is separately used, the performance of the expensive co-issue hardware mechanism can be achieve by a much chipper extended decoder.
The present invention is directed to an instruction folding mechanism, a method for performing the instruction folding mechanism and a pixel processing system employing the instruction folding mechanism to fold instructions with data independency into reduced instructions for generating a new program. Furthermore, the instruction folding mechanism is used to fold instructions having an identical target register and outputs data to different components of the target register to save the hardware cost of pixel processing system. It should be noted that the instruction folding mechanism is also suitable for vertex shader, geometric shader or a combination of the two.
OPC1 tgt.[r|g|b],src0,src1
OPC2 tgt.a,src2
OPC1—OPC2 tgt.[r|g|b]a,src0,src1,src2, where
tgt.[r|g|b]∩src2=φ. (1)
OPC1 and OPC2 are arbitrary operators and OPC1_OPC2 is a new combination operator indicating an operation instruction which performs OPC1 in components (r, g, b) and OPC2 in component “a”. The target operands, tgt.[r|g|b] and tgt.a, of OPC1 and OPC2 are in a same register, i.e. register “tgt”, but in different components of “tgt”. For example, component “a” is located in OPC1 and OPC2 at the same time. Additionally, the representation [r|g|b] means that components “r”, “g”, and “b” are not necessarily present but not limited to their presence
Src0, src1, and src2 are source operands and have arbitrary component(s), where OPC1 is defined as a binary operator having two operands, including operands src0 and src1, or defined as a unary operator including operand src0 only. The formula of tgt.[r|g|b]∩src2=φ. represents data independency in viewing of OPC1 and OPC2, which the operation results of OPC1 are irrelevant to that of OPC2. In one embodiment, instruction OPC1 is not required to be adjacent to OPC2 but only if the data of OPC1 is independent from that of OPC2. While taking the orders of instruction OPC1 and OPC2 into consideration, the formula of the folding rule also can be represented as follows:
OPC2 tgt.a,src2
OPC1 tgt[r|g|b],src0,src1
OPC1—OPC2 tgt.[r|g|b]a,src0,src1,src2, where
tgt.a∩(src0∪src1)=φ. (2)
While instruction OPC1 is a unary operator and OPC2 is a binary operator, the formula of folding rule also can be represented as follows:
OPC1 tgt.[r|g|b],src0
OPC2 tgt.a,src1,src2
OPC1—OPC2 tgt.[r|g|b]a,src0,src1,src2, where
tgt.[r|g|b]∩(src1∪src2)=φ. (3)
OPC2 tgt.a,src1,src2
OPC1 tgt.[r|g|b],src0
OPC1—OPC2 tgt.[r|g|b]a,src0,src1,src2, where
tgt.a∩src0=φ. (4)
When OPC2 is defined as a unary operator in the representation, operand includes src1 only.
In one preferred embodiment of the present invention, component “a” is operated alone and the result is then moved by instruction “mov” while component “a” is a “transparency” or coordinates of fourth dimension in the graphic effect applications. Component “a” is operated by instruction “rsq” to calculate the result of (1/√x) while component “a” is a distance or an angle from the light source in the lighting effect applications. While component “[r|g|b]” represents colors or coordinates, instructions “mov”, “mul”, “add”, “mad”, and “dp3” are usually used, for example. As a result, in one embodiment, when OPC1 is instructions “mov”, “mul”, “add”, “mad”, or “dp3” and OPC2 is “mov” or “rsq”, the combination of OPC1_OPC2 can be instructions “mov_mov”, “mul_mov”, “add_mov”, “dp3_mov”, “mov_rsq”, “mul_rsq”, “add_rsq”, or “dp3_rsq”. In the present invention, a decoder in the hardware is additionally able to decode these instructions of OPC1_OPC2 or other combinations of OPC1 and OPC2 to increase the capability of the pixel shader.
In another preferred embodiment of the present invention, the operands of new instructions of folding rule are four, src0, src1, src2, src3, and instruction “mad” can be used. Although, a register read port and source modifier in the hardware can be added, its cost-effectiveness is better than that of a co-issue mechanism. The general formula of folding rule is represented as follows:
OPC1 tgt.[r|g|b],src0,src1,src2
OPC2 tgt.a,src3
OPC1—OPC2 tgt.[r|g|b]a,src0,src1,src2,src3, where
tgt.[r|g|b]∩src3=φ. (5)
Taking the order of instructions OPC1 and OPC2 into consideration, the formula of folding rule also can be represented as follows: (6)
OPC2 tgt.a,src3
OPC1 tgt[r|g|b],src0,src1,src2
OPC1—OPC2 tgt.[r|g|b]a,src0,src1,src2,src3, where
tgt.a∩(src0∪src1∪src2)=φ. (5)
When OPC1 is defined as a unary operator, its operand includes src0 only, and when OPC1 is defined as a binary operator, its operands include src0 and src1.
When OPC1 is defined as a unary operator and OPC2 is a triple operator, additional folding rule is described as follows:
OPC1 tgt.[r|g|b],src0
OPC2 tgt.a,src1,src2,src3
OPC1—OPC2 tgt.[r|g|b]a,src0,src1,src2,src3, where tgt.[r|g|b]∩(src1∪src2∪src3)=φ. (7)
OPC2 tgt.a,src1,src2,src3
OPC1 tgt.[r|g|b],src0
OPC1—OPC2 tgt.[t|g|b]a,src0,src1,src2,src3, where
tgt.a∩src0=φ. (8)
When OPC2 is defined as a unary operator, its operand includes src1 only, and when OPC2 is defined as a binary operator, its operands include src1 and src2.
When OPC1 is defined as a binary operator and OPC2 is a binary operator also, additional folding rule is described as follows:
OPC1 tgt.[r|g|b],src0,src1
OPC2 tgt.a,src2,src3
OPC1—OPC2 tgt.[r|g|b]a,src0,src1,src2,src3, where tgt.[r|g|b]∩(src2∪src3)=φ. (9)
OPC2 tgt.a,src2,src3
OPC1 tgt.[r|g|b],src0,src1
OPC1—OPC2 tgt.[r|g|b]a,src0,src1,src2,src3, where
tgt.a∩(src0∪src1)=φ. (10)
When OPC1 is defined as a unary operator, its operand includes src0 only, and when OPC2 is defined as binary operator, its operands include src1 and src2. As a result, in one embodiment, when OPC1 is the instruction “mad” and OPC2 is the instructions “mov” or “rsq”, the combination of OPC1_OPC2 can be instructions “mad_mov” and “mad_rsq”.
In the relationship of data independency between two adjacent first instructions, the source register of the later first instruction is different from a target register of the former first instruction. In other words, both the source register of the later first instruction and the target register of the former first instruction have a null set, e.g. “tgt.[r|g|b]∩src2=φ” in the above-mentioned item (1). The data of the two adjacent first instructions is outputted into different components in the target register. In one embodiment, the total number of the source operands of the first and second instructions is within a predetermined threshold value, e.g. 3, 4, or more, so that the decoder can decode the combination of the first instructions. When the first instructions comprise at least two adjacent first instructions having data dependency, one instruction is written into the second program and the other is checked with a next first instruction according to the folding rule.
Referring to
It should be noted that instruction folding mechanism 500 can be implemented in the forms of software or hardware. If implemented in software, the instruction folding mechanism 500 is a software tool kit running in an operating system (OS), a program loader or a part of a device driver attached to a latter part of a compiler. Furthermore, if implemented in a hardware, the instruction folding mechanism 500 is preferably connected to an instruction fetch unit or a decode unit, i.e. before the instruction queue unit and decoder of the pixel shader in the preferred embodiment, or may be built in a pixel shader.
In step S802, the second instructions are fetched according to a program counter. A control signal is decoded from the second instructions having the combination of the first instructions by a decoder, as shown in step S804. Then, in step S806, an operation of a plurality of register components of the second instructions is performed according to the control signal by an ALU. Finally, the register components are selected to transform operand formats of the second instructions by a register port in step S808.
In step S904a, when the folding rule checker checks the first instructions by way of two adjacent first instructions and the two adjacent first instructions have data independency, one instruction and the other are combined to generate the second instruction to be written into the second program. In step S904b, when the folding rule checker checks the first instructions by way of two adjacent first instructions and the two adjacent first instructions have data dependency, one instruction is written into the second program and the other is checked with a next first instruction according to the folding rule. At step S906, the last first instruction is not processed and step S902 is proceeded again. The second program is then ready to be executed at step S908.
Preferably, during the step S900, the instruction scheduler builds a dependence graph (DG) to determine whether the result of the former instruction is employed by the later one to indicate data dependency relationship between the first instructions, where each of the instruction is a node, as shown in step S910. Specifically, in the dependence graph, when the node is connected by an edge sign, the instruction is dependent. On the contrary, if the instruction is independent, then the folding rule checker can scan the DG.
In the relationship of data independency between two adjacent first instructions, the source register of the later first instruction is different from a target register of the former first instruction. In other words, both the source register of the later first instruction and the target register of the former first instruction have a null set. Preferably, the data of the two adjacent first instructions are outputted into different components in the target register. The total number of the source operands of the first and second instructions is within a predetermined threshold value to be decoded by the decoder.
The advantages of the present invention include: (a) folding instructions with data independency into reduced instructions for generating a new program; (b) folding instructions having an identical target register and output data to different components of the target register to save the hardware cost of pixel processing system; and (c) providing a folding mechanism applied to a pixel processing system to improve the performance of the pixel processing system.
As is understood by a person skilled in the art, the foregoing preferred embodiments of the present invention are illustrative rather than limiting of the present invention. It is intended that they cover various modifications and similar arrangements be included within the spirit and scope of the appended claims, the scope of which should be accorded the broadest interpretation so as to encompass all such modifications and similar structures.
Claims
1. A system comprising:
- an instruction scheduler configured to scan first and second instructions, wherein the first and second instructions are operable to output data to different components in a register;
- a rule checker configured to determine if the scanned first and second instructions are data independent;
- an instruction combiner configured, in response to a determination that the scanned first and second instructions are data independent, to form a combination of the scanned first and second instructions; and
- a processing unit comprising a single decoder, the processing unit operable to receive the combination, decode the combination using the single decoder, and execute the combination.
2. The system of claim 1, wherein the combination is a reduced instruction.
3. The system of claim 1, wherein the combination is a new instruction.
4. The system of claim 1, wherein the combination is part of a program.
5. The system of claim 1, wherein the combination is operable to output data to the register.
6. The system of claim 1, wherein the scanned first and second instructions have an identical target register.
7. The system of claim 1, wherein the scanned first and second instructions are adjacent in a program.
8. The system of claim 1, wherein the processing unit is operable to perform an operation of a plurality of register components of the combination.
9. The system of claim 1, wherein the scanned second instruction has a source register different than a target register of the first scanned instruction.
10. A system comprising:
- an instruction scheduler configured to scan first and second instructions each having one or more registers;
- a rule checker configured to determine if the scanned first and second instructions are data independent by comparing the one or more registers of the scanned first instruction with the one or more registers of the scanned second instruction;
- an instruction combiner configured, in response to a determination that the scanned first and second instructions are data independent, to form a combination of the scanned first and second instructions; and
- a processing unit comprising a single decoder, the processing unit operable to receive the combination, decode the combination using the single decoder, and execute the combination.
11. A processing system comprising:
- a checker operable to check for data independency between first and second instructions by comparing one or more target registers of said first instruction with one or more source registers of said second instruction;
- an instruction combiner operable to form a combination of said first and second instructions responsive to a determination by said checker that the first and second instructions are data independent; and
- a single decoder operable to decode the combination of said first and second instructions.
12. The system of claim 11, wherein the combination is a reduced instruction.
13. The system of claim 11, wherein the combination is a new instruction.
Type: Application
Filed: Apr 2, 2012
Publication Date: Jul 26, 2012
Inventor: R-Ming Hsu (Jhudong Township)
Application Number: 13/437,397