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