Sync
Um tipo
T
éSync
se for seguro acessar um valorT
de várias threads ao mesmo tempo.
Mais precisamente, a definição é:
T
éSync
se e somente se&T
éSend
This slide should take about 2 minutes.
Essa instrução é essencialmente uma maneira abreviada de dizer que, se um tipo é thread-safe para uso compartilhado, também é thread-safe passar referências a ele entre threads.
Isso ocorre porque, se um tipo for Sync
, significa que ele pode ser compartilhado entre vários threads sem o risco de corridas de dados ou outros problemas de sincronização, portanto, é seguro movê-lo para outro thread. Uma referência ao tipo também é segura para mover para outro thread, porque os dados a que ela faz referência podem ser acessados de qualquer thread com segurança.