Sync

Um tipo T é Sync se for seguro acessar um valor T 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.