Novedades
- 20090602: Todas las notas todas.
- 20090506: Laboratorio 3, deadline domingo 17 de Mayo.
- 20090505: Notas Laboratorio 1.
- 20090427: Laboratorio 2, deadline lunes 4 de Mayo.
- 20090413: Práctico 2.
- 20090410: Notas Práctico 0.
- 20090409: Notas Laboratorio 0.
- 20090406: Laboratorio 1, deadline miércoles 15 Abril.
- 20090406: Laboratorio 1.
- 20090323: Práctico 1, ejemplo de demostración de un ciclo.
- 20090317: Laboratorio 0 para el míercoles 18 de Marzo.
- 20090309: Comenzamos el curso, Práctico 0.
Información
General
- Profesores a cargo de la materia: Javier Blanco y Nicolás Wolovick.
- Las clases son los lunes y miércoles de 18 a 20hs, desde el lunes 9 de Marzo al ¿jueves 28? de Mayo.
- Calendario de clases.
- Lista de email. ¡Inscribirse antes que la cerremos!
Condiciones para aprobar la materia
- Promoción: entregar y aprobar de manera individual durante el cursado esta lista de ejercicios.
- Práctico 0, ejercicio 2: lun 23 de Marzo.
- Laboratorio 0: mie 25 de Marzo.
- Práctico 1, ejercicios 1h, 1i, 1m, 2f, 2g, 3h, 3k, 4a: mie 1 de Abril.
- Laboratorio 1: mie 15 de Abril.
- Práctico 2, ejercicios 1 y 4: mie 22 de Abril.
- Laboratorio 2: lun 4 de Mayo.
- Laboratorio 3: dom 17 de Mayo.
Cada práctico y laboratorio se aprueba con el 70%.
Para promocionar se deben tener todas las entregas aprobadas al finalizar la materia.
La nota final será el promedio de todos los prácticos y laboratorios.
- Regular: exámen final para hacer en la casa, más proyecto en Java.
- Formas de entrega:
- Los ejercicios escritos se mandan por mail a ambos docentes en formato PDF de tamaño <3MB.
- En caso de entregar código fuente o tablas deberán ir aparte en un tarball.
- Los archivos tienen que respetar la siguiente convención de nombres {p,l}<num>_<apellido>.{pdf,tar.gz}. Ejemplos:
p0_marx.pdf
, l0_gramsci.tar.gz
.
- No se aceptan bajo ningún punto de vista dos cosas: source sharing entre compañeros y código objeto en los tarballs.
Notas
Prácticos y Laboratorios
Bibliografía y Material de Lectura
Bibliografía
Material de lectura complementario
- Edward Lee, The Problem with Threads, University of California, Berkeley Technical Report No. UCB/EECS-2006-1, 2006.
- Javier Blanco, Damián Barsotti, Silvina Smith, Cálculo de Programas, Fa.M.A.F., Universidad Nacional de Córdoba, 2008.
Ver capítulos 2,3,5,6 para cuestiones de lógica en general y capítulos 16 al 19 para corrección total de Hoare {P}S{Q}.
- Javier Blanco, Nicolás Wolovick, Strengthen, Widen, Get Semaphores, WAIT2003, 32 JAIIO, Buenos Aires, Argentina, Septiembre 2003.
- E.W. Dijkstra, A Tutorial on the Split Binary Semaphore, EWD703, 1979.
- Damián Barsotti, Javier Blanco, Automatic Refinement of Split Binary Semaphore (extended version), Reporte Técnico, Fa.M.A.F.-U.N.C., 2007.
- E.W. Dijkstra, My Recollections of Operating Systems Design, EWD1303, 2001.
$Date$, $Revision$