Ako funguje mutex v vyrovnávacom kanáli? Čo chráni?

V jazyku Go obsahuje kanál s vyrovnávacou pamäťou vnútorný buffer pevnej veľkosti, ktorý uchováva prvky odoslané do kanála, ale ešte nie sú prijaté. Na zabezpečenie správneho prístupu k tomuto bufferu sa používa mutex (vzájomné vylúčenie).

Mutex chráni vnútorné dátové štruktúry kanála pred súčasným prístupom z viacerých gorútin. To zabezpečuje, že operácie odoslania (send) a prijatia (receive) budú atómové a nezpôsobia súťažné podmienky.

Inými slovami, mutex zabezpečuje:

• Koherentnosť stavu bufferu (indexy čítania a zápisu, počet prvkov).
• Bezpečnosť pri súčasnom vykonávaní send a receive.
• Správne blokovanie a odblokovanie gorútin pri plnení alebo vyprázdňovaní bufferu.

Preto mutex v bufferovanom kanáli chráni vnútorný buffer a s ním súvisiace metadáta pred konkurenčnými zmenami, zabezpečujúc správnu synchronizáciu medzi gorútinami.