• Resumen Sincronizacion: Semaforos & Barreras
• Resumen Monitores

Martes

• Sincronizacion

  • Semaforos: Es una solucion para el problema de mutual exclution.

    Los semaforos binario tambien se llama mutex

  • Barreras: Todos los threads deben llegar a un punto de sincronizacion para poder avanzar.

    • Ejemplo: Todos los inversores esperan al inicio de la semana para que se les reparta el dinero a invertir y empezar.

  • Monitores

    • Es una estructura de dato que asigna el “correctness” en modulos.
    • Es como semaforos version objetos
    • Only one process at a time can execute a monitor operation, thus we are ensured mutual exclusion

  • Varibales Condicionales:

    • Condition Variables provide syncronization to monitors by providing an ordinary boolean expressions that are used to test the condition, blocking on the condition variable if necessary; a separate statement is used to unblock a process when the condition becomes true.
    • Conditional variables define the state of an instance of a monitor. We define the opeations (waitC, signalC) inside the Monitor

Diapositivas

3-sincronizacion.pdf

4-monitores.pdf

Notas

5.1-sincronizacion_annotated.pdf

5.2-monitores_annotated.pdf

5.3-ejemplos-semaforos-y-monitores_annotated.pdf

Libro

Cap 7: Semophores & Monitors

Cap 7: Principles of concurrent programming 2nd Edition https://drive.google.com/file/d/1dR9sD1dg5r5_lT58oqlusJMT7_2iSnWm/view?usp=drive_link

Codigo en Rust

use std_semaphore::Semaphore;

let sem = Semaphore::new(Num_recursos); // Indico cuantos recursos tengo disp 
let mutex = Semaphore::new(1); // Semaforo con un solo recurso es un Mutex

// wait
sem.acquire(); // Acquire one of the resources

// signal
sem.release(); // Release our initially acquired resource

// wait + signal (al salir del bloque)
// Acquire one of the resources for a limited period of time
{
    let _guard = sem.access();
    // ...
} // resources is released here

Grabacion

https://drive.google.com/file/d/1RAzdD0V__jM7VW-MPsNDT7gqRSdN2v1F/view?pli=1