Resumen de Formalización de modelos de memoria
LA TESIS ESTA DEDICADA AL ESTUDIO DE MODELOS FORMALES DE MEMORIA COMPARTIDA DISTRIBUIDA, EN LA MISMA SE ANALIZAN ALGUNAS DE LAS CARACTERISTICAS ESTRUCTURALES DE ESTOS MODELOS, DESCRIBIENDOSE ASIMISMO DIVERSAS APROXIMACIONES REALIZADAS, TANTO EN EL DISEÑO COMO EN LA IMPLANTACION;
TAMBIEN SE DEFINE UN NUEVO MODELO FORMAL DE MEMORIA DENOMINADO N-MIXTO. EN ESTA LINEA SE PROPONE UNA FORMALIZACION -BASADA EN EL MODELO DE "AUTOMATAS DE ENTRADA/SALIDA"- DEL CONCEPTO GENERAL DE MODELO DE MEMORIA. ESTE FORMALISMO CONSTRUCTIVO PERMITE IDENTIFICAR LOS COMPONENTES DEL SISTEMA QUE AFECTAN AL MODO EN QUE LAS OPERACIONES DE ACCESO A MEMORIA SON EJECUTADAS, SIENDO UTILIZADO EN LA DEFINICION DE DIVERSOS MODELOS DE MEMORIA ESPECIFICOS. CON OBJETO DE DEMOSTRAR LA VIABILIDAD DEL MODELO DE MEMORIA N-MIXTO SE REALIZA UNA IMPLANTACION DEL MISMO SOBRE UN SISTEMA DISTRIBUIDO. SE INCLUYE TAMBIEN UN ANALISIS DE PRESTACIONES ASI COMO LA DEMOSTRACION DE CORRECCION DE DICHA IMPLANTACION.
