Sync
Тип
T
єSync
, якщо безпечно отримувати доступ до значенняT
з кількох потоків водночас.
Точніше, визначення таке:
T
єSync
тоді і тільки тоді коли&T
єSend
This slide should take about 2 minutes.
Це твердження, по суті, є скороченим способом сказати, що якщо тип є потокобезпечним для спільного використання, також потоково безпечно передавати посилання на нього між потоками.
Це пояснюється тим, що якщо тип є Sync, це означає, що він може використовуватися кількома потоками без ризику перегонів даних або інших проблем із синхронізацією, тому його безпечно перемістити в інший потік. Посилання на тип також безпечно перемістити в інший потік, оскільки дані, на які воно посилається, можуть бути безпечно доступні з будь-якого потоку.