Condition Variables

Una condition variable C:

• No guarda ningún valor
• Tiene asociado un FIFO
• Consta de tres operaciones atómicas:

  • waitC(cond)

    waitC(cond)
    cond.append(p) // proceso espera la condición
    p.state := blocked // no usa cpu, se bloquea
    monitor.releaseLock() // libera el lock de la cond variable
    

  • signalC(cond)

    signalC(cond)
    if (cond <> empty) // verifica si la condición está vacía
    begin
    q := cond.remove() // quita la condición
    q.state := ready // se pone libre
    end
    

  • empty(cond)

    empty(cond)
    return cond = empty // retorna si la condición está vacía
    

Monitores

Herramientas de sincronización que permite a los hilos tener exclusión mutua y la posibilidad de esperar (block) porque una condición se vuelva falsa.

Tienen un mecanismo para señalizar otros hilos cuando su condición se cumple.

Componentes

• Nombres
• Variables Internas
• Procedimientos del monitor: rutinas que acceden directamente a las variables internas.
• Una interfaz pública para que los procesos puedan acceder a las variables internas
• Inicialización de las variables internas
• Un conjunto de condition variables que incorporan sincronismo al monitor

Estados de los procesos

• Esperando para entrar al monitor
• Ejecutando el monitor (sólo un proceso a la vez - exclusión mutua)
• Bloqueado en FIFO de variable de condición
• Recién liberado de la wait condition