Next: Τμήμα Οπτικοποίησης των Ιχνών
Up: Τμήμα Ανάλυσης των Ιχνών
Previous: Τμήμα Μεταβλήτών
Κατά τη διαδικασία συγκερασμού των ακολουθιών καταστάσεων
γίνεται επιλογή της διεργασίας που βρίσκεται στην κατάσταση με τη
μικρότερη χρονοσφραγίδα ώστε η συνολική ακολουθία που παράγεται να ειναι
σε αύξουσα χρονική σειρά. Από τη διαδικασία της επιλογής εξαιρούνται
οι διεργασίες που βρίσκονται σε κάποια από τις καταστάσεις αναμονής.
Αφού γίνει η επιλογή με τη χρήση του φίλτρου παράγεται ένα
γεγονός σε PICL μορφή.
Η ακριβής μορφή των γεγονότων PICL που παράγονται φαίνεται στον
πίνακα
.
Αρα με βάση την τρέχουσα κατάσταση τα PICL γεγονότα που
προκύπτουν είναι:
- Κατάσταση Load :
Το γεγονός αυτό δηλώνει ότι τη χρονική στιγμή timestamp η
διεργασία node έκανε num συνεχόμενες αναγνώσεις από τη μνήμη.
- Κατάσταση Store : Παράγεται ένα γεγονός της μορφής
Το γεγονός αυτό δηλώνει ότι τη χρονική στιγμή timestamp η
διεργασία node έκανε num συνεχόμενες εγγραφές στη μνήμη.
- Κατάσταση Subr : Παράγεται ένα γεγονός της μορφής
Το γεγονός αυτό δηλώνει ότι τη χρονική στιγμή timestamp η
διεργασία node δαπάνησε χρόνο time για την εκτέλεση κάποιας
υπορουτίνας.
- Κατάσταση Loop :
Παράγονται δύο γεγονότα.
Το πρώτο γεγονός δηλώνει ότι τη χρονική στιγμή timestamp η
διεργασία node εκτέλεσε time-1 πετυχημένες διακλαδώσεις.
Το δεύτερο γεγονός δηλώνει ότι τη χρονική στιγμή timestamp η
διεργασία node εκτέλεσε 1 αποτυχημένη διακλάδωση.
- Κατάσταση JoinGroup :
Το γεγονός αυτό δηλώνει ότι τη χρονική στιγμή timestamp η
διεργασία node εντάχθηκε στην ομάδα group_num
- Κατάσταση LeaveGroup :
Το γεγονός αυτό δηλώνει ότι τη χρονική στιγμή timestamp η
διεργασία node αποχώρησε από την ομάδα group_num
- Κατάσταση BarrierBlocked :
Το γεγονός αυτό δηλώνει ότι τη χρονική στιγμή
timestamp η διεργασία node έφτασε στο
σημείο συγχρονισμού.
- Κατάσταση BarrierWake :
Το πρώτο γεγονός δηλώνει ότι τη χρονική στιγμή timestamp οι
διεργασίες που ανήκουν στην ομάδα group_num έφτασαν σε
σημείο συγχρονισμού.
Το δεύτερο γεγονός δηλώνει ότι τη χρονική στιγμή timestamp οι
διεργασίες που ανήκουν στην ομάδα group_num έφτασαν σε
σημείο συγχρονισμού μετά την πάροδο χρόνου time.
- Κατάσταση Send :
Το πρώτο γεγονός δηλώνει ότι τη χρονική στιγμή timestamp
η διεργασία source κάλεσε μια ρουτίνα αποστολής μηνύματος στη
διεργασία dest.
Το δεύτερο γεγονός δηλώνει ότι τη χρονική στιγμή timestamp έφτασε
σε πέρας η διαδικασία αποστολής του μηνύματος.
- Κατάσταση RecvBlocked :
Το γεγονός αυτό δηλώνει ότι τη χρονική στιγμή timestamp
η διεργασία source καλεί μια ρουτίνα παραλαβής μηνύματος.
- Κατάσταση RecvWake :
Το πρώτο γεγονός δηλώνει ότι τη χρονική στιγμή timestamp
η διεργασία source παραλαμβάνει ένα μήνυμα από την διεργασία
dest.
Το δεύτερο γεγονός δηλώνει ότι η διαδικασία παραλαβής διήρκεσε
χρόνο time.
Table: Αντιστοίχιση Καταστάσεων Ανάλυσης σε PICL Γεγονότα.
zaras@ics.forth.gr