Bufferli kanalda mutex necə işləyir? Nə qoruyur?

Go dilində, tamponlu kanal daxilində sabit ölçülü daxili tampon var, hansı ki, kanala göndərilən, lakin hələ alınmayan elementləri saxlayır. Bu tamponun düzgün erişimini təmin etmək üçün mutex (qarşılıqlı istisna) istifadə olunur.

Mutex kanalın daxili məlumat strukturlarını bir neçə goroutine-dən eyni vaxtda girişdən qoruyur. Bu, göndərmə (send) və qəbul etmə (receive) əməliyyatlarının atomik olmasını və yarış şəraitlərinin yaranmamasını təmin edir.

Yəni, mutex aşağıdakıları təmin edir:

• Tamponun vəziyyətinin ardıcıllığı (oxuma və yazma indeksləri, elementlərin sayı).
• Send və receive əməliyyatlarının eyni vaxtda icrası zamanı təhlükəsizlik.
• Tamponun doldurulması və ya boşaldılması zamanı goroutine-lərin düzgün şəkildə kilidlənməsi və açılması.

Beləliklə, tamponlu kanaldakı mutex daxili tamponu və onunla əlaqəli meta məlumatları rəqabət şəraitində dəyişikliklərdən qoruyur və goroutine-lər arasında düzgün sinxronizasiya təmin edir.