de un proceso

Validación de parámetros• Hay que validar parámetros de tipo puntero• Solución pesimista (Windows):– Se comprueba que valores de punteros son válidos antes de usarlos• Solución optimista (Linux):– Se usa directamente, si inválido → excepción en modo sistema• Mínima comprobación: que no es dirección del SO– Ante excepción de memoria en modo sistema...• ¿cómo se determina que no es un error en el código del SO?– Linux: tabla con dir. de instrucciones de SO que acceden a paráms.• Instrucción que causa excepción ⊂ tabla, llamada retorna error• Optimista más eficiente pero más complejo– El error se puede producir en medio de una llamadaDiseño de Sistemas Operativos 42 Fernando Pérez Costoya (2008)