Download presentation

Presentation is loading. Please wait.

Published byCynthia Harcrow Modified over 4 years ago

1
CMPUT 680 - Compiler Design and Optimization1 CMPUT680 - Winter 2006 Topic E: Software Pipelining José Nelson Amaral http://www.cs.ualberta.ca/~amaral/courses/680

2
CMPUT 680 - Compiler Design and Optimization2 Reading List zTiger book: chapter 20 zOther papers such as: GovindAltmanGao97, RutenbergAtAl97

3
CMPUT 680 - Compiler Design and Optimization3 Software Pipeline Software Pipeline is a technique that reduces the execution time of important loops by interweaving operations from many iterations to optimize the use of resources. 012345678910111216151413time ldf fadds stf sub cmp bg

4
CMPUT 680 - Compiler Design and Optimization4 Software Pipeline What limits the speed of a loop? Data dependencies: recurrence initiation interval (rec_mii) Processor resources: resource initiation interval (res_mii) Memory accesses: memory initiation interval (mem_mii) 012345678910111216151413time ldf fadds stf sub cmp bg Initiation interval

5
CMPUT 680 - Compiler Design and Optimization5 Problem Formulation (I) Given a weighted dependence graph, derive a schedule which is “time-optimal” under a machine model M. Def: A schedule S of a loop L is time-optimal if among all “legal” schedules of L, no schedule is faster than S. Note: There may be more than one time- optimal schedule.

6
CMPUT 680 - Compiler Design and Optimization6 Example: The Inner Product Q = 0.0 DO k = 1, N Q = Q+Z(k)*X(k) ENDDO z 0 &Z(1) x 0 &X(1) q 0 0.0 DO k=1,N u k load z k-1 v k load x k-1 w k u k * v k q k q k-1 + w k z k z k-1 + 4 x k x k-1 + 4 END DO (Dehnert, J. and Towle, R. A., “Compiling for Cidra 5”) Dynamic Single Assignment (DSA): Uses an expanded virtual register (EVR) that is an infinite, linearly ordered, set of virtual registers. A program in DSA has no anti-dependencies and no output dependencies.

7
CMPUT 680 - Compiler Design and Optimization7 Machine Model and Resource Constraints z 0 &Z(1) x 0 &X(1) q 0 0.0 DO k=1,N u k load z k-1 MEM v k load x k-1 MEM w k u k * v k FMULT q k q k-1 + w k FADD z k z k-1 + 4ADDR x k x k-1 + 4ADDR END DO What unit each operation in the loop uses? UnitLatency MEM1 6 MEM2 6 ADDR1 1 ADDR2 1 FMULT 2 FADD 2 Machine Model Without instruction level parallelism. How long does the loop take to execute? (6+6+2+2+1+1)*N=18*N

8
CMPUT 680 - Compiler Design and Optimization8 The Resource Minimum Initiation Interval of a loop is given by: Resource Minimum Initiation Interval (resMII) Each processor resource defines a minimum initiation interval for the execution of the loop. For instance in the machine model in the previous example, a loop that requires the computation of 6 addresses has a ResMII(ADDR) = 6*1/2 = 3.

9
CMPUT 680 - Compiler Design and Optimization9 ResMII z 0 &Z(1) x 0 &X(1) q 0 0.0 DO k=1,N u k load z k-1 MEM v k load x k-1 MEM w k u k * v k FMULT q k q k-1 + w k FADD z k z k-1 + 4ADDR x k x k-1 + 4ADDR END DO UnitLatency MEM1 6 MEM2 6 ADDR1 1 ADDR2 1 FMULT 2 FADD 2 Machine Model There are enough units to schedule all the instructions of the loop in the same cycle. Therefore ResMII = 1. Can we execute the loop in N+C cycles (C = a small constant)?

10
CMPUT 680 - Compiler Design and Optimization10 Recurrence Minimum Initiation Interval (RecMII) z 0 &Z(1) x 0 &X(1) q 0 0.0 DO k=1,N (a)u k load z k-1 (b)v k load x k-1 (c)w k u k * v k (d)q k q k-1 + w k (e)z k z k-1 + 4 (f)x k x k-1 + 4 END DO k=1 ab c d e f k=2 ab c d e f k=3 ab c d e f ab c d e f (1)

11
CMPUT 680 - Compiler Design and Optimization11 Recurrence Minimum Initiation Interval (RecMII) ab c d e f (1,2) (1,1) z 0 &Z(1) x 0 &X(1) q 0 0.0 DO k=1,NUnit Lat. (a)u k load z k-1 MEM (6) (b)v k load x k-1 MEM (6) (c)w k u k * v k FMULT (2) (d)q k q k-1 + w k FADD (2) (e)z k z k-1 + 4ADDR (1) (f)x k x k-1 + 4ADDR (1) END DO (dist,lat)

12
CMPUT 680 - Compiler Design and Optimization12 Recurrence Minimum Initiation Interval (RecMII) ab c d e f (1,2) (1,1) (dist,lat) The recursive minimum initiation interval (rec_mii) is given by: Quiz: What is the rec_mii for the example?

13
CMPUT 680 - Compiler Design and Optimization13 Minimum Initiation Interval The Minimum Initiation Interval (MII) for a loop is constrained both by resources and recurrences, therefore, it is given by: In our example we have MII = max(1,2) = 2. Therefore the best that we can do without transforming the loop is to execute it in 2*N+C.

14
CMPUT 680 - Compiler Design and Optimization14 Module Schedule In module scheduling, we: (1) start with the first instruction (2) schedule as many instructions as we can in every cycle, limited only by the resources available and by the dependences. When a pattern emerges, we adopt the pattern as our module schedule. Instructions before this pattern form the loop prologue. Instructions after this pattern form the loop epilogue.

15
Recurrence Minimum Initiation Interval (RecMII) z 0 &Z(1) x 0 &X(1) q 0 0.0 DO k=1,NLat. (a)u k load z k-1 (6) (b)v k load x k-1 (6) (c)w k u k * v k (2) (d)q k q k-1 + w k (2) (e)z k z k-1 + 4(1) (f)x k x k-1 + 4 (1) END DO

16
CMPUT 680 - Compiler Design and Optimization16 Why an eager scheduler fails in our example Cycles b1 0 b2 1 b3 2 b4 3 b5 4 b6 5 b7 6 c1b8 7 c2 8 b9 d1c3 9 c4 10 d2c5 11 123456789 Iterations b10 b11 b12 111213141516171810 d3c7 13 c8 14 d4 15 c9 16 d5 17 18 d6 19 20 d7 21 22 d8 23 c6 12 b14 b15 b16 b17c10 c11b18 c12 c13 c14 c15 c16 c17 b13 Cycles

17
CMPUT 680 - Compiler Design and Optimization17 Why an eager scheduler fails in our example Cycles b1 0 1 b2 2 3 b3 4 5 b4 6 c1 7 b5 8 d1c2 9 b6 10 d2c3 11 123456789 Iterations 111213141516171810 d3c4 13 b8 14 d4c5 15 16 b9 d5c6 17 18 d6c7 19 20 d7c8 21 22 d8 23 c9 b7 12 b10 b11 b12 Cycles Therefore we can do it in 2*N+9 cycles.

18
CMPUT 680 - Compiler Design and Optimization18 Collision vectors Given the reservation tables for two operations A and B, the set of forbidden intervals, i.e., intervals at which distance the operations A and B cannot be issued is called the collision vector for the reservation tables.

19
CMPUT 680 - Compiler Design and Optimization19 A Simplistic Module Scheduling Algorithm 1. Compute MII as discussed 2. Use a modified list scheduling algorithm to generate a module schedule. The scheduling algorithm must obey the following restriction: If an operation P is scheduled at time t, it cannot be scheduled at any time t k*II for any k 0. The Module Reservation Table has II rows, representing the cycles of the initiation interval, and as many columns as the resources that it needs to keep track of.

20
CMPUT 680 - Compiler Design and Optimization20 Heuristic Method for Modulo Scheduling Why a simple variant of list scheduling may not work? Problem: Generate a module schedule of a loop by scheduling instructions until a pattern emerge.

21
CMPUT 680 - Compiler Design and Optimization21 AC BD (0,4) (0,2) (1,2) Counter Example I: List Scheduling May Fail There is only one cycle in the dependence graph, therefore RecMII is given by: Therefore, in a machine with infinite resources, we must be able to schedule the loop in 4 cycles.

22
CMPUT 680 - Compiler Design and Optimization22 Counter Example I: List Scheduling May Fail AC BD (0,4) (0,2) (1,2) CA D 01230123 D AC List Scheduling: a greedy algorithm that schedules each operation at its earliest possible time B must be scheduled after the A of the current iteration and before the C of the next iteration. We are deadlocked!!! B B ???

23
CMPUT 680 - Compiler Design and Optimization23 Counter Example I: List Scheduling May Fail AC BD (0,4) (0,2) (1,2) CA D B 01230123 D(0)A(0)C(0) 45674567 A(1)B(0)C(1)……………D(N)B(N) The solution is to create a kernel with operations from different iterations, and use a prologue and an epilogue. prologue epilogue kernel

24
CMPUT 680 - Compiler Design and Optimization24 A1 C2 A3 A4 M5 M6 (0,2) (0,1) (0,2) (0,3) A1, A3, and A4 are non-pipelined adds that take two cycles at the adder M5 and M6 are non-pipelined multiply operations that take three cycles each on the multiplier C2 is a copy operation that uses the bus for one cycle What is the ResMII for these operations in a machine that has one adder, one multiplier and one bus? ResMII(Adder) = 6; ResMII(Multiplier) = 6 ResMII(Bus) = 1 ResMII = 6 Counter Example II: List Scheduling May Fail

25
CMPUT 680 - Compiler Design and Optimization25 A1 C2 A3 A4 M5 M6 (0,2) (0,1) (0,2) (0,3) Counter Example II: List Scheduling May Fail 012345012345 Adder Mult Bus A1 A3 A4 M6 C2 A4 ??? We cannot schedule A4 and achieve an MII = ResMII = 6!!!

26
CMPUT 680 - Compiler Design and Optimization26 A1 C2 A3 A4 M5 M6 (0,2) (0,1) (0,2) (0,3) Counter Example II: List Scheduling May Fail 012345012345 Adder Mult Bus A1 A3 A4 M6 M5 M6 M5 C2 A4 Although it seems counter-intuitive we obtain a module schedule with MII = 6 if we initially schedule both M6 and A3 one cycle later than the earliest possible time for these operations.

27
CMPUT 680 - Compiler Design and Optimization27 Complex Reservation Tables Consider three independent operations with the reservation tables shown below A1M2MA3 (0,2) (0,3)(0,4) Add Mult Bus What is the MII for a loop formed by this three operations? ResMII(Add) = 1 + 0 + 1 = 2 Res MII(Mult) = 0 + 1 + 1 = 2 ResMII(Bus) = 1 + 1 + 0 = 2 ResMII = 2

28
CMPUT 680 - Compiler Design and Optimization28 Is the MII = 2 Feasible?? A1M2MA3 (0,2) (0,3)(0,4) Add Mult Bus A1 0101 Adder Mult Bus A1 M2 Deadlocked. Cannot allocate MA3. Even though MII = max(ResMII, RecMII) = 2, MII = 2 is not feasible!!!!

29
CMPUT 680 - Compiler Design and Optimization29 Increasing MII to 3 helps? A1M2MA3 (0,2) (0,3)(0,4) Add Mult Bus A1M2 012012 Adder Mult Bus A1 M2 MA3 We find a module schedule with MII = 3!!

30
CMPUT 680 - Compiler Design and Optimization30 Iteration Between Recurrence Constraints and Resource Constraints A1 A2 A3 A4 (0,2) (2,2) (0,2) A Add Mult Bus What is the RecMII for this loop? RecMII = (2+2+2+2)/2 = 4 What is the ResMII for the loop? ResMII(Add) = 1+1+1+1 = 4 ResMII(Mult) = 0+0+0+0 = 0 ResMII(Bus) = 1+1+1+1 = 4 ResMII = 4 Therefore MII = max(ResMII,RecMII) = 4

31
CMPUT 680 - Compiler Design and Optimization31 Is the MII = 4 feasible? A1 A2 A3 A4 (0,2) (2,2) (0,2) A Add Mult Bus A1 A2 01230123 Adder Mult Bus A1 In order to finish A4 in time to produce the result for two iterations later, A3 must be scheduled at time 4. But 4 module 4 = 0, which conflicts with A1. Therefore there is no feasible schedule with MII = 4.

32
CMPUT 680 - Compiler Design and Optimization32 Scheduling Strategy An exhaustive search will eventually reveal that the MII calculated is not feasible, but it might take too long. In practice, we compute the MII and spend a pre-allocated budget of time trying to find a schedule with the MII. If we don’t find one, we increase the MII. In some commercial compilers, the search for the smallest feasible II is a binary search, where the II is doubled at each step until a feasible one is found, at which point a linear search between the last unfeasible II and the feasible one is conducted.

33
CMPUT 680 - Compiler Design and Optimization33 Previous Approaches zApproach I (Operational): y“Emulate” the loop execution under the machine model and a “pattern” will eventually occur [AikenNic88, EbciogluNic89, GaoEtAl91] zApproach II (Periodic scheduling): ySpecify the scheduling problem into a periodical scheduling problem and find optimal solution [Lam88, RauEtAl81,GovindAltmanGao94]

34
Software Pipelining Operational Approach Periodic Scheduling (Modulo Scheduling) Heuristic (Aiken88, AikenNic88, Ebcioglu89, etc) Formal Model (GaoWonNin91) Non-Exact Method (Heuristic) ( RauGla81, Lam88, RauEtA192, Huff93, DehnertTow93, Rau94, WanEis93) Exact Method Basic Formulation (DongenGao92) ILP based Exhausitive Search ( Altman95, AltmanGao96) Register Optimal (NingGao91, NingGao93, Ning93) Resource Constrained (GovindAltGao94) Resource & Register (GovindAltGao95, Altman95, EichenbergerDav95) “Showdown” (RuttenbergGao StouchininWoody96)

Similar presentations

OK

Section 3.4 The Traveling Salesperson Problem Tucker Applied Combinatorics By Aaron Desrochers and Ben Epstein.

Section 3.4 The Traveling Salesperson Problem Tucker Applied Combinatorics By Aaron Desrochers and Ben Epstein.

© 2018 SlidePlayer.com Inc.

All rights reserved.

To make this website work, we log user data and share it with processors. To use this website, you must agree to our Privacy Policy, including cookie policy.

Ads by Google