CSCI 402: Computer Architectures. Instructions: Language of the Computer (4) Fengguang Song Department of Computer & Information Science IUPUI

Transcription

1 CSCI 402: Computer Architectures Instructions: Language of the Computer (4) Fengguang Song Department of Computer & Information Science IUPUI op Instruction address 6 bits 26 bits Jump Addressing J-type format: e.g., jal target, j target Jump (j and jal) targets could be anywhere in the text segment (see next slide) They encode an absolute address in instruction n Jump addressing Op=2->j Op=3->jal n New address = PC (address 4) Q: Is instruction jr a J-format instruction? 2 1

2 Memory Layout (4 segments) Text: instructions (i.e., code) Static data: global variables, static variables, constant arrays and strings $gp initialized to the starting address Dynamic data: heap by malloc in C, new in C++ Stack: automatic storage Reserved is not counted! 3 Branch Addressing PC beq $s1, $s2, Label PC+4 add $t0, $s0, $s1 Most branch targets are nearby branch In SPEC, 50% of branches are within the distance of 16 instructions! Branch either forward or backward op rs rt constant or address 6 bits 5 bits 5 bits 16 bits n PC-relative addressing n Target address = PC + offset 4 n Note: PC was already incremented by 4 automatically 4 2

3 Target Addressing Example Loop code from Assume Loop is at location 0x80000 Loop: sll $t1, $s3, add $t1, $t1, $s lw $t0, 0($t1) bne $t0, $s5, Exit ? addi $s3, $s3, j Loop ? Exit: What If Branching Too Far Away? If branch target is too far to encode (with 16 bits), assembler will rewrite the code E.g., beq $s0,$s1, L1 bne $s0,$s1, L2 j L1 L2: //L2 has 26 bits 6 3

4 All 5 Addressing Modes on MIPS addi add lw For instructions bne, beq (31:28) j, jal Assembler Pseudoinstructions Most assembler instructions have a one-to-one relationship to machine instructions add, sub, lw, sw, bne Pseudoinstructions: Not real instructions, in the assembler s imagination, e.g., move $t0, $t1 add $t0, $zero, $t1 blt $t0, $t1, L slt $at, $t0, $t1 bne $at, $zero, L others: bgt, ble, bge, $at (i.e., register 1): assembler temporary 8 4

5 Let s Look at A Real Example To show the performance of bubble sort void sort (int v[], int n) { int i, j; for (i = 0; i < n; i += 1) { for (j = i 1; //from right to left j >= 0 && v[j+1] < v[j]; j--) { swap(v,j); //swap v[j], v[j+1] } } } The above algorithm is to repeatedly move the smallest element to the lowest index position of the array 9 Effect of Compiler Optimization Compiled with gcc for Pentium 4 under Linux -Used to Sort 100,000 words Clock Cycles none O1 O2 O Relative Performance none O1 O2 O3 4 versions Instruction count none O1 O2 O CPI none O1 O2 O3 10 5

6 Lesson Learnt Instruction count and CPI are not good performance indicators in isolation 11 Effect of Programming Languages 3 Bubblesort Relative Performance Bubble Sort X Higher is better! 0 C/none C/O1 C/O2 C/O3 Java/int Java/JIT 2.5 Quicksort Relative Performance Quick Sort X 3X 6.6X C/none C/O1 C/O2 C/O3 Java/int Java/JIT Lesson: Compiler optimizations are sensitive to the algorithm Lesson: Java/JIT compiled code is significantly faster than JVM interpreted, even comparable to optimized C in some cases 12 6

7 Effect of Different Algorithms X Quicksort vs. Bubblesort Speedup X C/none C/O1 C/O2 C/O3 Java/int Java/JIT 13 Lesson Learnt However, nothing can fix a dumb algorithm! 14 7

8 Section 2.14 Arrays vs. Pointers Both arrays and pointers can be used to access C arrays, e.g., array[10], *ptr Array indexing (e.g., array[index]) (1) Multiply the index by the element size (2) Then add it to the array base address Pointers correspond to memory addresses NO indexing calculation is needed But pointers are difficult to use W will look at assembly code to get an insight 15 Example: Clearing an Array (i.e., set every element to zero) $a0 $a1 $a0 $a1 clear_v1(int array[], int size) { int i; //in $t0 for (i = 0; i < size; i += 1) array[i] = 0; } clear_v2(int *array, int size) { int *p; //in $t0 for (p = &array[0]; p < &array[size]; p = p + 1) *p = 0; } move $t0,$zero # i = 0 loop1: sll $t1,$t0,2 # $t1 = i * 4 add $t2,$a0,$t1 # $t2 = # &array[i] sw $zero, 0($t2) # array[i] = 0 addi $t0,$t0,1 # i += 1 slt $t3,$t0,$a1 # $t3 = # (i < size) bne $t3,$zero,loop1 # if ( ) # goto loop1 move $t0,$a0 # p = & array[0] sll $t1,$a1,2 # $t1 = size * 4 add $t2,$a0,$t1 # $t2 = # &array[size] loop2: sw $zero,0($t0) # Memory[p] = 0 addi $t0,$t0,4 # p = p + 4 slt $t3,$t0,$t2 # $t3 = #(p<&array[size]) bne $t3,$zero,loop2 # if ( ) # goto loop2 16 8

9 Array version vs. Pointer version The Array Version requires shift inside the loop Also, offset needs to be added to the base address In general, compiler can achieve the same effect as our manual control of pointers This is better because it make program clearer and safer 17 x86 Registers (80386 and IA-32) 8 32-bit GPRs Index: 3 bits //MIPS has 32 GPRs 6 16-bit segment registers 18 9

10 What about 64-bit Mode Intel Architectures? Basic Program Execution Registers Sixteen 64-bit Registers General-Purpose Registers 2^64-1 Address Space Six 16-bit Registers 64-bits 64-bits Segment Registers RFLAGS Register RIP (Instruction Pointer Register) FPU Registers Eight 80-bit Registers Floating-Point Data Registers 16 bits Control Register 16 bits Status Register 0 16 bits Tag Register Opcode Register (11-bits) 64 bits FPU Instruction Pointer Register 64 bits FPU Data (Operand) Pointer Register Bounds Registers 2-sdm-vol-1-2abcd-3abcd.pdf (Vol ) Intel 64 and IA-32 Architectures Software Developer s Manual Volume 1: Basic Architecture 19 x86 s Addressing Modes 2 operands per instruction Source & Dest operand 2nd source operand Register Register Register Immediate Register Memory Memory Register Memory Immediate Memory Memory n Differences (vs MIPS) n One operand must be both source and dest n One of the two operands can be in memory n In MIPS, all operands are in registers 20 10

11 2 bytes x86 s Instruction Encoding 1 byte 5 bytes 3 bytes 5 bytes 6 bytes Variable-length encoding Ranges from 1 byte to 15 bytes Either with 8-, 16- or 32 bits operand Postfix bytes to specify addressing mode Complicated, see Fig in book Prefix bytes also modify operation Operand length, repetition, locking, 21 Purpose and Caveats ISA Reference: This guide should give you enough background to read and understand (most) of the 64bit x86 Quote from a professor at UCSD assembly that gcc is likely to produce. x86 is a poorly-designed ISA. It s a mess, but it is the most widely used ISA in the world today. It breaks almost every rule of good ISA design Just because it is popular does not mean it s good Intel and AMD have managed to engineer (at considerable cost) their CPUs so that this ugliness has relatively little impact on their processors design (more on this later) There s a nice example here

12 Implementation of x86 ISA Complex instructions make implementation difficult Hardware has to translate complex instructions to simpler micro-operations Simple instructions: 1 1 Complex instructions: 1 many! So Intel hardware has a micro-engine It is similar to MIPS Nevertheless, its large market share makes this method economically viable Have comparable performance to RISC Because compilers manage to avoid complex instructions 23 RISC - Reduced Instruction Set Computer As opposed to CISC (Complicated Instruction Set Computer or x86) RISC philosophy: fixed instruction lengths, Always 32 bits load-store instruction sets small number of addressing modes limited operations simpler, cheaper CISC philosophy (Intel/AMD x86) Hardware is faster than software! RISC examples: MIPS, ARM, Sun SPARC, HP PA-RISC, IBM PowerPC, DEC/Compaq/HP Alpha, Design goals of ISA: Speed, cost, size, power consumption, reliability, memory space 24 12

13 Fallacies Powerful instruction Þ Higher performance yes, fewer instructions will be required but, complex instructions are hard to implement May slow down all instructions, including those simple common ones e.g., blt is not provided on MIPS Also, compilers are particularly good at making faster code from simple instructions Try to use assembly code for higher performance Modern compilers are better at dealing with modern processors Even if assembly code is faster à But take longer time, not portable More lines of code Þ Have more errors and less productivity 25 Fallacies Importance of binary compatibility Þ Instruction set does Not change But they do frequently add more instructions x86 instruction set One instruction added per month BTW, it increase the difficulty for other companies to try to build compatible processors! 26 13

14 Pitfalls Sequential words are located at sequential byte addresses (e.g. ptr++) Increment by 4, not by 1! Try to access a pointer (pointing to an automatic variable) outside of its defining procedure e.g., passing the pointer back by return Why? pointer becomes invalid when stack popped 27 Concluding Remarks Learned 4 design principles in Chapter: 1. Simplicity favors regularity (e.g., fixed 32 bits, three operands, three instruction formats) 2. Smaller is faster (e.g., just 32 registers): 3. Make the common case fast (e.g., support immediate operands, use slt+bne for blt) 4. Good design demands good compromise (e.g., fixed vs various size) x86 uses different sizes for different instructions MIPS makes all the instructions the same length, thereby requiring different instruction formats Layers of software/hardware High Level Language à Compiler à Assembler à hardware MIPS: A classical example of RISC ISAs vs. x86 (CISC) 28 14

15 Concluding Remarks MIPS Instruction categories: arithmetic, logical, data transfer, conditional branches, unconditional jumps But they are not equally popular Based on the measurement of MIPS instruction executions in benchmark programs: 29 The MIPS Instructions we have mentioned in classes. You should feel comfortable with them, e.g., know what it means which is the 1 st source, 2 nd source, and destination 30 15

16 ARM v8 Instructions ARM v8 is for 64-bit ARM Revealed in 2013 ARM v8 resembles MIPS If you know MIPS, it is very easy for you to pick up ARM v8. Changes from ARM v7 such as: Immediate field is 12-bit constant //like MIPS now GPR set expanded to 32 //like MIPS Addressing modes work for all word sizes Divide instruction Branch if equal, and branch if not equal instructions //like MIPS Is now much closer to MIPS than ARM v