Ինչքան անվտանգ է օգտագործել slices-ները համաժամանակյա կատարման (Concurrency) համատեքստում։

Սլայսների օգտագործումը անվտանգ չէ մրցակցային մուտքի (Concurrency) համատեքստում առանց լրացուցիչ սինխրոնիզացիոն մեխանիզմների։ Բազմակի միաժամանակյա մուտքերը ընթերցանության և գրության համար կամ երկու միաժամանակյա գրառումներ նույն հիշողության հատվածում (որը սլայսի հիմնական զանգվածն է) հանգեցնում են տվյալների մրցակցության վիճակի (data race):

unsafe-ի պատճառները՝

1. Հիմնական զանգվածի փոփոխություն։ Սլայսը ներկայացնում է հիմնական զանգվածը։ Ավելացման օպերացիաները (append), հատկապես եթե անցնում են ընթացիկ ծավալը, կարող են հանգեցնել վերաօլկացիայի և տվյալների պատճենման նոր հիմնական զանգվածում։ Եթե այդ պահին այլ gorutina փորձում է կարդալ կամ գրել հին կամ նոր հիմնական զանգվածում, առաջանում է race condition։
2. Սլայսի գլխագրի փոփոխություն։ Սլայսի գլխագիր (struct, որը պարունակում է ցուցիչ հիմնական զանգվածին, երկարություն և ծավալ) նույնպես կարող է փոխվել append օպերացիայի ժամանակ։ Այս գլխագրի միաժամանակ ընթերցում և գրառում առանց սինխրոնիզացիայի հանգեցնում է անորոշ վարքագծի։

անվտանգության ապահովման մեխանիզմներ՝

• sync.Mutex / sync.RWMutex։ Դասի մուտքը սլայսին փակել նախքան յուրաքանչյուր ընթերցանության կամ գրության օպերացիան։ sync.RWMutex-ը ավելի նախընտրելի է հաճախակի ընթերցումների և հազվագյուտ գրումների համար։

  import "sync"
  
  type SafeSlice struct {
      mu    sync.RWMutex
      items []int
  }
  
  func (s *SafeSlice) Append(item int) {
      s.mu.Lock() // Բլոկավորում գրելու համար
      defer s.mu.Unlock()
      s.items = append(s.items, item)
  }
  
  func (s *SafeSlice) Get(index int) (int, bool) {
      s.mu.RLock() // Բլոկավորում ընթերցանության համար
      defer s.mu.RUnlock()
      if index < 0 || index >= len(s.items) {
          return 0, false
      }
      return s.items[index], true
  }
  

• Կանալներ (Channels)։ Տվյալների տիրապետության փոխանցում via channels։ Մի gorutina գրում է տվյալները, մյուսը կարդում է դրանք։ Սա հարմար է տվյալների հոսքային մշակման համար։

  // Օրինակ՝ օգտագործելով channel փոխանցելու համար
  // այն սցենարում, որտեղ մեկ gorutina արտադրում է, մյուսը սպառում
  

• sync.Map։ Հարմար է, եթե սլայսը օգտագործվում է որպես բանալի-արժեք մապավորման հիմք կամ այն սցենարներում, որտեղ կարգը կարևոր չէ, բայց մրցակցային անվտանգությունը՝ կարևոր։

Եզրակացություն։ Մրցակցային սցենարներում սլայսների օգտագործումը պահանջում է հստակ կառավարման սինխրոնիզացիայի՝ տվյալների մրցակցության կանխարգելման համար։ Միաժամանակ մի քանի gorutina-ներից սլայսին հասանելիությունը անվտանգ չէ։