Metodologa de desarrollo de aplicaciones concurrentes

1
Metodología de desarrollo de aplicaciones
concurrentes

• Una metodología define
• Tareas a realizar
• Notaciones arquitectura de la aplicación con
  distintos niveles de abstracción
• Tareas
• Análisis y Especificación
• Identificación de recursos y tareas
• Refinamiento de los recursos
• Diseño basado en una primitiva (objetos
  protegidos, paso de mensajes, etc)
• Implementación

2
Análisis y Especificación

• Descripción del problema
• Se deben identificar
• Requisitos de seguridad
• Operaciones excluyentes y simultáneas
• Requisitos de vivacidad
• Equidad/Prioridad en el acceso a los recursos

3
Identificación de recursos y tareas

• Especificación informal de las tareas
• Recursos en el programa variables de TipoRecurso
• Grafo de recursos y tareas

Tarea A
Tarea B(i)
Nombre recurso
Estado interno (TipoRecurso)
op1
op3
op2
4
Refinamiento de los recursos

• Se especifican formalmente los recursos mediante
  C-TADSOLs.
• Notación extendida con aspectos de sincronización
  (con respecto a los TADs).

5
Problema de la Máquina Expendedora

• 16 productos (0 al 15 T_ Prod) saldo inicial 0
• Tras introducir moneda hay cambio ? actualiza y
  visualiza el saldo si no, devuelve moneda
• Al pulsar devolución devolver saldo y dejarlo a
  0
• Al seleccionar producto
• Saldo suficiente ? servir producto, devolver la
  cantidad restante (saldo a 0)
• Saldo insuficiente ? informar de la cantidad que
  falta, olvidar selección

6
Problema de la Máquina Expendedora (ii)

• procedure Maq.Detectar_Moneda ( Valor out
  Integer )
• -- Bloquea hasta introduccion moneda ( de valor v
  )
• function Maq.Hay_Cambio return Boolean
• -- Maq. HayCambio ltgt se puede devolver dinero
• procedure Maq.Detectar_Devolucion
• -- Bloquea hasta que se pulsa el botón de devol
  ución
• procedure Maq.Devolver ( Cantidad in Integer )
  
• -- Devuelve al cliente la cantidad especificada
• function Maq.Precio ( Producto T_ Prod ) return
  Integer
• -- Devuelve el precio de un product o
• procedure Maq.Detectar_Seleccion ( Producto out
  T_Prod )
• -- Bloquea hasta producto seleccionado lo
  devuelve
• procedure Maq.Servir ( Producto in T_Prod )
• -- Se sirve una unidad del producto
• procedure Maq.Mostrar ( Cantidad in Integer )
• -- Muestra una cantidad en el display

7
Conclusiones (directrices de diseño)

• Estructura del problema ? Estructura de la
  solución.
• Varias tareas utilizan una var. compartida ?
  encapsulamos el acceso a la var. mediante un
  recurso.
• Programa espera bloqueante otras operaciones
  ?
• Una tarea realiza la espera.
• Otras tareas realizan las otras operaciones.
• Consultas y modificaciones de vars compartidas

if cond then -- PRE cond Operación1 else
Puede cambiar la cond?