Какво е състояние на състезание (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/Mu: Блокира достъпа до ресурса, докато нишката го използва.

  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 (експериментално), или подходи базирани на блокировки/опашки.

Изборът на метод за синхронизация зависи от конкретния сценарий и изискванията за производителност. Важно е да се разбере, че синхронизацията може да въведе допълнителна натовареност и потенциално да доведе до взаимни блокировки (deadlocks), ако не е реализирана правилно.