Welke rol spelen synchronisatie-primitieven in de programmeertaal Go?

De synchronisatie-primitieven in Go worden gebruikt om toegang tot gedeelde bronnen te beheren en de uitvoering van goroutines te coördineren, om racecondities te voorkomen en de correctheid van het programma te waarborgen.

Belangrijkste primitieven:

• Mutex (sync.Mutex) — zorgt voor onderlinge uitsluiting, waardoor slechts één goroutine tegelijk de kritieke sectie kan uitvoeren.
• WaitGroup (sync.WaitGroup) — maakt het mogelijk te wachten tot een groep goroutines klaar is.
• Kanaal — een kanaal voor gegevensoverdracht tussen goroutines, dat op zichzelf een krachtige synchronisatie-primitief is.
• RWMutex (sync.RWMutex) — stelt meerdere goroutines in staat om gelijktijdig te lezen, maar schrijftaken blokkeren iedereen.

Voorbeeld van het gebruik van Mutex:

var mu sync.Mutex
var teller int

func verhoog() {
    mu.Lock()
    defer mu.Unlock()
    teller++
}

Zo helpen synchronisatie-primitieven conflicten bij gelijktijdige toegang tot gegevens te voorkomen en zorgen ze voor een correcte interactie tussen goroutines.