Sync

Тип T є Sync, якщо безпечно отримувати доступ до значення T з кількох потоків водночас.

Точніше, визначення таке:

T є Sync тоді і тільки тоді коли &T є Send

This slide should take about 2 minutes.

Це твердження, по суті, є скороченим способом сказати, що якщо тип є потокобезпечним для спільного використання, також потоково безпечно передавати посилання на нього між потоками.

Це пояснюється тим, що якщо тип є Sync, це означає, що він може використовуватися кількома потоками без ризику перегонів даних або інших проблем із синхронізацією, тому його безпечно перемістити в інший потік. Посилання на тип також безпечно перемістити в інший потік, оскільки дані, на які воно посилається, можуть бути безпечно доступні з будь-якого потоку.