Watchpoint — τι είναι, ποικιλίες και ρύθμιση σημείων παρατήρησης στο Xcode

Τι είναι το watchpoint και αρχή λειτουργίας

Watchpoint — ένας μηχανισμός του debugger που αναστέλλει την εκτέλεση του προγράμματος όταν αλλάξει η τιμή σε μια καθορισμένη διεύθυνση μνήμης. Ενώ το breakpoint αντιδρά στην επίτευξη μιας συγκεκριμένης γραμμής κώδικα, το watchpoint αντιδρά στην εγγραφή σε ένα συγκεκριμένο κελί μνήμης — ανεξάρτητα από το ποιο τμήμα κώδικα πραγματοποίησε αυτήν την εγγραφή. Αυτό το καθιστά απαραίτητο για την αναζήτηση απροσδόκητων τροποποιήσεων μεταβλητών, ειδικά σε πολυνηματικές εφαρμογές.

Η αρχή λειτουργίας βασίζεται στην υποστήριξη υλικού του επεξεργαστή. Τα σύγχρονα τσιπ ARM (Apple Silicon, Qualcomm Snapdragon) παρέχουν 4 έως 8 καταχωρητές watchpoint υλικού. Όταν ο επεξεργαστής εκτελεί μια εντολή εγγραφής σε διεύθυνση που συμπίπτει με ένα watchpoint, δημιουργείται μια διακοπή υλικού που αναχαιτίζεται από τον debugger. Εάν εξαντληθούν οι καταχωρητές υλικού, το LLDB μεταβαίνει σε λειτουργία λογισμικού — ελέγχει κάθε εντολή εγγραφής βήμα προς βήμα, επιβραδύνοντας την εκτέλεση δεκάδες φορές.

Σύμφωνα με το ARM Architecture Reference Manual, τα watchpoints υλικού λειτουργούν σε επίπεδο μονάδας Data Watchpoint and Trace (DWT) και δεν απαιτούν τροποποίηση του εκτελέσιμου κώδικα. Ο χρόνος αντίδρασης στην ενεργοποίηση είναι της τάξης των νανοδευτερολέπτων, επιτρέποντας την παρακολούθηση ακόμη και αλλαγών υψηλής συχνότητας μεταβλητών σε βρόχους επεξεργασίας δεδομένων, όπως buffer ήχου ή καρέ βίντεο.

Πότε το watchpoint είναι πιο αποτελεσματικό από το breakpoint

Watchpoint είναι απαραίτητο όταν γνωρίζετε ποια μεταβλητή αλλάζει, αλλά δεν γνωρίζετε από πού. Τυπικά σενάρια: η τιμή της ιδιότητας frame σε ένα UIView αλλάζει χωρίς προφανή λόγο; ένας μετρητής σε νήμα παρασκηνίου μηδενίζεται απρόβλεπτα; η σημαία isLoading αλλάζει πριν ολοκληρωθεί το αίτημα δικτύου. Σε κάθε μία από αυτές τις περιπτώσεις, η τοποθέτηση breakpoints σε όλα τα σημεία όπου μπορεί να συμβεί εγγραφή δεν είναι πρακτική. Το watchpoint λύνει το πρόβλημα με μία εντολή.

Τύποι watchpoints και τρόποι εγκατάστασης

Το Xcode και το LLDB υποστηρίζουν τρεις τύπους watchpoints: watchpoint set variable — για παρατήρηση μιας τοπικής μεταβλητής; watchpoint set expression — για παρατήρηση μιας έκφρασης που επιστρέφει διεύθυνση; watchpoint set — για παρατήρηση μιας ακατέργαστης διεύθυνσης μνήμης. Κάθε τύπος έχει το δικό του πεδίο εφαρμογής.

Εγκατάσταση μέσω GUI Xcode

Στο Xcode, ένα watchpoint μπορεί να εγκατασταθεί μέσω του Debug Area: σταματήστε σε ένα breakpoint, βρείτε την επιθυμητή μεταβλητή στο παράθυρο Variables View, κάντε δεξί κλικ και επιλέξτε Watch Variable. Το Xcode θα εκτελέσει αυτόματα την εντολή watchpoint set variable με το σωστό όνομα μεταβλητής και περιβάλλον. Μετά από αυτό, ο debugger θα σταματά σε κάθε αλλαγή τιμής — βολικό για γρήγορο εντοπισμό σφαλμάτων χωρίς εναλλαγή στην κονσόλα. Ωστόσο, αυτή η μέθοδος λειτουργεί μόνο όσο η μεταβλητή βρίσκεται στο πεδίο ορατότητας του τρέχοντος πλαισίου.

func processItems(_ items: [String]) {
    var index = 0
    // Ορίστε watchpoint στο index μέσω GUI:
    // σταματήστε εδώ, δεξί κλικ → Watch Variable
    for item in items {
        index += 1
        print("Item \(index): \(item)")
    }
}

Διαχείριση watchpoints μέσω LLDB

LLDB παρέχει ένα πλήρες σύνολο εντολών για τη διαχείριση watchpoints από την κονσόλα. Αυτό προσφέρει μεγαλύτερο έλεγχο από το GUI: μπορείτε να καθορίσετε το μέγεθος της περιοχής παρατήρησης, να ορίσετε συνθήκη ενεργοποίησης, να δημιουργήσετε watchpoints σε διευθύνσεις που λαμβάνονται από υπολογισμένες εκφράσεις και να εκτελείτε αυτόματα ενέργειες κατά την ενεργοποίηση. Η διεπαφή γραμμής εντολών είναι ιδιαίτερα χρήσιμη στον εντοπισμό σφαλμάτων σε σύνθετα σενάρια όπου απαιτείται γρήγορη αλλαγή των παραμέτρων παρατήρησης.

Βασικές εντολές watchpoint

Η εντολή watchpoint set variable δέχεται το όνομα μεταβλητής λαμβάνοντας υπόψη το πεδίο ορατότητας: για ιδιότητες self στο Objective-C χρησιμοποιήστε self->_property, για Swift — self.property. Η παράμετρος -w write ορίζει την παρακολούθηση εγγραφής, -w read — ανάγνωσης (λειτουργία διαθέσιμη μόνο σε ορισμένες αρχιτεκτονικές), -s size — το μέγεθος της περιοχής σε byte. Μετά την εγκατάσταση ενός watchpoint, η λίστα μπορεί να προβληθεί με την εντολή watchpoint list.

(lldb) watchpoint set variable -w write -s 8 self.balance
Watchpoint 1: addr = 0x600000c4b80 size = 8 state = enabled  type = w
    watchpoint spec: 'self.balance'
(lldb) watchpoint set expression -w write -- self->items._storage
Watchpoint 2: addr = 0x600003a4c00 size = 8
(lldb) watchpoint list
1: location = 0x600000c4b80, type = write, variable = '_balance'
2: location = 0x600003a4c00, type = write, expression = 'self->items._storage'

Watchpoints υπό όρους

Όπως και τα breakpoints, τα watchpoints υποστηρίζουν ενεργοποίηση υπό όρους. Η παράμετρος -c ορίζει μια συνθήκη σε Swift ή Objective-C. Για παράδειγμα, ένα watchpoint με συνθήκη newValue > 1000 θα σταματήσει μόνο όταν η εγγεγραμμένη τιμή υπερβαίνει το χίλια. Αυτό είναι κρίσιμο κατά τον εντοπισμό σφαλμάτων σε βρόχους ή αισθητήρες που παράγουν χιλιάδες αλλαγές ανά δευτερόλεπτο — διαφορετικά ο debugger θα σταματούσε σε κάθε αλλαγή, καθιστώντας την εργασία αδύνατη.

(lldb) watchpoint set variable -w write self.temperature -c "(int)$newValue > 100"
Watchpoint 3: addr = 0x600000e4a20, condition = '(int)$newValue > 100'
(lldb) watchpoint modify 3 -C "po self.temperature" -G true
// Αυτόματη καταγραφή τιμής και συνέχιση εκτέλεσης

Watchpoints για ιδιότητες αντικειμένων και συλλογών

Η ιδιαιτερότητα των watchpoints για ιδιότητες αντικειμένων Objective-C και Swift — το watchpoint εγκαθίσταται όχι στο όνομα της ιδιότητας, αλλά στη διεύθυνση του πεδίου ivar (μεταβλητή παρουσίας) στη μνήμη του αντικειμένου. Αυτό σημαίνει ότι σε κάθε νέα εκχώρηση αντικειμένου (για παράδειγμα, κατά την αναδημιουργία ενός ViewController), το watchpoint καθίσταται άκυρο επειδή η διεύθυνση μνήμης έχει αλλάξει. Για συνεχή παρατήρηση μιας ιδιότητας μέσω επανεκκινήσεων, το watchpoint πρέπει να επανεγκαθίσταται τη στιγμή της αρχικοποίησης του αντικειμένου.

Watchpoint σε στοιχεία συλλογών

Η παρατήρηση στοιχείων πινάκων και λεξικών απαιτεί τον υπολογισμό της διεύθυνσης του συγκεκριμένου στοιχείου. Για παράδειγμα, για να παρατηρήσετε το τρίτο στοιχείο ενός πίνακα, χρησιμοποιήστε watchpoint set expression -- &array[2]. Εάν ο πίνακας ανακατανείμει τον εσωτερικό του buffer (κατά την προσθήκη στοιχείων πέραν της χωρητικότητας), το watchpoint καθίσταται άκυρο — το LLDB αναφέρει σφάλμα Watchpoint 1 has an invalid address. Σε τέτοιες περιπτώσεις, το watchpoint πρέπει να επανεγκαθίσταται μετά την αλλαγή μεγέθους της συλλογής.

(lldb) expr var $arr = [10, 20, 30, 40, 50]
(lldb) watchpoint set expression -w write -- &$arr[2]
Watchpoint 4: addr = 0x1000a4b20, size = 8
(lldb) expr $arr[2] = 99
Watchpoint 4 hit: old value: 30, new value: 99

Παρακολούθηση retain count μέσω watchpoint

Στο Objective-C, μπορείτε να παρακολουθείτε το retain count ενός αντικειμένου εγκαθιστώντας ένα watchpoint στο πεδίο retainCount στη δομή objc_object. Το LLDB το εκτελεί μέσω watchpoint set expression -w write -- (int*)[object retainCount]. Ωστόσο, για αντικείμενα Swift με ARC (Automatic Reference Counting), το retain count δεν είναι άμεσα προσβάσιμο — αντί αυτού, χρησιμοποιήστε το Instruments ή το Memory Graph Debugger για ανάλυση διαρροών μνήμης. Σύμφωνα με την Apple, τα watchpoints στο retain count λειτουργούν μόνο σε εκδόσεις Debug με απενεργοποιημένη βελτιστοποίηση ARC.

Περιορισμοί και απόδοση watchpoints

Τα watchpoints έχουν μια σειρά περιορισμών που πρέπει να ληφθούν υπόψη. Ο κύριος — ο αριθμός των watchpoints υλικού περιορίζεται σε 4–8 καταχωρητές στην αρχιτεκτονική ARM και έως 4 σε x86. Όταν όλοι οι καταχωρητές υλικού είναι κατειλημμένοι, το LLDB μεταβαίνει σε λειτουργία watchpoint λογισμικού: τροποποιεί κάθε εντολή εγγραφής στο παρακολουθούμενο εύρος για να δημιουργήσει μια εξαίρεση. Αυτό επιβραδύνει την εκτέλεση 10–50 φορές, επομένως στην πράξη συνιστάται η χρήση όχι περισσότερων από 2–3 ενεργών watchpoints ταυτόχρονα.

Ο δεύτερος περιορισμός — ακύρωση των watchpoints κατά την ανακατανομή μνήμης. Κατά τη λειτουργία του συλλέκτη σκουπιδιών ή του ARC, όταν ένα αντικείμενο μετακινείται στη μνήμη (σε γλώσσες με συμπίεση σωρού), η διεύθυνση watchpoint καθίσταται λανθασμένη. Σε Swift και Objective-C, το ARC δεν μετακινεί αντικείμενα, αλλά η ανακατανομή πινάκων και συμβολοσειρών οδηγεί στο ίδιο αποτέλεσμα. Το LLDB προειδοποιεί σχετικά με το μήνυμα Watchpoint N address (0x...) doesn't contain a valid allocation.

Ο τρίτος περιορισμός — ορατότητα μεταβλητών. Ένα watchpoint σε μια τοπική μεταβλητή λειτουργεί μόνο όσο αυτή η μεταβλητή βρίσκεται στο πεδίο ορατότητας του τρέχοντος πλαισίου στοίβας. Μόλις ολοκληρωθεί η συνάρτηση, το watchpoint διαγράφεται αυτόματα. Για παρατήρηση καθολικών μεταβλητών ή πεδίων μακρόβιων αντικειμένων, το watchpoint διατηρείται μέχρι τη ρητή διαγραφή μέσω watchpoint delete ή μέχρι το τέλος της διεργασίας.

(lldb) watchpoint delete 1
1 watchpoints deleted.
(lldb) watchpoint delete               # Διαγραφή όλων των watchpoints
2 watchpoints deleted.
(lldb) watchpoint disable 1             # Προσωρινή απενεργοποίηση
(lldb) watchpoint enable 1              # Ενεργοποίηση ξανά

Σύμφωνα με την ARM, τα watchpoints στο Apple Silicon (M1–M4) υποστηρίζουν μέγεθος περιοχής παρακολούθησης από 1 έως 8 byte. Για παρατήρηση δομών μεγαλύτερων από 8 byte, απαιτείται εγκατάσταση πολλαπλών watchpoints σε κάθε πεδίο. Αυτό είναι σημαντικό κατά τον εντοπισμό σφαλμάτων σε σύνθετες δομές δεδομένων, όπως CGRect (16 byte) ή UIEdgeInsets (16 byte).