Mutex

Mutex<T> garante exclusĂŁo mĂștua e permite acesso mutĂĄvel a T por trĂĄs de uma interface somente de leitura (outra forma de mutabilidade interna):

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

Observe como temos uma implementação impl<T: Send> Sync for Mutex<T> encoberta.

Speaker Notes

 This slide should take about 14 minutes.
  • Mutex em Rust Ă© semelhante a uma coleção com apenas um elemento — os dados protegidos.
    • NĂŁo Ă© possĂ­vel esquecer de adquirir o mutex antes de acessar os dados protegidos.
  • VocĂȘ pode obter um &mut T de um &Mutex<T> obtendo um lock. O MutexGuard garante que o &mut T nĂŁo sobrevive alĂ©m do lock obtido.
  • Mutex<T> implementa ambos Send e Sync sse (se e somente se) T implementa Send.
  • Um lock para leitura e gravação: RwLock.
  • Por que lock() retorna um Result?
    • Se o thread que manteve o Mutex entrou em pĂąnico, o Mutex torna-se “envenenado” para sinalizar que os dados protegidos podem estar em um estado inconsistente. Chamar lock() em um mutex envenenado falha com um PoisonError. VocĂȘ pode chamar into_inner() no erro para recuperar os dados de qualquer maneira.