Memoria Virtual DISEÑO DE SISTEMAS DIGITALES EL-3310 I SEMESTRE 2008 ITCR – Diseño de Sistemas Digitales – 1/2008 Dr.-Ing. Paola Vega C. Memoria Virtual Define la relación entre memoria principal y memoria secundaria – Permite crear la ilusión de una memoria principal de gran tamaño – Permite que programas compartan memoria principal de manera segura Memoria virtual L0 4-8 bytes (palabra) L1 8-32 bytes (bloque) Memoria principal Memoria secundaria ITCR – Diseño de Sistemas Digitales – 1/2008 1 - 4 bloques ≥1,024 bytes (sector de disco = página) Dr.-Ing. Paola Vega C. Memoria Virtual Memoria principal actúa como “cache” del disco duro – transparente al programador – memoria principal se reparte entre los procesos en ejecución Memoria Principal Memoria virtual permite: – Que varios programas compartan la memoria de manera segura y eficiente – Correr programas de tamaño mayor que la memoria física (principal) – Colocar el código en cualquier parte de la memoria principal • asignar regiones no contiguas de memoria física a un programa Disco Duro Dr.-Ing. Paola Vega C. ITCR – Diseño de Sistemas Digitales – 1/2008 Espacio de Direcciones Cada programa se compila en su propio espacio de direcciones – espacio virtual de direcciones – el programa puede accesar solamente sus propias páginas Página/Segmento Espacio de direcciones virtuales dividido en bloques – Páginas: tamaño fijo – Segmentos: tamaño variable Página/ Segmento Dirección virtual Procesador ITCR – Diseño de Sistemas Digitales – 1/2008 Palabras Memoria virtual Dr.-Ing. Paola Vega C. Diseño de Memoria Virtual Tamaño de página: apropiado para atenuar pena de fallo – Ej: 4kB – 16 kB Técnicas de mapeo: debe reducir las faltas de página – Ej: mapeo totalmente asociativo Estrategias de escritura: debe reducir la pena de fallo – Post-escritura (Write-back, copy-back) En algunas memorias virtuales no se utiliza paginación sino segmentación – Número de segmento en registro de segmento se suma al offset de segmento para encontrar la dirección física dentro del segmento – Tamaño variable requiere revisión de límites de segmento Estrategia de reemplazo: LRU ⇒ el sistema operativo debe buscar la página en el disco y buscarle una ubicación en memoria principal Dr.-Ing. Paola Vega C. ITCR – Diseño de Sistemas Digitales – 1/2008 Direccionamiento Requiere traducción de la dirección virtual a la dirección física (dirección de memoria principal) Procesador Dirección virtual Dirección física Memoria Principal Métodos: -Traducción dinámica -Tabla de páginas ITCR – Diseño de Sistemas Digitales – 1/2008 Disco Duro Memoria virtual Dr.-Ing. Paola Vega C. Traducción de Direcciones Una dirección virtual se traduce (mapea) a una dirección física por medio de hardware y software Cada acceso a memoria requiere primero una traducción de direcciones Traducción refuerza la protección del espacio de direcciones de un programa Dr.-Ing. Paola Vega C. ITCR – Diseño de Sistemas Digitales – 1/2008 Compartiendo Memoria Principal Localidad inicial de cada página en memoria principal o en la memoria secundaria está contenida en la tabla de páginas del programa Espacio virtual de direcciones del programa 1 Memoria principal Disco duro Espacio virtual de direcciones del programa 2 ITCR – Diseño de Sistemas Digitales – 1/2008 Dr.-Ing. Paola Vega C. Direccionamiento por Tabla de Páginas Memoria virtual es totalmente asociativa – Búsqueda de página es impráctica – Solucionado por uso de tabla de páginas Tabla de páginas – Una tabla de páginas por programa – Almacenada en memoria principal – Indice de tabla = dirección de memoria virtual Direccionamiento de tabla de páginas – Registro de tabla se carga para apuntar el inicio de tabla – Direccionamiento base + desplazamiento Contenido de tabla de páginas – Traducción de la dirección de memoria virtual – Bit de validez: indica si la página está cargada en la memoria principal ITCR – Diseño de Sistemas Digitales – 1/2008 Dr.-Ing. Paola Vega C. Tabla de Páginas Apunta al inicio de la tabla de páginas del programa actual (base) + Desplazamiento = Localidad de tabla de páginas que debe leerse ITCR – Diseño de Sistemas Digitales – 1/2008 Dr.-Ing. Paola Vega C. Tabla de Páginas Contiene la traducción de las direcciones virtuales de las páginas correspondientes a cada programa: localidad inicial de cada página (de memoria principal o de memoria secundaria) Direccionamiento de memoria principal TP1 TP2 Dirección virtual Dirección física TPn P1 P2 Pn Memoria Principal Dr.-Ing. Paola Vega C. ITCR – Diseño de Sistemas Digitales – 1/2008 Tabla de Páginas Direccionamiento de disco duro Dirección virtual TP1 TP2 Dirección física TPn P1 P2 Pn Memoria Principal Disco Duro ITCR – Diseño de Sistemas Digitales – 1/2008 Dr.-Ing. Paola Vega C. Acierto de Página Bit de validez 1 # página física Acierto de página TP1 Dirección física TP2 Dirección virtual TPn P1 P2 Pn Memoria Principal Dr.-Ing. Paola Vega C. ITCR – Diseño de Sistemas Digitales – 1/2008 Fallo de Página (falta de página) Bit de validez 0 Dirección virtual # página física TP1 TP2 Dirección física Fallo (falta de página) TPn P1 P2 Pn Memoria Principal ITCR – Diseño de Sistemas Digitales – 1/2008 Disco Duro Dr.-Ing. Paola Vega C. Faltas de Página Bit de validez: – Uno, la página está almacenada en memoria principal – Cero, existe un falta de página Un fallo en la memoria virtual se denomina falta de página (page fault) El espacio de memoria virtual necesario para un proceso se reserva en disco = swap space – Reservado por el sistema operativo – Se crea una estructura de datos con la ubicación de cada página virtual en el disco – Esta estructura puede almacenarse en la tabla de página Páginas reemplazadas se almacenan en el swap space ITCR – Diseño de Sistemas Digitales – 1/2008 Dr.-Ing. Paola Vega C. Traducción Rápida de Direcciones Puesto que los bloques y las tablas están almacenados en la memoria principal, cada acceso a memoria principal requiere en realidad dos accesos: – Uno para accesar la tabla de página – Otro para accesar la dirección contenida en la tabla de página Solución: uso de un buffer de traducción (Translation Lookaside Buffer, TLB) – una pequeña cache que registra las traducciones recientemente usadas para evitar, en lo posible, el acceso a la tabla de páginas – Basado en principio de localidad – Si TLB es de mapeo directo o de conjunto asociativo • Indice = LSB de dirección virtual • Etiqueta = MSB de dirección virtual ITCR – Diseño de Sistemas Digitales – 1/2008 Dr.-Ing. Paola Vega C. Translation Lookaside Buffer Translation lookaside buffer # página física TP1 Acierto de página Dirección física Validez Bit de validez TP2 TPn 1 LSB de dirección virtual P1 P2 Etiqueta = MSB de dirección virtual Pn Memoria Principal ITCR – Diseño de Sistemas Digitales – 1/2008 Dr.-Ing. Paola Vega C. Translation Lookaside Buffer (TLB) Puede incluir también – Bit de referencia: • Se activa cuando una página se accesa • Permite reemplazo según algoritmo LRU • Se borra periódicamente – Bit de inconsistencia (dirty bit): • cuando hay inconsistencia entre memoria principal y el disco duro Tamaño típico de TLB no mayor que 128 a 256 entradas – Tiempo de acceso de TLB menor que el tiempo de acceso a cache – Puede utilizarse cualquier tipo de mapeo – Reemplazo puede ser aleatorio ITCR – Diseño de Sistemas Digitales – 1/2008 Dr.-Ing. Paola Vega C. TLB ITCR – Diseño de Sistemas Digitales – 1/2008 Dr.-Ing. Paola Vega C. TLB en la Jerarquía de Memoria TLB es una caché, puede presentar fallos – Causas de fallo: • la traducción no está almacenada en TLB (fallo en TLB) • falta de página Fallo de TLB – Página cargada en la memoria principal – Cargar información de traducción de la tabla de páginas al TLB = Decenas de ciclos Fallo de página – Página no está en memoria principal – Falla de página real! = Millones de ciclos Fallos de TLB son más frecuentes que fallos de página ITCR – Diseño de Sistemas Digitales – 1/2008 Dr.-Ing. Paola Vega C. Operación de la Jerarquía de Memoria Completa Puede basarse en: – Direcciones físicas • Indice de cache y etiquetas son partes de direcciones físicas • Requiere traducción de dirección virtual a física antes de acceso a cualquier nivel de jerarquía – Direcciones virtuales • Índice de cache y etiquetas son partes de direcciones virtuales • No requiere traducción para accesar cache • Ahorra un acceso a TLB NOTA: Los siguientes ejemplos se basan en una TLB totalmente asociativa ITCR – Diseño de Sistemas Digitales – 1/2008 Dr.-Ing. Paola Vega C. TLB en Jerarquía de Memoria ITCR – Diseño de Sistemas Digitales – 1/2008 Dr.-Ing. Paola Vega C. Memoria Virtual y Cache con Dirección Física Solicitud de acceso a MV Acierto Bit de validez =0 Traducción de dirección Acierto Consulta a Cache Acceso a cache Fallo Consulta TLB No encontró etiqueta Causa de fallo? Fallo Acceso a MP Consultar tabla de páginas Transferencia de DD a MP Actualizar TLB Actualizar tabla de páginas Dr.-Ing. Paola Vega C. ITCR – Diseño de Sistemas Digitales – 1/2008 Memoria Virtual y Cache con Dirección Virtual Solicitud de acceso a MV Acierto Consulta a cache Acceso a cache Acierto Traducción de dirección Fallo Consulta a TLB Bit de validez =0 Fallo Causa de fallo? No encontró etiqueta Transferencia de MP a cache Transferencia de DD a MP Consultar tabla de páginas Actualizar tabla de páginas Actualizar TLB ITCR – Diseño de Sistemas Digitales – 1/2008 Dr.-Ing. Paola Vega C. Combinaciones de Fallos y Aciertos Esta tabla asume una jerarquía de memoria en la que la cache se accesa con direcciones físicas TLB Tabla de páginas Cache Cuándo se da Acierto Acierto Acierto Mejor de los casos: datos estaban en cache Fallo Acierto Acierto Pérdida de TLB, después de actualizar TLB datos se encuentran en cache Fallo Acierto Fallo Pérdida de TLB, después de actualizar TLB datos aún no se encuentran en cache Fallo Fallo Fallo Fallo de página (page fault) Acierto Fallo Fallo Imposible: no puede haber traducción en TLB si traducción no está en tabla de página Acierto Fallo Acierto Imposible: no puede haber traducción en TLB si traducción no está en tabla de página, dato no puede estar en cache si no está en memoria principal Fallo Fallo Acierto Imposible: dato no puede estar en cache si la página no está en memoria principal ITCR – Diseño de Sistemas Digitales – 1/2008 Dr.-Ing. Paola Vega C. Manejo de Fallos de TLB o Faltas de Página Se maneja por medio de excepciones Activación de excepción al final del mismo ciclo de reloj en que se da el acceso a memoria, para evitar – Escritura a registros • para que los registros no se reescriban con datos equivocados, lo que impediría reiniciar ejecución correctamente – Escritura a memoria • No escribir a memoria si hay fallo de página En caso de fallo en memoria de datos, la instrucción que causó el fallo debe detenerse hasta que se resuelva el fallo de página ITCR – Diseño de Sistemas Digitales – 1/2008 Dr.-Ing. Paola Vega C. Manejo de Faltas de Página 1. 2. 3. 4. 5. 6. 7. 8. 9. Activar la interrupción de manejo de faltas de página Transferir el control al sistema operativo Guardar el valor actual del PC en el EPC (exception program counter) Almacenar el estado del programa – Tabla de páginas, PC y registros Obtener la dirección virtual que causó fallo de página Buscar la entrada de la tabla de página para leer la dirección física guardada en la tabla Elegir cuál página física se va a reemplazar en la memoria principal – Si la página a reemplazar es inconsistente, debe escribirse en el disco antes de reemplazarla Escribir la página referenciada del disco a memoria principal Retorno de interrupción ITCR – Diseño de Sistemas Digitales – 1/2008 Dr.-Ing. Paola Vega C. Ejemplo de Parámetros de Diseño de Memoria Virtual Parámetro Memoria virtual paginada TLBs Tamaño total 16,000 to 250,000 palabras 16 a 512 entradas Tamaño total (kB) 250,000 a 1,000,000,000 0.25 a 16 Tamaño de bloque (B) 4000 a 64,000 4 a 32 Pena de fallo (ciclos de reloj) 10,000,000 a 100,000,000 10 a 1000 Tasas de pérdida 0.00001% a 0.0001% 0.01% a 2% ITCR – Diseño de Sistemas Digitales – 1/2008 Dr.-Ing. Paola Vega C.