Ejemplo
Veamos cómo funcionan Arc
y Mutex
:
use std::thread; // usar std::sync::{Arc, Mutex}; fn main() { let v = vec![10, 20, 30]; let handle = thread::spawn(|| { v.push(10); }); v.push(1000); handle.join().unwrap(); println!("v: {v:?}"); }
Solución posible:
use std::sync::{Arc, Mutex}; use std::thread; fn main() { let v = Arc::new(Mutex::new(vec![10, 20, 30])); let v2 = Arc::clone(&v); let handle = thread::spawn(move || { let mut v2 = v2.lock().unwrap(); v2.push(10); }); { let mut v = v.lock().unwrap(); v.push(1000); } handle.join().unwrap(); println!("v: {v:?}"); }
Puntos a destacar:
v
se envuelve tanto enArc
como enMutex
, porque sus preocupaciones son ortogonales.- Envolver un
Mutex
en unArc
es un patrón habitual para compartir el estado mutable entre hilos.
- Envolver un
v: Arc<_>
se debe clonar comov2
antes de poder moverlo a otro hilo. Ten en cuenta quemove
se ha añadido a la firma lambda.- Se introducen bloqueos para limitar al máximo el ámbito de
LockGuard
.