Ko jāatceras, strādājot ar mutexiem Go?

Darbojoties ar sync.Mutex Go valodā, ir svarīgi atcerēties šādus punktus:

• Aizslēgšana un atbrīvošana: Mutex ir obligāti jāaizslēdz (Lock()) pirms piekļuves koplietotajiem datiem un jāatbrīvo (Unlock()) pēc darba ar tiem. defer mu.Unlock() izmantošana tūlīt pēc mu.Lock() ir laba prakse, kas palīdz izvairīties no aizmirsta atbrīvošanas.
• Sinhronizācijas garantija: Mutex nodrošina izņēmuma piekļuvi resursam vienlaicīgi tikai vienai gorutīnai.
• "Aizslēgts/atbrīvots" stāvoklis: Pārlieku Lock() izsaukšana jau aizslēgtā mutexā bloķēs izsaucējošo gorutīnu, līdz cita gorutīna atbrīvos mutexu. Unlock() izsaukšana atslēgtā mutexā izraisīs kļūdu laikā izpildes laikā.
• Nekopējiet mutexus: Struktūra sync.Mutex nav paredzēta kopēšanai pēc pirmās lietošanas. Mutex pārsūtīšana pēc vērtības uz funkciju vai struktūras kopēšana, kas satur mutexu, var novest pie nepareizas sinhronizācijas un kļūdām.
• Deadlock (saslēgšanās): Notiek, kad divas vai vairāk gorutīnas gaida viena otras atbrīvot resursus. Tipisks scenārijs: gorutīna A bloķē R1 resursu un gaida R2, bet gorutīna B bloķē R2 un gaida R1.
• Livelock (dzīvs saslēgums): Situācija, kad gorutīnas pastāvīgi maina savu stāvokli, reaģējot uz citu darbībām, bet nedara noderīgu darbu un nevirzās uz priekšu. Tas ir retāk nekā deadlock.
• Badavība: Situācija, kad viena vai vairākas gorutīnas nevar piekļūt koplietotajam resursam, jo tas pastāvīgi tiek aizņemts citām gorutīnām. Go mutexos badavība nav garantēta.
• sync.RWMutex izmantošana lasīšanai/rakstīšanai: Ja lielākā daļa operāciju ir lasīšana, bet rakstīšana ir reta, sync.RWMutex var būt efektīvāks. Tas ļauj vairākām gorutīnām lasīt vienlaicīgi, bet rakstīšanas laikā bloķē gan lasīšanu, gan citus rakstus.
• Īsi bloķējumi: Mēģiniet turēt bloķējumus pēc iespējas īsākus. Jo ilgāk mutex ir aizslēgts, jo lielāka iespēja, ka citas gorutīnas gaidīs, kas samazina paralēlismu.
• Testēšana ar sacensībām: Izmantojiet -race karogu, būvējot un palaistot testus (go test -race), tas palīdz atklāt sacensības, kas bieži ir saistītas ar nepareizu mutexu lietošanu.

Piemērs ar defer:

import (
	"sync"
)

type SafeCounter struct {
	mu sync.Mutex
	v  map[string]int
}

// Inc droši palielina skaitītāju norādītajam atslēgas.
func (c *SafeCounter) Inc(key string) {
	c.mu.Lock()
	// Atliec atbrīvošanu līdz funkcijas beigām.
	defer c.mu.Unlock()
	c.v[key]++
}

// Value atgriež pašreizējo skaitītāja vērtību norādītajam atslēgas.
func (c *SafeCounter) Value(key string) int {
	c.mu.Lock()
	// Atliec atbrīvošanu pēc vērtības iegūšanas.
	defer c.mu.Unlock()
	return c.v[key]
}