1 code optimization. 2 outline machine-independent optimization code motion memory optimization...
DESCRIPTION
3 Motivation Constant factors matter too! –easily see 10:1 performance range depending on how code is written –must optimize at multiple levels algorithm, data representations, procedures, and loopsTRANSCRIPT
1
Code Optimization
2
Outline
• Machine-Independent Optimization– Code motion– Memory optimization
• Suggested reading– 5.2 ~ 5.6
3
Motivation
• Constant factors matter too!– easily see 10:1 performance range depending on
how code is written– must optimize at multiple levels
• algorithm, data representations, procedures, and loops
4
Motivation
• Must understand system to optimize performance– how programs are compiled and executed– how to measure program performance and
identify bottlenecks– how to improve performance without destroying
code modularity and generality
5
5.3 Program Example
6
Vector ADT P384
typedef struct { int len ;
data_t *data ; } vec_rec, *vec_ptr ; typedef int data_t ;
length
data
0 1 2 length–1
Figure 5.3 P385
7
Procedures P386
• vec_ptr new_vec(int len)– Create vector of specified length
• data_t *get_vec_start(vec_ptr v)– Return pointer to start of vector data
P392
P386
8
Procedures
• int get_vec_element(vec_ptr v, int index, int *dest)– Retrieve vector element, store at *dest– Return 0 if out of bounds, 1 if successful
• Similar to array implementations in Pascal, Java– E.g., always do bounds checking
9
Vector ADT
vec_ptr new_vec(int len) {
/* allocate header structure */vec_ptr result = (vec_ptr) malloc(sizeof(vec_rec)) ;if ( !result )
return NULL ;
10
Vector ADT
/* allocate array */if ( len > 0 ) {
data_t *data = (data_t *)calloc(len, sizeof(data_t)) ;
if ( !data ) { free( (void *)result ) ; return NULL ; /* couldn’t allocte stroage
*/}result->data = data
} else result->data = NULL
return result ;}
11
Vector ADT
/** Retrieve vector element and store at dest.* Return 0 (out of bounds) or 1 (successful)*/ int get_vec_element(vec_ptr v, int index, data_t *dest)
{ if ( index < 0 || index >= v->len)
return 0 ;*dest = v->data[index] ;return 1;
}
12
Vector ADT
/* Return length of vector */ int vec_length(vec_ptr) {return v->len ;
}
/* Return pointer to start of vector data */data_t *get_vec_start(vec_ptr v){return v->data ;
}
P392
13
Optimization Example P385
#ifdef ADD #define IDENT 0#define OPER +
#else#define IDENT 1#define OPER *
#endif
14
Optimization Example P387
void combine1(vec_ptr v, data_t *dest){ int i; *dest = IDENT; for (i = 0; i < vec_length(v); i++) { int val; get_vec_element(v, i, &val); *dest = *dest OPER val; }}
15
Optimization Example
• Procedure– Compute sum (product) of all elements of
vector– Store result at destination location
16
5.2 Expressing Program Performance
17
Time Scales P382
• Absolute Time– Typically use nanoseconds
• 10–9 seconds
– Time scale of computer instructions
18
Time Scales
• Clock Cycles– Most computers controlled by high frequency
clock signal– Typical Range
• 100 MHz – 108 cycles per second– Clock period = 10ns
• 2 GHz – 2 X 109 cycles per second– Clock period = 0.5ns
19
CPE P383
1 void vsum1(int n)2 {3 int i;45 for (i = 0; i < n; i++)6 c[i] = a[i] + b[i];7 }8
20
CPE P383
9 /* Sum vector of n elements (n must be even) */10 void vsum2(int n)11 {12 int i;1314 for (i = 0; i < n; i+=2) {15 /* Compute two elements per iteration */16 c[i] = a[i] + b[i];17 c[i+1] = a[i+1] + b[i+1];18 }19 }
21
Cycles Per Element
• Convenient way to express performance of program that operators on vectors or lists
• Length = n• T = CPE*n + Overhead
22
Cycles Per Element Figure 5.2 P383
0
100
200
300
400
500
600
700
800
900
1000
0 50 100 150 200
Elements
Cyc
les
vsum1Slope = 4.0
vsum2Slope = 3.5
23
5.3 Program Example5.4 Eliminating Loop Inefficiencies5.5 Reducing Procedure Calls5.6 Eliminating Unneeded Memory References
24
Time Scales P387
void combine1(vec_ptr v, int *dest){ int i; *dest = 0; for (i = 0; i < vec_length(v); i++) { int val; get_vec_element(v, i, &val); *dest += val; }}
5.3 Program Example
25
Time Scales P385
• Procedure– Compute sum of all elements of integer vector– Store result at destination location– Vector data structure and operations defined
via abstract data type• Pentium II/III Performance: CPE
– 42.06 (Compiled -g) 31.25 (Compiled -O2)
26
Understanding Loop
void combine1-goto(vec_ptr v, int *dest){ int i = 0; int val; *dest = 0; if (i >= vec_length(v)) goto done; loop: get_vec_element(v, i, &val); *dest += val; i++; if (i < vec_length(v)) goto loop done:}
1 iteration
27
Inefficiency
• Procedure vec_length called every iteration• Even though result always the same
5.4 Eliminating Loop Inefficiencies
28
Code Motion P388
void combine2(vec_ptr v, int *dest){ int i; int length = vec_length(v); *dest = 0; for (i = 0; i < length; i++) { int val; get_vec_element(v, i, &val); *dest += val; }}
29
Code Motion P388
• Optimization– Move call to vec_length out of inner loop
• Value does not change from one iteration to next• Code motion
– CPE: 22.61 (Compiled -O2)• vec_length requires only constant time, but
significant overhead
30
Reduction in Strength P392
void combine3(vec_ptr v, int *dest){ int i; int length = vec_length(v); int *data = get_vec_start(v); *dest = 0; for (i = 0; i < length; i++) { *dest += data[i];}
5.5 Reducing Procedure Calls
31
Reduction in Strength
• Optimization– Avoid procedure call to retrieve each vector
element• Get pointer to start of array before loop• Within loop just do pointer reference• Not as clean in terms of data abstraction
– CPE: 6.00 (Compiled -O2)• Procedure calls are expensive!• Bounds checking is expensive
32
Eliminate Unneeded Memory References P394void combine4(vec_ptr v, int *dest){ int i; int length = vec_length(v); int *data = get_vec_start(v); int sum = 0; for (i = 0; i < length; i++) sum += data[i]; *dest = sum;}
5.6 Eliminating Unneeded Memory References
33
Eliminate Unneeded Memory References
• Optimization– Don’t need to store in destination until end– Local variable sum held in register– Avoids 1 memory read, 1 memory write per
cycle– CPE: 2.00 (Compiled -O2)
• Memory references are expensive!
34
Detecting Unneeded Memory References
.L18:movl (%ecx,%edx,4),%eaxaddl %eax,(%edi)
incl %edxcmpl %esi,%edxjl .L18
.L24:addl (%eax,%edx,4),%ecx
incl %edxcmpl %esi,%edxjl .L24
Combine3 Combine4
35
Detecting Unneeded Memory References
• Performance– Combine3
• 5 instructions in 6 clock cycles• addl must read and write memory
– Combine4• 4 instructions in 2 clock cyles