Рейс шарттары (race condition) эмне?

Ракеталык абал эки же андан көп агым же процесстер бир убакта жалпы ресурска (мисалы, өзгөрмө, файл, маалымат базасы) кайрылганда пайда болот жана операциянын жыйынтыгы ошол агымдар/процестер аткарган тартипке көз каранды болот. Маалыматка жетүү жана өзгөртүүнүн күтүүсүз тартиби натыйжада туура эмес же күтүлбөгөн болушу мүмкүн:

Мисал iOS: Бизде count деп аталган эсептегич бар деп элестетели, ага бир убакта эки агым кайрылып жатат:

var count = 0

func incrementCount() {
    // Агым 1 count = 5 деп окуйт
    // Агым 2 count = 5 деп окуйт
    let currentCount = count
    // Агым 1 newCount = 6 деп эсептейт
    // Агым 2 newCount = 6 деп эсептейт
    let newCount = currentCount + 1
    // Агым 1 count = 6 деп жазат
    // Агым 2 count = 6 деп жазат (Агым 1дин жыйынтыгын кайра жазуу)
    count = newCount
}

// Эгер эки агым бир убакта incrementCount() деп чакырса,
// күтүлгөн жыйынтык count = 2 болушу керек,
// бирок ракеталык абалдан улам count 1 болушу мүмкүн.

Ракеталык абалды алдын алуу үчүн синхрондоштуруу механизмдери колдонулат:

• Lock/Mutex: Ресурска жетүүнү токтотот, ал аны агым колдонуп жатканда:

  import Foundation
  
  let lock = NSLock()
  var count = 0
  
  func incrementCount() {
      lock.lock() // Блокировканы алуу
      let currentCount = count
      let newCount = currentCount + 1
      count = newCount
      lock.unlock() // Блокировканы бошотуу
  }
  

• Кутулар (Queues): GCDнин үзгүлтүксүз кутуларын колдонуу:

  import Foundation
  
  let serialQueue = DispatchQueue(label: "com.myapp.counterQueue")
  var count = 0
  
  func incrementCount() {
      serialQueue.async {
          let currentCount = count
          let newCount = currentCount + 1
          count = newCount
      }
  }
  

• Атомдук операциялар: Процессордун команда деңгээлиндеги үзгүлтүксүз операциялар. Swiftте OSAtomic... (эскирген) же Atomic колдонсо болот @_implementationOnly import Atomics аркылуу (эксперименталдуу), же блокировкалар/кутулар негизделген ыкмалар:

Синхрондоштуруу ыкмасын тандоо конкретдүү сценарийге жана иштөө талаптарына көз каранды. Маанилүү, синхрондоштуруу кош жүк алып келиши мүмкүн жана туура эмес ишке ашырылса, өз ара блокировка (deadlock) пайда болушу мүмкүн.