Beruflich Dokumente
Kultur Dokumente
2012-2013 3S,4S 4S
Profesorado
NOMBRE Y APELLIDO Julio Mario Carballo (Coord.) ngel Herranz Nieva Lars-ke Fredlund DESPACHO 2308 2309 2309 Correo electrnico jmarino@fi.upm.es aherranz@fi.upm.es lfredlund@fi.upm.es
Objetivos de Aprendizaje
CE-24 CE-25
3 2
CE-29
Disear, desarrollar, y evaluar la seguridad de los sistemas, aplicaciones, servicios informticos y sistemas operativos sobre los 3 que se ejecutan, as como de la informacin que proporcionan.
Comprender el concepto esencial de proceso en cuanto a su relacin con 3 la informtica, especialmente la ejecucin de los programas y la operacin del sistema.
CE-40
Competencia
Capacidad de resolucin de problemas aplicando conocimientos de 2 matemticas, ciencias e ingeniera.
Capacidad para el aprendizaje autnomo y la actualizacin de conocimientos, y reconocimiento de su necesidad en el rea de la informtica.
Nivel
RA1
RA2
RA3
RA-4
Disear una arquitectura de procesos e interacciones a partir de las RA-1 acciones contenidas en la especificacin de requisitos de un sistema SW Formalizar propiedades de seguridad mediante un lenguaje de recursos RA-2 compartidos Formalizar propiedades dinmicas mediante un lenguaje de trazas Demostrar conocimiento de los mecanismos de concurrencia del lenguaje RA-2 RA-3
I2 I3 I4
I5
Caso prctico: traducir a Java una especificacin de recurso compartido, RA-3 siguiendo patrones de cdigo Encontrar un error de seguridad o vivacidad en un sistema concurrente RA-4 dado
I6
Formalizar propiedades de seguridad mediante un lenguaje de recursos CG#1/21 compartidos Formalizar propiedades dinmicas mediante un lenguaje de trazas Demostrar conocimiento de los mecanismos de concurrencia del lenguaje CG#1/21 CG#2/CE45
I5
Caso prctico: traducir a Java una especificacin de recurso compartido, CG#2/CE45 siguiendo patrones de cdigo
Aviso: Todas las fechas son orientativas. Las fechas exactas dependen del calendario escolar que se fije y sern publicadas en la web de la asignatura.
EVALUACION SUMATIVA
Breve descripcin de las actividades evaluables
Ejercicio corto: creacin de procesos en Java Ejercicio corto: provocar una situacin de carrera Ejercicio corto: exclusin mutua con espera activa Ejercicio corto: reparar carrera con semforos Ejercicio corto: almacn de un dato con semforos
Momento
Semana 2 Semana 2 Semana 3 Semana 4 Semana 5
Lugar
telemtica telemtica telemtica telemtica telemtica telemtica telemtica telemtica telemtica aula telemtica individual telemtica aula
Peso en la calif.
1% 1% 1% 1% 1% 1% 1% 1% 1% 25% 20% 1% 20% 25%
Ejercicio corto: almacn de varios datos con semforos Semana 6 Ejercicio corto: especificacin de recursos sencillos Ejercicio corto: MultiBuffer con mtodos synchronized Ejercicio corto: MultiBuffer con cerrojos Semana 7 Semana 8 Semana 9
Test de preguntas de opcin mltilple para los temas 1-2 Semana 11 Prctica por parejas: implementacin de recursos compartidos en Java con cerrojos y variables condition Ejercicio corto: MultiBuffer con JCSP Prctica por parejas: implementacin de recursos compartidos en Java con la librera JCSP Test de preguntas de opcin mltiple para el tema 3 Semanas 10-13 Semana 12 Semanas 13-15 Semana 16
Total: 100%
Momento
Lugar
aula
Peso en la calif.
40%
Test de preguntas de opcin mltiple para los Semana 11 temas 1-2 Prctica por parejas: implementacin de recursos compartidos en Java con cerrojos y variables condition Prctica por parejas: implementacin de recursos compartidos en Java con la librera JCSP
CG#1/21
10%
CG#1/21
10%
CG#1/21
Test de preguntas de opcin mltiple para el Semana 16 tema 3 Ejercicios cortos (entregas 1 a 10) Prctica por parejas: implementacin de recursos compartidos en Java con cerrojos y variables condition Prctica por parejas: implementacin de recursos compartidos en Java con la librera JCSP Semana 2-12
aula telemtica
40%
CG#2/CE45
40%
CG#2/CE45
30%
CG#2/CE45
30%
CRITERIOS DE CALIFICACIN
La asignatura Concurrencia tiene dos partes evaluables, una parte terica y una parte prctica. Para aprobar la asignatura el estudiante deber superar ambas partes. Adems, el estudiante debe tener en cuenta que la asistencia a clase es absolutamente fundamental para superar la asignatura y el profesorado realizar un seguimiento de dicha asistencia. Teora La parte terica la componen dos tests. El primero tratar los conceptos de los temas 1 y 2 y se realizar alrededor de la semana 11. El segundo tratar los conceptos del tema 3 y se realizar en la semana 16. Cada test recibir una calificacin sobre 10 (nt1 y nt2). La nota de la parte terica (nt) se calcula entonces como la media de nt1 y nt2. Se considerar superada la parte terica cuando nt1 y nt2 sean mayores o iguales a 4 y cuando nt sea mayor o igual a 5. Prctica La parte prctica la componen un conjunto de 10 ejercicios cortos cuyo objetivo es garantizar el seguimiento continuo de la asignatura por parte del alumno, y dos prcticas a realizar por parejas. La entrega de todos los ejercicios es de carcter obligatorio, y se califican sobre 10 puntos, obtenindose ne, np1 y np2. Se considerar superada la parte prctica cuando ne, np1 y np2 sean mayores o iguales a 3 y cuando np ((ne+2np1+2np2)/5)sea mayor o igual a 5. Total La asignatura se considerar superada cuando se superen la parte terica y la parte prctica. La calificacin final (nf) se calcula como la media de nt y np. Superada cualquiera de las partes (nt1, nt2, ne, np1, np2) la calificacin se guardar (slo) hasta la convocatoria de julio del curso en cuestin.
D. _____________________ con DNI __________ y n de matrcula __________ SOLICITA: Ser evaluado en este semestre mediante el sistema de evaluacin mediante slo prueba final establecido por las siguientes asignaturas: - Asignatura _________________ titulacin _______________ curso ________
- .. Firmado:
2.1. Notacin formal para especificar recursos compartidos (I1, I2) 2.2. Semntica de trazas de un sistema basado en recursos compartidos (I3) 3. Implementacin de recursos compartidos en Java 3.1. Memoria compartida con mtodos synchronized (I5) 3.2. Memoria compartida con cerrojos y variables condition (I5) 3.3. Paso de mensajes con la librera JCSP (I5)
Breve descripcin de las modalidades organizativas utilizadas y de los mtodos de enseanza empleados
BREVE DESCRIPCIN DE LAS MODALIDADES ORGANIZATIVAS UTILIZADAS Y METODOS DE ENSEANZA EMPLEADOS
CLASES DE TEORIA CLASES DE PROBLEMAS PRCTICAS TRABAJOS AUTONOMOS TRABAJOS EN GRUPO TUTORAS
Recursos didcticos
RECURSOS DIDCTICOS
Artculos varios Apuntes del profesorado
BIBLIOGRAFA
The Theory and Practice of Concurrency. A.W. Roscoe. Prentice-Hall, 1997 Concurrent and Real-Time Programming in Java. Andy Wellings. Wiley, 2004 Concurrent Programming in Java: Design Principles and Patterns. Doug Lea.Addison-Wesley, 1999 Pgina web de la asignatura (http://babel.upm.es/teaching/concurrencia)
RECURSOS WEB
Foro de la asignatura (foro-cc@babel.upm.es)
EQUIPAMIENTO
Aula
Lectura: Concepts and Notations for Concurrent Program- ming (4 horas) Lectura: Tutorial de concurrencia de java.sun.com (1h) Ejer- cicio: Creacin de procesos en Java (1h) Ejercicio: Provocar una carrera (1h)
Preguntas y respuestas sobre conceptos bsicos de concurrencia (1h). Puesta en comn (1h).
Exclusin mutua; Algoritmos basados en espera activa (1h). Problemas de concurrencia en algoritmos de espera activa(1h). Exclusin mutua con semforos (1h). Puesta en comn (1h). Sincronizacin condicional (1h)
Semana 4 (3 horas)
Ejercicio: productor-dato-consumidor con semforos (3h).
Semana 5 (5
Semana
Actividades en Aula
Actividades en Laboratorio
Trabajo Individual
Puesta en comn: anlisis de trazas y esta- dos (1h). Sincronizacin de alto nivel: recursos com- partidos (1h). Recursos compartidos: semntica de trazas (1h). Ejercicio: productor-almacn-consumidor con semforos (3h).
Ejercicio: especificacin de recursos sencillos (3h).
Semana 7 (5 horas)
Semana 9 (5 horas)
Concurrencia mediante memoria compartida en Java: cerrojos y variables condition (1h). Puesta en comn (1h). Repaso, ejercicios en clase (1h).
Explicacin de la prctica (1h).
Desarrollo de caso prctico (3 horas).
Semana
Actividades en Aula
Actividades en Laboratorio
Trabajo Individual
Semana 12 (5 Concurrencia mediante paso de mensajes: conceptos bsicos (1h). horas) Concurrencia mediante paso de mensajes en Java: la librera JCSP (1h). Semana 13 (6 horas)
Prueba
objetiva (1h)
Desarrollo de caso prctico (4 horas). Desarrollo de caso prctico (2h)
Semana 14 (6 Tutora colectiva (1h). horas) Tutora colectiva (1h). Semana 15 (5 Afianzamiento de prcticas (1h) horas) Afianzamiento de prcticas (1h).
Semana
Actividades en Aula
Actividades en Laboratorio
Trabajo Individual
Semana 16 (5 Repaso + tutora colectiva (1h). horas) Repaso + tutora colectiva (1h).
Prueba
objetiva (1h)
Nota: Para cada actividad se especifica la dedicacin en horas que implica para el alumno.
Aviso: Todas las fechas son orientativas. Las fechas exactas dependen del calendario escolar que se fije y sern publicadas en la web de la asignatura.
ANEXO: Fechas previstas de actividades de evaluacin, segn reunin de la Comisin de Coordinacin Horizontal de 4 Semestre. Ante cualquier modificacin de fechas en el calendario escolar, circunstancias imprevistas, se publicar el cambio en la web de la asignatura, se comunicar a la citada comisin y se avisar a los alumnos. 15/11/2013: 1 prueba de evaluacin continua. 29/11/2013: Entrega prctica 1 (fecha recomendada). 13/12/2013: Entrega prctica 2 (fecha recomendada). 20/12/2013: 2 prueba de evaluacin continua.