Programación Concurrente - 2003
- Horarios:
Lun11:13, Jue14:16 Lun11:13, Mie11:13 Lun11,5:13,5, Mie11,5:13,5 Lun: P[11,11.5)T[11.5,13) Mie: P[12,12.5)T[12.5,14)P[14,14.5) Lun: P[11,11.5)T[11.5,13) Mie: P[14,14.5)T[14.5,16)
- Emails de Alumnos
- Emails de Docentes
- Práctico 1: Algunos Problemas de Concurrencia [PDF][PS][TEX]
- Práctico 2: Verificación de Programas Secuenciales (repaso) [PDF][PS][TEX]
- Práctico 3: Verificación (a posteriori) de Programas Concurrentes [PDF][PS][TEX]
- Práctico 4: Manejando la Complejidad [PDF][PS][TEX]
- Práctico 5: Sincronización y Progreso [PDF][PS][TEX]
- Práctico 6: Derivación y Transformación [PDF][PS][TEX]
- Práctico 7: Exclusión Mutua [PDF][PS][TEX]
- Práctico 8: Semáforos
- Práctico 9: Técnica del Semáforo Binario Dividido [PDF][PS][TEX]
- Práctico 10: Monitores
- Práctico 11: Verificación de Programas con Pasaje de Mensajes
- Taller 1: Region Labeling Problem [PDF][PS][TEX]
- Papers
- EWD 1303: My recollections of operating system design. E. W. Dijkstra, October 2000 - August 2001.
- Models and languages for parallel computation. D. Skillicorn and D. Talia, 1996.
- Monitor Classification. Peter A. Buhr, Michel Fortier, and Michael H. Coffin, 1995.
- EWD 703: A tutorial on the split binary semaphore. E. W. Dijkstra, March 1979.
- Phase Synchronization. Jayadev Misra, Information Processing Letters, Vol. 38, pp. 81-85, 1991 (Corrigenda, 41, p. 59, 1992).
- Libros
- G. Andrews,Concurrent Programming: principles and practice,
Benjamin Cummings,1991.
- G. Andrews,Foundations of Multithreaded, Parallel, and Distributed Programming,
Addison Wesley, 2000.
- K. Apt and E. Olderog, Verification of Sequential and Concurrent Programs,
Graduate texts in Computer Science, Springer-Verlag, New York, 1991.
- M. Chandy and J. Misra, Parallel Program Design, a Foundation,
Addison-Wesley, 1988.
- W. Feijen and van Gasteren, On a Method of MultiProgramming,
Springer, Monographs in Computer Science, 1999.
- John Hennesy and David Patterson, Computer Architecture, A Quantitative Approach, 2nd edition, Morgan Kaufmann, 1996.
- F. B. Schnneider, On Concurrent Programming,
Graduate Texts in Computer Science, Springer, 1997.
6 Octubre de 2003