• Resumen Corrección / Sección Crítica / Locks

Martes

Principios de Corrececion:

• Savety

  • Exclusion Mutua
  • Ausensia de Deadlocks

• Liveness

  • Ausensia de Starvation
  • Fairness

• Seccion Critica

• Locks y unlocks

Diapositivas

4-correccion.pdf

Notas

4-correccion_annotated.pdf

• Condiciones para poder tomar un lock

Rust provee locks compartidos (read) y locks exclusivos (write) en el módulo: std::sync::RwLock

std::sync::RwLock - Rust

Ejemplos en Rust

• Creacion de Locks RwLock::new()
• Lock compartidos lock.read()
• Lock exclusivos lock.write()

<aside> 💡 Todos los Locks (exclusivos y compartidos) realizan un unlock() cuando la variable asociada se droppea del scope.

Por lo general hacer .lock() y .unlock() suele ser una mala practica en Rust

</aside>