Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Sync

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

Точнее, определение такое:

T является Sync тогда и только тогда, когда &T является Send

This slide should take about 2 minutes.

Это утверждение по сути является сокращённым способом сказать, что если тип потокобезопасен для совместного использования, то безопасно передавать его ссылки через границы потоков.

Это потому, что если тип реализует Sync, значит, его можно разделять между несколькими потоками без риска гонок данных или других проблем синхронизации, поэтому безопасно переместить его в другой поток. Ссылку на такой тип тоже безопасно переместить в другой поток, так как данные, на которые она ссылается, можно безопасно читать из любого потока.