====== 75.59. Técnicas de Programación Concurrente I ======

<note important>
Este es sólo un esqueleto sobre esta materia; te invitamos a que colabores completando la información relativa a la misma; al editar tendrás todas las instrucciones para hacerlo.
</note>

<!--
# Para editar esta página:
# Simplemente completá la información sugerida en estos comentarios; una vez que completes un comentario, borrá al mismo.
# Si necesitás ver los parámetros con los que nos manejamos; consultá la página de alguna otra materia que ya esté pasada, así todo se hace según las mismas convenciones.
-->

<!-- # Info del coordinador de la materia:
**Coordinador:** [[mail|nombre]]\\
-->
**Coordinador:**  Adriana Echeverria

<!-- # Info de la página oficial de la materia:
**Página web oficial:** [[http://www.fi.uba.ar/materias/enlace]]\\
-->

++++Carreras:|
^  Carrera  ^  Créditos  ^  Correlativas  ^  Condición  ^
<!-- # Para cada carrera en la que esté:
|[[carreras:nombrecarrrera|Nombre Carrera]]  |  #creditos  |  [[..:XX:XX|XX.XX]]...  |  (Obligatoria|Optativa|Según orientación)  |
-->
++++

===== Programa =====
++++Objetivos|
Familiarizar al estudiante con las técnicas de Programación Concurrente, los conceptos y los algoritmos correspondientes al manejo de procesos cooperantes, con ambiente propio (threads) o sin él. Introducir los principios de diseños de algoritmos cooperativos usando un lenguaje de programación y los recursos de sincronización como mensajes, semáforos, monitores, regiones críticas condicionales y barreras. Introducir al estudio de las Redes de Petri. Introducción a los problemas de concurrencia de transacciones distribuidas.
++++

++++Programa sintético|
Principios de la programación concurrente. Sección crítica. Exclusión Mutua, Sincronización y comunicación. Semáforos, Monitores. Problemas clasicos y su solución con diversos recursos de sincronización y comunicacón. Paso de mensajes. Redes de Petri. Transacciones distribuidas.
++++


++++Programa analítico|
  - Unidad 1: Conceptos básicos de la programación concurrente.
      - Introducción
      - Programación secuencial vs programación concurrente.
      - Necesidad de la programación concurrente.
      - Problemas en la programación concurrente.
      - Arquitecturas de hardware que soportan la programación concurrente.
  - Unidad 2: Representación y ciclo de vida de los procesos.
      - Concepto de proceso.
      - Estructura de un proceso.
      - Ciclo de vida de un proceso.
      - Planificación de procesos.
  - Unidad 3: Interacción de procesos.
      - Entidades pasivas y activas.
      - Exclusión mutua y otros métodos.
      - Sincronización con variables compartidas.
      - Primitivas de sincronización para variables compartidas.
      - Modelos basados en intercambio de mensajes.
      - Abrazo mortal.
      - “Fairness”.
      - El problema de los filósofos comensales.
  - Unidad 4: Semáforos
      - Introducción
      - Invariantes
      - Problema del productor-consumidor
      - Buffers.
  - Unidad 5: Monitores
      - Introducción
      - El problema productor-consumidor 
      - Semáforos y monitores
      - Problema de lectores – escritores
  - Unidad 6 : Sistemas basados en paso de mensajes
      - 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. 
      - Mecanismos de alto nivel en sistemas y lenguajes de programación. 
      - Paradigma cliente-servidor.
      - Invocación remota. Citas.
      - Idempotencia.
  - Unidad 7: Modelado de sistemas concurrentes. 
      - Redes de Petri Lugar/Transición (LT)
      - Clasificación de redes de Petri
      - Métodos de análisis de propiedades de redes LT. Árbol de alcance. Invariantes de marcado y disparo. 
      - Métodos de análisis basados en el Álgebra Lineal de Matrices. 
      - Aplicaciones. 
  - Unidad 8: Introducción a la concurrencia en ambientes distribuidos. 
      - Introducción.
      - Exclusión mutua distribuida.
      - Algoritmos de exclusión y elección.
      - Transacciones 
      - Transacciones anidadas.
      - Bloqueos.
      - Métodos de control de concurrencia 
      - Transacciones distribuidas
      - Transacciones planas y anidadas.
      - Control de la concurrencia.
      - Interbloqueos distribuidos.
      - Recuperación de transacciones.

++++

<!-- # Objetivos de la materia:
++++Objetivos|
  - listaconlosobjetivos...
++++
-->

<!-- # Programa sintético de la materia:
++++Programa sintético|
  - listaconelprogramasintetico...
++++
-->

<!-- # Programa analítico de la materia:
++++Programa analítico|
  - listaconelprogramaanalitico...
-->

===== Cursos =====

<!-- # Cursos de la materia:
++++Mostrar cursos|
^  Curso  ^  Modalidad  ^  Docentes  ^  Días  ^  Horario  ^
# Para cada curso o modalidad u horario:
|  #curso  |  (TP|TPO|PO|P|...)  |Nombre Docentes  |  diasdelasemana  |  desde - hasta (HH:MM)  |
++++
-->





===== Material =====
++++Parciales|
 [[.59:parcial_1_20090519_1|Primer parcial, primer cuatrimestre, 19/05/2009 (jpg)]] 
++++
<!-- # Enlaces a los artículos sobre parciales:
  * ++++Parciales|
# Para cada parcial
    - [[.numeromateria:parcial_(#catedra)_yyyymmdd_(#articulo)|Descripción del parcial]]
# Rellenando con x los datos desconocidos.
# Por ejemplo: [[.63:parcial_13_200605xx_1|Primer parcial, primer cuatrimestre, cátedra X]]
  ++++
-->

<!-- # Enlaces a los artículos sobre finales:
  * ++++Finales|
# Para cada final
    - [[.numeromateria:final_(#catedra)_yyyymmdd_(#articulo)|Descripción del final]]
# Rellenando con x los datos desconocidos.
# Por ejemplo: [[.63:final_13_200601xx_1|Primer final, verano de 2006, cátedra X]]
  ++++
-->

++++Finales|
  * {{:materias:75:final_7559_12dic14.pdf|Final, segundo cuatrimestre, 12/12/2014}}
  * {{:materias:75:59:final20140710.pdf|Primera Fecha, 10/07/2014}}
  * [[.59:final_1_20090930_1|Cuarto final, primer cuatrimestre, 30/09/2009]]
  * [[.59:final_1_20090826_1|Tercer final, primer cuatrimestre, 26/08/2009]]
++++
<!-- # Enlaces a las guías de ejercicios:
  * ++++Guías|
# Para cada capítulo:
    - [[.numeromateria:guia_[#catedra_]_(#guía)|Nombre unidad]]
# Por ejemplo: [[.63:guia_1|Sistemas Materiales]]
  ++++
-->

<!-- # Enlaces a páginas con material:
  * ++++Enlaces|
# Para cada enlace:
    * [[http://paginawebenlace|Nombre Enlace]]: Descripción del material.
++++
-->