Indice
Inicio
Docencia
Publicaciones
Proyectos Fin de Carrera (PFC)
buscar
Buscar
Herramientas
Índice
Cambios recientes
Enlaces a esta página
Conectarse
Ver la fuente de esta página
Revisiones antiguas
Traza:
•
res_pract2_pc
•
publicaciones
•
contenidos_pc
¡Esta es una revisión vieja del documento!
Contenidos de la asignatura
Presentación de la asignatura
Lenguaje algorítmico para programas secuenciales
Conceptos básicos de PC
Concurrencia y sincronización
Semántica de la composición concurrent
Técnicas para asegurar ausencia de interferencias
Propiedades de un programa concurrente
Sincronización de procesos. El problema de la sección crítica
Sincronización por barrera
Programación concurrente con semáforos
Ejemplos de programación con semáforos
Sincronización mediante monitores
Ejemplos de programación con monitores
Introducción a la programación distribuída
Programación mediante paso asíncrono de mensajes
El modelo de coordinación Linda
Programación mediante paso síncrono de mensajes
Apéndice: Rápida (y parcial) introducción a la concurrencia con Ada
Introducción al "Model Checking"
contenidos_pc.1269858413.txt.gz
· Última modificación: 2010/03/29 10:26 por
ezpeleta
Volver arriba