Το τμήμα ανάλυσης των ιχνών είναι το τρίτο κατά σειρά δομικό
κομμάτι του ArrayTracer [10]. Αυτό με τη σειρά
του αποτελείται από
τα επιμέρους τμήματα που απεικονίζονται στο σχήμα .
Στο κομμάτι αυτό της διαδικασίας ανάλυσης υλοποιείται η ανάγνωση των ιχνών από τα αρχεία που προέκυψαν κατά την εκτέλεση της εφαρμογής. Τα αρχεία είναι δυνατόν να έχουν παραχθεί από διεργασίες που εκτελέσθηκαν σε διαφορετικές αρχιτεκτονικές [16]. Επιπλέον στο τμήμα αυτό γίνονται και ορισμένες αρχικοποιήσεις στη διαδικασία της ανάλυσης.
Στα πιο πάνω κομμάτια της υλοποίησης πραγματοποιείται η κυρίως διαδικασία ανάλυσης που περιλαμβάνει :
Οι καταστάσεις μπορεί να σχετίζονται, με ίχνη που αφορούν την ενδοδιεργασιακή επικοινωνία, με ίχνη που αφορούν κλήσεις υπορουτινών, συναρτήσεων, εκτέλεση βρόγχων επανάληψης, με ίχνη που αφορούν τις προσπελάσεις που γίνονται στη μνήμη.
Μέχρι αυτό το στάδιο ανάλυσης δημιουργούνται ακολουθίες γεγονότων για κάθε μία από τις διεργασίες που αποτελούν την υπο μελέτη εφαρμογή. Στο κομμάτι αυτό της διαδικασίας ανάλυσης υλοποιείται ο συγκερασμός των επιμέρους ακολουθιών γεγονότων που προέκυψαν για κάθε μία διεργασία από τα τρία προηγούμενα στάδια ανάλυσης, σε μία ακολουθία γεγονότων. Το κριτήριο είναι η ταξινόμηση με αύξουσα σειρά των λογικών χρονοσφραγίδων που δημιουργήθηκαν στα προηγούμενα στάδια ανάλυσης.
Το φίλτρο αυτό παράγει γεγονότα σε συγκεκριμένη μορφή (PICL Format) και τα αποστέλει στο τμήμα οπτικοποίησης. Αυτό είναι μια επέκταση του Paragraph, ενός ευρέως χρησιμοποιούμενου εργαλείου οπτικοποίησης.
Figure: Βασικά δομικά στοιχεία της διαδικασίας ανάλυσης ιχνών