Arquitectura de Las Computadoras UNIDAD II C
Arquitectura de Las Computadoras UNIDAD II C
Arquitectura de Las Computadoras UNIDAD II C
Patagonia Austral
Computadoras
Unidad Académica Caleta
Olivia
2022
UNIDAD II – Parte C
El repertorio de instrucciones
2
Arquitectura de las computadoras
Esquema de contenidos
2022
1. Introducción: Visión del programador
2. Formato de instrucciones
3. Modos de direccionamiento
4. Instrucciones típicas
5. Llamadas a subrutinas
6. Pila o stack
3
Arquitectura de las computadoras
Introducción: La visión del programador
2022 • El funcionamiento de la CPU está determinado por las
instrucciones que ejecuta.
• El conjunto de instrucciones distintas que puede
ejecutar se denomina repertorio de instrucciones
• En los computadores actuales las instrucciones se
presentan como números y se almacenan en memoria
(programa almacenado)
• El lenguaje utilizado por el ordenador se denomina
lenguaje máquina. El lenguaje ensamblador es una
representación simbólica más cercana al humano.
4
Arquitectura de las computadoras
Visión software: Jerarquía de traducción
swap: muli $2, $5, 4
2022 swap( int v[ ], int
k) { add $2, $4, $2
int temp; lw $15, 0($2)
temp=v[k]; lw $16, 4($2)
v[k]=v[k+1]; sw $16, 0($2)
v[k+1]=temp;
sw $15, 4($2)
}
jr $31
Lenguaje de alto
nivel (C) Lenguaje ensamblador
(MIPS)
Lenguaje máquina
00000000101001100010100101000110000000010110101100100000100000
10001100011000100000000000000001000110011100100000000000000000
10101100111110100000000000000001010110010111010001000000000000
00000011000001000000010000000100000000000000001000110001000110
5
Arquitectura de las computadoras
Formato de instrucciones
2022
Elementos de una instrucción máquina:
• Código de operación.
• Especifica el tipo de operación a realizar: Suma, resta,
movimiento de datos, …
• Referencia a operandos fuente
• La instrucción puede involucrar ninguno, uno o varios operandos
fuente.
• Los operandos pueden especificarse utilizando diferentes modos
de direccionamiento.
• Referencia al operando resultado
• Si la instrucción produce un resultado debe especificar el
operando destino.
• El operando puede especificarse utilizando diferentes modos de
direccionamiento.
• Referencia a la siguiente instrucción.
• Normalmente la ejecución del programa es secuencial y la
dirección de la siguiente instrucción está implícita.
• En las instrucciones de salto se especifica la dirección de la
siguiente instrucción.
6
Arquitectura de las computadoras
Formato de instrucciones
2022 • Dentro del computador cada instrucción se representa
por una secuencia de bits
• La instrucción se divide en campos correspondientes a
los elementos constitutivos de la misma (código de
operación, operandos, etc.)
• La descripción en campos y bits se denomina formato
de instrucción
7
Arquitectura de las computadoras
Diseño del repertorio de instrucciones
Se debe decidir:
2022
• Longitud de las instrucciones
• Todas de la misma longitud.
• De distinta longitud dependiendo del tipo de operación.
• Número de campos (dependiendo del tipo de instrucción).
• Número de bits por campo.
• Codificación de cada campo.
Factores a tener en cuenta para decidir el formato:
• Número de operaciones distintas
• Aritméticas, lógicas, de control, de movimiento de datos.
• Número de operandos de cada instrucción.
• Sin operandos, con 1,2,3… operandos.
• Modos de direccionamiento:
• Inmediato, absoluto, de registro, indirecto…
• Tamaño y tipos de datos:
• Bit, byte, palabra, doble palabra…
• Caracteres, BCD, signo magnitud, complemento a 2, punto flotante…
8
Arquitectura de las computadoras
Repertorio de instrucciones escogido: MIPS
9
Arquitectura de las computadoras
MIPS: Ejemplo de sencillez
2022 SUMA de dos variables b y c, resultado en a.
add a, b, c #a=b+c
10
Arquitectura de las computadoras
Repertorio de instrucciones MIPS
2022 • Longitud de instrucción fija: 32 bits
• La arquitectura MIPS realiza la mayor parte de los
cálculos con datos almacenados en registros
• MIPS es sencilla y eficiente
• El acceso a memoria se hace a través de operaciones
de carga/almacenamiento (transferencia de datos)
• MIPS direcciona bytes individuales, para indicar la
dirección de una palabra en memoria hay que indicar
su dirección (dirección de su primer byte).
11
Arquitectura de las computadoras
Registros del MIPS
• 32 registros de 32 bits
Númeo Nombre Uso convencional
0 $zero Valor constante 0
1 $at Reservado por el ensamblador
2-3 $v0-$v1 Para resultados y evaluación de expresiones
4-7 $a0-$a3 Argumentos
8-15 $t0-$t7 Temporales
16-23 $s0-$s7 Salvados
24-25 $t8-$t9 Temporales
26-27 $k0-$k1 Reservado para núcleo de SO
28 $gp Puntero global
29 $sp Puntero de pila
30 $fp Puntero de bloque de activación
31 $ra Dirección de retorno
12
Ejemplo de instrucción MIPS
2022 Ejemplo:
add $t0, $s1, $s2
En representación decimal:
0 17 18 8 0 32
13
Arquitectura de las computadoras
Ejemplo de instrucción MIPS
Ejemplo:
add $t0, $s1, $s2
TIPO R (Registro)
op rs rt rd shamt funct
6 bits 5 bits 5 bits 5 bits 5 bits 6 bits
15
Arquitectura de las computadoras
Formatos de las instrucciones MIPS
2022 MIPS tiene 3 tipos de formatos:
TIPO R: Operaciones aritméticas y lógicas
TIPO I: Transferencia de datos, salto condicional e
instrucciones con operandos inmediatos.
TIPO J: Instrucciones de bifurcación.
TIPO I (Inmediato)
op rs rt dirección
6 bits 5 bits 5 bits 16 bits
16
Arquitectura de las computadoras
Formatos de las instrucciones MIPS
2022 MIPS tiene 3 tipos de formatos:
TIPO R: Operaciones aritméticas y lógicas
TIPO I: Transferencia de datos, salto condicional e
instrucciones con operandos inmediatos.
TIPO J: Instrucciones de bifurcación.
TIPO J (Jump)
op dirección
6 bits 26 bits
17
Arquitectura de las computadoras
¿Dónde están los operandos?: Modos
de direccionamiento
2022 Los operandos pueden estar:
• En la instrucción:
• Rápido y simple.
• Sólo para constantes
• En la memoria principal:
• Direccionamiento implica muchos bits.
• Acceso lento
• En los registros de la CPU:
• Hay pocos registros: el direccionamiento implica pocos bits
• Acceso rápido
18
Arquitectura de las computadoras
¿Dónde están los operandos?: Modos
de direccionamiento
2022 Modos de direccionamiento del MIPS:
• Modo de direccionamiento inmediato.
• Modo de direccionamiento registro.
• Modo de direccionamiento base con
desplazamiento.
• Modo de direccionamiento relativo al PC.
• Modo de direccionamiento pseudodirecto.
19
Arquitectura de las computadoras
Direccionamiento inmediato
2022 • El operando es una constante que aparece en
la instrucción
op rs rt DATO
INSTRUCCION
op rs rt rd shamt funct
6 bits 5 bits 5 bits 5 bits 5 bits 6 bits
20
Arquitectura de las computadoras
Modo de direccionamiento registro
2022
• El operando está en un registro
op rs rt rd shamt funct
INSTRUCCION
DATO
REGISTRO
21
Arquitectura de las computadoras
Modo de direccionamiento base con
desplazamiento
2022
• El operando está en la memoria en la dirección:
constante en la instrucción + contenido registro
op rs rt Dirección
INSTRUCCION +
Dirección
REGISTRO
DATO
MEMORIA
22
Arquitectura de las computadoras
Modo de direccionamiento relativo al PC
2022
• El operando está en la memoria en la dirección:
constante en la instrucción + contador de programa (PC).
op rs rt Dirección
INSTRUCCION +
Dirección
PC
DATO
MEMORIA
23
Arquitectura de las computadoras
Modo de direccionamiento pseudodirecto
2022
• El operando está en la memoria en la dirección: 26 bits de
instrucción CONCATENADOS CON los bits de mayor peso del
contador de programa (PC).
op Dirección
INSTRUCCION
Dirección
PC
DATO
MEMORIA
24
Arquitectura de las computadoras
Instrucciones aritmético-lógicas
2022 TIPO R Direccionamiento registro
op rs rt rd shamt funct
6 bits 5 bits 5 bits 5 bits 5 bits 6 bits
op rs rt rd shamt funct
6 bits 5 bits 5 bits 5 bits 5 bits 6 bits
Direccionamiento inmediato
TIPO I
op rs rt dirección
6 bits 5 bits 5 bits 16 bits
28
Arquitectura de las computadoras
Instrucciones de transferencia:
Direccionamiento de la memoria
Palabra de 32 bits:
2022 31 0
8bits 8bits 8bits 8bits
4n-1 …
4n 8bits
MEMORIA
Ejemplo Big Endian: DIRECCION 4n 4n+1 8bits
4n+2 8bits
4n+3 8bits
…
29
Arquitectura de las computadoras
Instrucciones de transferencia: lw
2022 Ejemplo:
lw $s1,1200($s2) # $s1 = Mem [1200+$s2]
Explicación:
• Carga una palabra de 32 bits desde la memoria
• La pone en un registro ($s1)
• La dirección de memoria se encuentra en un
registro ($s2) más un desplazamiento (1200)
• Cuidado!: Sólo las direcciones múltiplo de 4
son válidas (palabras de 32 bits)
30
Arquitectura de las computadoras
Instrucciones de transferencia: lw
2022 TIPO I Direccionam. base con desplazamiento
op rs rt dirección
6 bits 5 bits 5 bits 16 bits
35 18 17 1200
s2 s1
Explicación:
• Guarda una palabra de 32 bits en la memoria
• La palabra esta en el registro ($s1)
• La dirección de memoria se encuentra en un
registro ($s2) más un desplazamiento (8)
• Cuidado!: Sólo las direcciones múltiplo de 4
son válidas (palabras de 32 bits)
32
Arquitectura de las computadoras
Instrucciones de transferencia: sw
2022 .
sw $s1,8($s2) # Mem [8+$s2] = $s1 .
.
Dirección base ($s2) 4n
4n+1 A[0]
4n+2
4n+3
Desplazamiento (8)
4n+4
4n+5
A[1]
4n+6
4n+7
4n+8
$s0
4n+9
$s1
4n+10 A[2]
$s2 4n
4n+11
.
.
registers .
33
Arquitectura de las computadoras
Instrucciones de transferencia: sw
2022 TIPO I Direccionam. base con desplazamiento
op rs rt dirección
6 bits 5 bits 5 bits 16 bits
43 18 17 1200
s2 s1
op rs rt dirección
6 bits 5 bits 5 bits 16 bits
36
Arquitectura de las computadoras
Instrucciones de cambio de flujo
2022 • Hacen que el programa salte a otra instrucción distinta
de la siguiente
• Pueden saltar siempre o dependiendo de una condición
• La instrucción debe indicar la dirección de la nueva
instrucción
• De forma absoluta
• De forma relativa
• MIPS dispone de:
• Salto incondicional: j, jr
• Salto condicional: beq, bne
• Apoyo al salto condicional: slt
37
Arquitectura de las computadoras
Salto incondicional: jump
2022 TIPO J Direccionamiento pseudodirecto
op dirección
6 bits 26 bits
Se concatena una dirección de 26 bits (2500) desplazados 2 bits a la izquierda con los 4 bits de
mayor peso del PC (10000)
j j 2500 # ir a dirección (PC=10000)
PC anterior = 0000 xx xxxx xxxx xxxx xxxx xxxx xxxx xx
2 2500
op rs rt rd shamt funct
6 bits 5 bits 5 bits 5 bits 5 bits 6 bits
0 9 0 0 0 8
t1
000000 01001 00000 00000 00000 001000
t1
39
Arquitectura de las computadoras
Salto condicional: branch if equal
2022 TIPO I Direccionamiento relativo al PC
op rs rt salto
6 bits 5 bits 5 bits 16 bits
4 17 18 25
s1 s2
op rs rt salto
6 bits 5 bits 5 bits 16 bits
Salto = 0000 0000 0001 1001(se desplaza 2 lugares antes de
incrementar el PC)
PC anterior = 0100 1101 0000 0011 1010 1100 0101 1000
42
Arquitectura de las computadoras
Salto condicional (hacia atrás)
2022
beq reg1, reg2, salto
43
Arquitectura de las computadoras
Salto condicional: branch if not equal
2022 TIPO I Direccionamiento relativo al PC
op rs rt salto
6 bits 5 bits 5 bits 16 bits
5 17 18 25
s1 s2
op rs rt rd shamt funct
6 bits 5 bits 5 bits 5 bits 5 bits 6 bits
slt slt $t0, $s1, $s2 # if $s1 < $s2 then $t0=1
else $t0 = 0
0 16 17 8 0 42
s1 s2 t0
45
Arquitectura de las computadoras
Salto condicional: set on less than
2022 • También hay una versión tipo I (modo direccionamiento
inmediato)
Direccionamiento inmediato
TIPO I
op rs rt valor
6 bits 5 bits 5 bits 16 bits
slti slti $t0, $s1, 10 # if $s1 < 10 then $t0=1
else $t0 = 0
subrutina
47
Arquitectura de las computadoras
Llamadas a subrutinas
2022 El programa debe realizar los siguientes pasos:
1. Facilitar parámetros de entrada a la subrutina.
2. Transferir el control a la subrutina (jump-and-link)
3. Ejecutar la subrutina
4. Situar resultados en un lugar accesible por el
programa
5. Retornar el control al punto de origen.
6. Leer/utilizar los resultados
48
Arquitectura de las computadoras
Llamadas a subrutinas:jump-and-link (jal)
49
Arquitectura de las computadoras
Llamadas a subrutinas: jump-and-link
op dirección
6 bits 26 bits
51
Arquitectura de las computadoras
Pila o Stack
2022 • Es una parte de la memoria que implementa una estructura LIFO
(last in first out)
• El registro 29 ($sp) es el puntero de pila
• La pila crece de direcciones de memoria superiores a inferiores:
• Al poner un dato (PUSH) se debe decrementar $sp en 4 bytes
• Al quitar un dato (POP) se debe incrementar $sp en 4 bytes
La pila siempre apunta una dirección con un contenido
• Push (apilar) – Busca el primer lugar vacío
• addi $sp, $sp, -4 # Ajustar el puntero de pila
• sw $t0, 0($sp) # Guardo el registro $t0 en la pila
52
Arquitectura de las computadoras
Pila o Stack: Guardando datos al llamar
a una subrutina.
2022
Recuperando el estado del sistema al llamar a una subrutina:
• Al invocar desde un programa a una subrutina:
• Guardar los valores de los registros en una pila.
• Al regresar al programa:
• Recuperar los valores de los registros de la pila.
Convenios para guardar/restaurar registros:
• Guarda el invocador: el procedimiento invocador es el
responsable de guardar/restaurar los registros a conservar.
• Guarda el invocado: el invocado es el responsable
53
Arquitectura de las computadoras
Pila o Stack. Ejemplo de utilización
2022 • Vamos a ver como funcionan los dos convenios para
guardar/restaurar registros con el siguiente ejemplo:
55
Arquitectura de las computadoras
Pila o Stack. Ejemplo de utilización.
Guarda el invocador
2022
56
Arquitectura de las computadoras
Pila o Stack. Ejemplo de utilización.
Guarda el invocador
2022
clear_array:
add $s0, $zero, $zero # $s0= j=0
add $s1, $zero, $a0 # $s1 dirección A[n+1]
for:
beq $s0, $a1, exit
# Saltamos a exit si j=n+1
sw $zero, 0($s1)
addi $s1, $s1, 4 # A[j] = 0
j for exit:
jr $ra # j++
57
Arquitectura de las computadoras
Pila o Stack. Ejemplo de utilización.
Guarda el invocado
2022
clear_array: for:
addi $sp, $sp, -8 beq $s0, $a1, exit
sw $s0, 0($sp) sw $zero, 0($s1)
sw $s1, 4($sp)
addi $s1, $s1, 4
add $s0, $zero, $zero j for
add $s1, $zero, $a0
exit:
lw $s0, 0($sp)
lw $s1, 4($sp)
addi $sp, $sp, 8
jr $ra
58
Arquitectura de las computadoras
Pila o Stack: Guardando datos al llamar
a una subrutina.
2022 Llamada a subrutina:
Los registros $t0-$t9 son libres de ser modificados
Los registros $s0-$s7 deben ser preservados
PILA o STACK.
Programas MIPS:
• $t0-$t9: “registros temporales” que NO son
preservados por el invocado. Si los quiere
preservar, lo tiene que hacer el invocador.
• $s0-$s7: “registros salvados” que SI deben ser
preservados por el invocado en el caso de que
los use.
59
Arquitectura de las computadoras
Subrutinas anidadas
2022 • Problemas en los anidamientos:
• Dirección de retorno en $ra
• Valores de los registros: argumentos ($a0-$a3), temporales ($t0-t9),
salvados ($s0-s7).
• Solución: Guardar en pilas.
• Es necesario un convenio único para coordinación entre
programadores.
• La subrutina invocada:
• La subrutina invocada guarda los registros $s0-$s7 que vaya a utilizar
• La subrutina invocada debe guardar en la pila el registro $ra
• Así puede llamar a otra subrutina con jal
• Antes de retornar al procedimiento invocador es necesario recuperar
$ra de la pila
• El invocador:
• El invocador guarda los registros $t0-$t9 y $a0-$a3 que necesite
60
Arquitectura de las computadoras
Subrutinas anidadas. Ejemplo de utilización
$a0= valor de n
$v0= tmp
Resultado estará en $v0$
61
Arquitectura de las computadoras
Subrutinas anidadas. Ejemplo de utilización
62
Arquitectura de las computadoras
Subrutinas anidadas. Ejemplo de utilización
63
Arquitectura de las computadoras
Subrutinas anidadas. Ejemplo de utilización
2022 else:
# el argumento se carga con n-1 addi $a0, $a0, -1
# llama a factorial con n-1 jal factorial
# retorna al invocador
64
Arquitectura de las computadoras
Almacenamiento de caracteres:
Representación ASCII, 8 bits
2022 • Las instrucciones lb y sb permiten cargar/almacenar 8
bits
• lb carga 1 byte de memoria y lo sitúa en los 8 bits más
a la derecha de un registro (hace extensión de signo en
los bits más significativos)
• sb almacena en memoria los 8 bits menos significativos
del registro
• Existe lbu, sin extensión de signo
65
Arquitectura de las computadoras