Modelo normalizado de ficha para asignaturas - Departamento de ...

More documents

Recommendations

Info

Página 4de 9• Comprender la importancia de la programación concurrente en las aplicaciones de hoy en día.• Identificar las principales características de los distintos tipos de sistemas concurrentes que existen.• Conocer y entender los problemas que plantea el desarrollo de programas concurrentes y que no aparecen enla programación secuencial.• Entender los conceptos de sincronización y exclusión mutua entre procesos.• Identificar las propiedades de seguridad y vivacidad que un sistema concurrente debe cumplir y ser capaz derazonar si dichas propiedades se cumplen.• Conocer los principales modelos de programación concurrente, paralela y distribuida.• Adquirir experiencia y conocimiento en los mecanismos de sincronización y comunicación que se utilizan en laactualidad para desarrollar programas concurrentes tanto para sistemas de memoria compartida como parasistemas distribuidos.• Entender el funcionamiento de semáforos y monitores como mecanismos de sincronización para memoriacompartida y comprender cómo se pueden resolver problemas de programación concurrente usando monitores.• Ser capaz de desarrollar algoritmos para sistemas basados en memoria compartida y para sistemasdistribuidos que resuelvan problemas modelo en programación concurrente.• Conocer y ser capaz de usar bibliotecas y plataformas estandarizadas para la implementación de programasconcurrentes basados en memoria compartida y para sistemas distribuidos.• Conocer las técnicas más destacadas para el diseño de sistemas de tiempo real.TEMARIO DETALLADO DE LA ASIGNATURATEMARIO DE TEORÍATema 1. Introducción a la PC.- Introducción histórica a la PC y sus lenguajes de programación. Concepto de concurrencia.- Clasificación de las interacciones entre los procesos de un programa.- El modelo abstracto.- Objetivos de la asignatura.Tema 2.EL problema de la exclusión mutua- Introducción al problema. Condiciones de Dijkstra.- Algoritmo de Dekker. Verificación de sus propiedades. Equidad de la ejecución de los procesos.- Generalización a N procesos. Algoritmos de Knuth y Peterson. Verificación de propiedades.- El problema en un entorno distribuido. Algoritmos de Ricart-Aggrawala, Suzuki-Kasami. Verificación.Tema 3. Regiones críticas y monitores- Verificación axiomática de programas.
Página 5de 9- Notación y semántica de las regiones críticas de los lenguajes.- Reglas de inferencia.- Implementación: algoritmo de Rem.-Lenguajes concurrentes con monitores.- Mecanismos alternativos de señales con monitores.- Verificación y equivalencia de las operaciones de sincronización.- Implementación en lenguajes de programación concurrentes.Tema 4. Sistemas basados en paso de mensajes- Introducción a la programación distribuida.- Introducción a los mecanismos de paso de mensajes en los lenguajes de programación concurrentes.- El modelo de programación distribuida CSP. Sintaxis y semántica de las órdenes de la notación CSP.Tema 5. Introducción a los sistemas de tiempo real-Medida del tiempo-Planificación de tareas-Avanzado: técnicas para evitar la inversión prioridad, compartición de recursos, planificación dinámicaTema 6. Modelización de sistemas concurrentes.- Modelo de sistema reactivo.- Requisitos actuales de la técnica de descripción formal de sistemas reactivos.- Redes de Petri Lugar/Transición (L/T).- Clasificación de las redes L/T.- Métodos de análisis de propiedades de redes LT. Árbol de alcanzabilidad. Invariantes de marcado ydisparo.- Métodos de análisis basados en el Algebra Lineal de Matrices.TEMARIO DE PRÁCTICASPráctica 1: Resolución de problemas de sincronización con hebras POSIX ( POSIX.1-2008)Práctica 2: Programación de monitores con hebras utilizando JavaTM 2 Platform Standard Ed. 5.0(Concurrencia)Práctica 3: Programación de algoritmos distribuidos usando un sistema de programación basadoen paso de mensajes: MPI
Page 1: Página 1de 9GUIA DOCENTE DE LA ASI
Page 6 and 7: Página 6de 9ENLACES RECOMENDADOS:
Page 8 and 9: Página 8de 9Contenido en ECTS: 45

Modelo normalizado de ficha para asignaturas - Departamento de ...

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?