DispatchQueue: τι είναι, ουρά GCD και βασικά πολυνηματικότητας

Τι είναι το DispatchQueue και το Grand Central Dispatch

DispatchQueue είναι ένα αντικείμενο του πλαισίου Grand Central Dispatch (GCD) που διαχειρίζεται την εκτέλεση εργασιών σε ουρές νημάτων συστήματος ή προσαρμοσμένες. Το Grand Central Dispatch είναι μια βιβλιοθήκη χαμηλού επιπέδου της Apple, διαθέσιμη από iOS 4 και macOS 10.6, που αφαιρεί πλήρως τη διαχείριση νημάτων από τον προγραμματιστή. Το GCD χρησιμοποιεί την ομάδα νημάτων του λειτουργικού συστήματος και κλιμακώνει αυτόματα τον αριθμό των νημάτων ανάλογα με το φορτίο της συσκευής.

Ο προγραμματιστής δεν χρειάζεται να δημιουργεί και να καταστρέφει χειροκίνητα νήματα — το GCD αναλαμβάνει αυτή την εργασία, παρέχοντας ένα απλό API μέσω του DispatchQueue. Η εργασία με τη μορφή closure αποστέλλεται στην ουρά μέσω των μεθόδων sync ή async. Στην πρώτη περίπτωση, το νήμα που καλεί μπλοκάρεται μέχρι την ολοκλήρωση της εργασίας, στη δεύτερη — συνεχίζει αμέσως την εκτέλεση.

Σύμφωνα με την Apple (2026), το GCD χρησιμοποιεί την ομάδα νημάτων συστήματος που προσαρμόζεται στον αριθμό των πυρήνων και στο τρέχον φορτίο του επεξεργαστή. Η ταυτόχρονη ουρά δεν δημιουργεί νέο νήμα για κάθε εργασία — το GCD επαναχρησιμοποιεί νήματα από την ομάδα, ελαχιστοποιώντας την επιβάρυνση δημιουργίας νημάτων.

Αρχιτεκτονική GCD

Το Grand Central Dispatch αποτελείται από τρία βασικά στοιχεία: την ουρά (DispatchQueue), την ομάδα (DispatchGroup) και τον σημαφόρο (DispatchSemaphore). Η ουρά είναι το κύριο στοιχείο που δέχεται εργασίες με τη μορφή μπλοκ κώδικα. Το DispatchGroup συγχρονίζει την εκτέλεση πολλαπλών εργασιών, και το DispatchSemaphore περιορίζει την πρόσβαση σε έναν κοινό πόρο σε συγκεκριμένο αριθμό νημάτων.

Κάθε ουρά GCD συνδέεται με μια συγκεκριμένη κλάση QoS (Quality of Service) που ενημερώνει το σύστημα για τη σημασία της εργασίας. Το σύστημα χρησιμοποιεί το QoS για τη διανομή του χρόνου επεξεργαστή μεταξύ των ουρών, δίνοντας προτεραιότητα σε πιο κρίσιμες εργασίες — για παράδειγμα, ενημέρωση UI ή επεξεργασία αφής χρήστη.

Σειριακές και Ταυτόχρονες ουρές: σύγκριση

Σειριακή ουρά εκτελεί τις εργασίες αυστηρά διαδοχικά, η μία μετά την άλλη. Αν τρεις εργασίες τοποθετηθούν σε μια σειριακή ουρά, η δεύτερη ξεκινά μόνο μετά την πλήρη ολοκλήρωση της πρώτης. Οι σειριακές ουρές χρησιμοποιούνται για τον συγχρονισμό της πρόσβασης σε κοινόχρηστους πόρους — για παράδειγμα, σε έναν πίνακα που τροποποιείται από πολλά μέρη του κώδικα.

Ταυτόχρονη ουρά εκτελεί πολλές εργασίες ταυτόχρονα, κατανέμοντάς τες στα διαθέσιμα νήματα από την ομάδα συστήματος. Οι εργασίες σε μια ταυτόχρονη ουρά ξεκινούν με τη σειρά άφιξης (FIFO), αλλά ολοκληρώνονται με τυχαία σειρά εάν ο χρόνος εκτέλεσής τους διαφέρει. Ταυτόχρονη ουρά δεν εγγυάται τη σειρά ολοκλήρωσης — μόνο τη σειρά έναρξης.

Πότε να επιλέξετε σειριακή ουρά

Η σειριακή ουρά είναι ιδανική για εργασίες που τροποποιούν την κοινή κατάσταση — εγγραφή σε αρχείο, ενημέρωση μοντέλου δεδομένων ή εργασία με Core Data. Η χρήση σειριακής ουράς εγγυάται ότι δύο τμήματα κώδικα δεν θα τροποποιήσουν τα ίδια δεδομένα ταυτόχρονα, εξαλείφοντας τη συνθήκη ανταγωνισμού χωρίς πρόσθετες κλειδαριές.

Πότε να επιλέξετε ταυτόχρονη ουρά

Ταυτόχρονη ουρά είναι κατάλληλη για εργασίες που δεν εξαρτώνται η μία από την άλλη: φόρτωση πολλαπλών εικόνων, παράλληλα αιτήματα δικτύου ή μαζική επεξεργασία δεδομένων. Το GCD αποφασίζει αυτόματα πόσες εργασίες να εκτελέσει ταυτόχρονα, βάσει του αριθμού των πυρήνων του επεξεργαστή και του τρέχοντος φορτίου συστήματος.

Quality of Service: προτεραιότητες εκτέλεσης εργασιών

QoS (Quality of Service) — μηχανισμός GCD που ενημερώνει το λειτουργικό σύστημα για τη σημασία και τον επείγοντα χαρακτήρα της εργασίας. Το σύστημα χρησιμοποιεί το QoS για τον προγραμματισμό νημάτων: οι εργασίες με υψηλότερο QoS λαμβάνουν περισσότερο χρόνο επεξεργαστή και ξεκινούν νωρίτερα. Η τιμή QoS μεταδίδεται κατά τη δημιουργία ουράς ή την αποστολή συγκεκριμένης εργασίας.

Στο GCD είναι διαθέσιμες πέντε κλάσεις QoS. .userInteractive — η υψηλότερη προτεραιότητα για εργασίες που σχετίζονται με UI. .userInitiated — για εργασίες που ξεκινούν από τον χρήστη. .utility — για εργασίες παρασκηνίου με εμφάνιση προόδου. .background — για εργασίες αόρατες στον χρήστη. .default — ενδιάμεσο επίπεδο μεταξύ userInitiated και utility, χρησιμοποιείται από προεπιλογή.

Σύμφωνα με την Apple (2026), η λανθασμένη επιλογή QoS είναι μια από τις συχνές αιτίες προβλημάτων απόδοσης. Η εκτέλεση λήψης παρασκηνίου με QoS .userInteractive αφαιρεί πόρους από το UI, προκαλώντας μικροκαθυστερήσεις στις κινούμενες εικόνες. Συνιστάται η επιλογή του χαμηλότερου QoS που εξακολουθεί να παρέχει αποδεκτό χρόνο εκτέλεσης.

Παράδειγμα εφαρμογής QoS

Κατά τη φόρτωση μιας εικόνας για άμεση εμφάνιση, χρησιμοποιήστε .userInitiated — ο χρήστης αναμένει αποτέλεσμα. Για προφόρτωση της επόμενης οθόνης, αρκεί .utility. Ο συγχρονισμός παρασκηνίου με τον διακομιστή εκτελείται με .background, ελαχιστοποιώντας την επίδραση σε ενεργές εργασίες.

DispatchGroup και σημαφόροι: συγχρονισμός εργασιών

DispatchGroup επιτρέπει την παρακολούθηση της ολοκλήρωσης μιας ομάδας εργασιών. Όταν όλες οι εργασίες στην ομάδα ολοκληρωθούν, το GCD καλεί τον χειριστή notify στην καθορισμένη ουρά. Αυτό είναι ιδιαίτερα χρήσιμο κατά τη φόρτωση πολλαπλών ανεξάρτητων πόρων — δεδομένων προφίλ, λίστας φίλων και ρυθμίσεων — όταν η διεπαφή πρέπει να ενημερωθεί μόνο μετά τη λήψη όλων των δεδομένων.

Το DispatchGroup υποστηρίζει σύγχρονη κλήση wait() που μπλοκάρει το τρέχον νήμα μέχρι την ολοκλήρωση όλων των εργασιών. Αυτό είναι βολικό όταν ο κώδικας δεν μπορεί να συνεχίσει χωρίς τα αποτελέσματα της ομάδας. Η ασύγχρονη παραλλαγή — notify() — καλεί το closure στην καθορισμένη ουρά μετά την ολοκλήρωση όλων των εργασιών, χωρίς να μπλοκάρει το νήμα που καλεί.

DispatchSemaphore για περιορισμό παραλληλισμού

DispatchSemaphore ελέγχει την πρόσβαση σε έναν πόρο, περιορίζοντας τον αριθμό των ταυτόχρονων προσβάσεων. Ένας σημαφόρος με αρχική τιμή 3 επιτρέπει την εκτέλεση το πολύ τριών παράλληλων εργασιών. Κατά την κλήση wait(), ο μετρητής μειώνεται, κατά την signal() — αυξάνεται. Αν ο μετρητής είναι μηδέν, το νήμα μπλοκάρεται μέχρι να απελευθερωθεί ο πόρος.

Παραδείγματα κώδικα με DispatchQueue σε Swift

Ας εξετάσουμε τρία πρακτικά παραδείγματα χρήσης του DispatchQueue σε Swift. Το πρώτο δείχνει μια βασική async κλήση με επιστροφή στο κύριο νήμα, το δεύτερο — συγχρονισμό μέσω σειριακής ουράς, το τρίτο — DispatchGroup για παράλληλα αιτήματα.

Βασική async κλήση με επιστροφή στο main

DispatchQueue.main είναι η σειριακή ουρά του κύριου νήματος, που προορίζεται αποκλειστικά για λειτουργίες UI. Χρησιμοποιήστε την πάντα για ενημέρωση της διεπαφής μετά την ολοκλήρωση της εργασίας παρασκηνίου.

let queue = DispatchQueue.global(qos: .userInitiated)
queue.async {
    let data = self.fetchData()
    DispatchQueue.main.async {
        self.updateUI(with: data)
    }
}

Σειριακή ουρά για προστασία κοινόχρηστου πόρου

Η δημιουργία της δικής σας σειριακής ουράς με μοναδικό αναγνωριστικό συγχρονίζει την πρόσβαση σε έναν μεταβλητό πίνακα. Όλες οι λειτουργίες ανάγνωσης και εγγραφής περνούν από μία ουρά, εξαλείφοντας τη συνθήκη ανταγωνισμού.

let serialQueue = DispatchQueue(label: "com.app.items")
var items: [Int] = []

serialQueue.async {
    items.append(1)
}
serialQueue.async {
    let last = items.last
    DispatchQueue.main.async {
        print("Last item: \(last)")
    }
}

DispatchGroup για παράλληλα αιτήματα

DispatchGroup επιτρέπει την εκτέλεση πολλαπλών εργασιών σε μια ταυτόχρονη ουρά και τη λήψη ειδοποίησης όταν όλες ολοκληρωθούν. Αυτό είναι χρήσιμο κατά τη φόρτωση δεδομένων για την οθόνη προφίλ.

let group = DispatchGroup()
let worker = DispatchQueue.global()

worker.async(group: group) { self.loadProfile() }
worker.async(group: group) { self.loadFriends() }
worker.async(group: group) { self.loadSettings() }

group.notify(queue: DispatchQueue.main) {
    self.showCompleteUI()
}

Συνηθισμένα λάθη κατά την εργασία με DispatchQueue

Deadlock κατά την κλήση sync σε σειριακή ουρά — το πιο συνηθισμένο λάθος. Αν μια εργασία σε μια σειριακή ουρά καλέσει queue.sync στην ίδια ουρά, το νήμα μπλοκάρεται μόνιμα. Η ουρά περιμένει την ολοκλήρωση της τρέχουσας εργασίας, και η εργασία περιμένει την ολοκλήρωση της κλήσης sync — κλασική αμοιβαία μπλοκάρισμα.

Ενημέρωση UI από νήμα παρασκηνίου

Όλες οι λειτουργίες με UIKit πρέπει να εκτελούνται στο κύριο νήμα. Το Xcode εντοπίζει αυτά τα λάθη στη λειτουργία Debug μέσω του Main Thread Checker. Σε έκδοση Release, οδηγούν σε απρόβλεπτη συμπεριφορά: οι κινούμενες εικόνες δεν ξεκινούν, το UI δεν ενημερώνεται, είναι πιθανά crash.

Υπερβολική δημιουργία προσαρμοσμένων ουρών

Η δημιουργία εκατοντάδων προσαρμοσμένων ουρών αντί για καθολικές ουρές — αντιπρότυπο. Κάθε ουρά καταναλώνει πόρους συστήματος. Για τις περισσότερες εργασίες, αρκούν οι καθολικές ταυτόχρονες ουρές με διαφορετικό QoS και μία-δύο σειριακές ουρές για συγχρονισμό κοινόχρηστων δεδομένων.

Παράβλεψη autoreleasepool σε βρόχους

Κατά την εκτέλεση εργασιών έντασης πόρων σε ουρά παρασκηνίου χωρίς autoreleasepool, η μνήμη αυξάνεται μέχρι το τέλος ολόκληρου του βρόχου. Το ARC απελευθερώνει αντικείμενα μόνο κατά την έξοδο από το autorelease pool. Τυλίξτε τις επαναλήψεις του βρόχου σε autoreleasepool { } για έγκαιρη απελευθέρωση μνήμης.