Sync
یک تایپ
Tدر واقع نوعیSyncاست، اگر در دسترسی به یک مقدارTاز طریق چندین رشته به طور همزمان امن باشد.
به طور دقیقتر، تعریف این طور است:
Tیک نوعSyncفقط و فقط زمانی که&Tیک نوعSendباشد
این عبارت به طور کلی روشی مختصر برای گفتن این است که اگر یک تایپ برای استفاده مشترک امن باشد، انتقال ارجاعات (pass references) آن به threadها نیز امن است.
این به خاطراست که اگر یک تایپ از جنس Sync باشد، به این معنی است که میتوان آن را در چند thread بدون خطر در مورد وضعیت رقابتی داده یا سایر مشکلات Sync به اشتراک گذاشت، بنابراین انتقال آن به threadای دیگر امن است. ارجاع به تایپ نیز برای انتقال به threadای دیگر ایمن است، زیرا دادههایی که به آن ارجاع میدهد میتوانند از هر threadای با خیال راحت دسترسی داشته باشند.