next up previous
Next: Τμήμα Οπτικοποίησης των Ιχνών Up: Τμήμα Ανάλυσης των Ιχνών Previous: Τμήμα Μεταβλήτών

Φίλτρο Παραγωγής Γεγονότων σε μορφή PICL

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

   table893
Table: Αντιστοίχιση Καταστάσεων Ανάλυσης σε PICL Γεγονότα.



zaras@ics.forth.gr