231010 - Memoria Virtual - Práctica
Clase
- Es un tipo de paginación
- Es una técnica que permite la ejecución de procesos que pueden no estar completamente en memoria
- Los programas pueden ser mayores que la memoria física
Paginación por demanda
- Los procesos residen en memoria secundaria (HDD)
- Cuando se quiere ejecutar un programa, se utiliza un intercambiador perezoso para cargarlo a memoria
- Este no reincorpora una página a memoria salvo que se necesite
- Es similar al swap, pero utiliza menos memoria "innecesariamente"
- Tiempo de Acceso Efectivo: $$\text{TAE} = (1-p)\cdot \text{TAM} + p \times \text{tiempo de falla de página}$$
- TAM: Tiempo de acceso a memoria
: Tasa de fallas de página
Hardware
Se usa el mismo hardware que para la paginación y los intercambios:
- Tabla de páginas
- Se añade un bit de "página inválida" a la tabla
- Memoria secundaria
Algoritmos de reemplazo de página
FIFO
- First In, First Out
Optimo
- Al buscar una víctima, el que no se vaya a usar a futuro sale primero
- Si hay más de uno, se desempata con un FIFO
LRU
- Least Recently Used
- Para buscar víctima, se mira en las solicitudes de página, cuál de las páginas en los marcos fue solicitada más atrás en el tiempo
Anomalía de Belady
Usando ciertos algoritmos de intercambio, ...
Ejercicios / Ejemplos
Hoja de práctica
![[]]