Testing and debugging message passing applications based on the synergy of program and specification executions

Abstract

We outline Ensemble, a

(Behavioural) Design Patterns as Composition Operators

“…Rather, composition occurs via embedding. In [31] Template Coloured Petri nets (TP-nets) are defined for specifying the behaviour of components. Components are processes in a message passing environment such as MPI [22].…”

Building Grid MPI applications from modular components

“…We are developing lightweight formal methods used in synergy with program execution to test module compatibility and debug application composition [14].…”

Μέθοδοι Και Τεχνικές Για Την Ανάπτυξη Παράλληλων Και Κατανεμημένων Εφαρμογών

“…Οι οδηγίες σύνθεσης που κατευθύνουν τη σύνθεση των εφαρµογών, κατευθύνουν επίσης τη σύνθεση των τυπικών προδιαγραφών. Στην εργασία µας προτείνουµε µια άλλη εναλλακτική, την "ενοποίηση θέσεων" (place unification) ή συγχώνευση όλων των θέσεων που αναπαριστούν θύρες επικοινωνίας σε µια "ολική" θέση, η οποία ονοµάζεται "περιβάλλον", καθώς αναπαριστά όλα τα κανάλια επικοινωνίας που εγκαθιδρύονται από την εφαρµογή [31,118,119]. Στην περίπτωση αυτή, η διαφοροποίηση των καναλιών γίνεται από τα ίδια τα µηνύµατα µέσω πληροφορίας που εµπεριέχεται σε αυτά (στα στοιχεία), τεχνική που προσεγγίζει το χώρο πλειάδων (tuple space) που χρησιµοποιείται στη Linda και τις γλώσσες συντονισµού (coordination languages) [51].…”

“…Η πρώτη είναι η συγχώνευση θέσεων που αναπαριστούν θύρες επικοινωνίας ανά δύο (οι οποίες -η μια εισόδου και άλλη εξόδου-ορίζουν ένα κανάλι επικοινωνίας)[30,32], κάτι που αντιστοιχεί στη μορφή επικοινωνίας που ονομάζεται "επικοινωνία σημείο προς σημείο" και είναι ουσιαστικά όμοια με την τεχνική που ακολουθείται από όλες τις γνωστές προσεγγίσεις . Η δεύτερη εναλλακτική είναι η συγχώνευση όλων των θέσεων που αναπαριστούν θύρες επικοινωνίας σε μια "ολική" θέση, η οποία μπορεί να ονομαστεί "περιβάλλον", καθώς αναπαριστά όλα τα κανάλια επικοινωνίας που εγκαθιδρύονται από την εφαρμογή[31,118,119]. Στην περίπτωση αυτή, η διαφοροποίηση των καναλιών γίνεται από τα ίδια τα μηνύματα μέσω πληροφορίας που εμπεριέχεται σε αυτά (στα στοιχεία -tokens), κάτι που μοιάζει με το χώρο πλειάδων (tuple space) που χρησιμοποιείται στη Linda και τις γλώσσες συντονισμού (coordination languages)[51].…”