Kaip veikia mutex užpildytame kanale? Ką jis saugo?

Go kalboje, buferinis kanalas turi vidinį fiksuoto dydžio buferį, kuris saugo kanalui siųstus, bet dar nepriimtus elementus. Norint užtikrinti teisingą prieigą prie šio buferio, naudojamas mutex (tarpusavio išskyrimas).

Mutex saugo kanalo vidines duomenų struktūras nuo vienalaikės prieigos iš kelių gorutinių. Tai užtikrina, kad siuntimo (send) ir gavimo (receive) operacijos bus atominės ir nesukels lenktynių sąlygų.

Kitaip tariant, mutex užtikrina:

• Buferio būsenos nuoseklumą (skaitmenys skaitymui ir rašymui, elementų skaičius).
• Saugumą vykdant send ir receive vienu metu.
• Tinkamą gorutinių blokavimą ir atblokavimą užpildant arba ištuštinant buferį.

Todėl mutex buferiniame kanale saugo vidinį buferį ir su juo susijusius metaduomenis nuo konkurencinių pokyčių, užtikrindamas teisingą sinchronizaciją tarp gorutinių.