რა არის რბოლის მდგომარეობა?

გარბენის მდგომარეობა — ეს არის პრობლემა, რომელიც წარმოიქმნება მრავალთრედიან ან მრავალპროცესიან აპლიკაციაში, როდესაც შედეგის სიზუსტე დამოკიდებულია თრედების/პროცესების შესრულების წესზე.

ჩვეულებრივ, ეს ხდება როდესაც რამდენიმე თრედი ერთდროულად წვდომს უწევს საერთო რესურსებს (ცვლადებს, ფაილებს, მონაცემთა ბაზებს) სათანადო სინქრონიზაციის გარეშე.

ეს იწვევს გაურკვეველ ქცევას, შეცდომებს და არასწორ მონაცემებს.

მაგალითად: ორი თრედი ერთდროულად ცდილობს საერთო ცვლადის გაზრდას:

var sharedCounter = 0

func incrementCounter() {
    let currentValue = sharedCounter // თრედი 1 კითხულობს 0-ს
    // გარკვეული გაჭიანურება
    let newValue = currentValue + 1 // თრედი 1 ითვლის 1-ს
    sharedCounter = newValue // თრედი 1 წერს 1-ს
}

// თუ თრედი 2 კითხულობს currentValue-ს მანამდე, ვიდრე თრედი 1 დაწერს newValue-ს:
func anotherIncrementCounter() {
    let currentValue = sharedCounter // თრედი 2 კითხულობს 0-ს
    let newValue = currentValue + 1 // თრედი 2 ითვლის 1-ს
    sharedCounter = newValue // თრედი 2 წერს 1-ს
}

ამ მაგალითში, თუ ორივე თრედი ერთდროულად მუშაობს სინქრონიზაციის გარეშე, საბოლოოდ sharedCounter შეიძლება გახდეს 1, ნაცვლად 2-ის, რაც უნდა იყოს.

გადაუვლის მდგომარეობის თავიდან ასაცილებლად გამოიყენება სინქრონიზაციის მექანიზმები:

• მიუტექსები (Mutex): ბლოკავს რესურსზე წვდომას, მხოლოდ ერთ თრედს შეუძლია იყოს კრიტიკულ სექციაში.
• სემაფორები (Semaphore): შეზღუდავს ერთდროულად რესურსზე წვდომის თრედების რაოდენობას.
• დაშლილები (Dispatch Queues GCD-ში): სამუშაოების შესრულება ხდება რიგით (Serial Queue) ან გარკვეული პარალელიზმის დონით (Concurrent Queue) და აქვს შესაძლებლობა სინქრონიზაციის.
• ლოკები (Locks): სხვადასხვა ტიპის ლოკები (მაგალითად, NSLock, NSRecursiveLock).
• ატომური ოპერაციები (Atomic Operations): გარანტიას იძლევა, რომ ოპერაცია (კითხვა, დაწერა, ინკრემენტი) შესრულდება ატომურად, ანუ სხვა თრედის ჩარევის გარეშე.

iOS განვითარების დროს ხშირად გამოიყენება Grand Central Dispatch (GCD) და ოპერაციების რიგები, რათა მართონ თრედები და თავიდან აიცილონ გარბენის მდგომარეობები. სერიული დისპეჩი რიგები უზრუნველყოფს ავტომატურ სინქრონიზაციას შესრულებულ დავალებებზე.