Debugging heterogeneous distributed systems using event-based models of behavior
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Modeling concurrency in parallel debugging
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
A bibliography of parallel debuggers, 1990 edition
ACM SIGPLAN Notices
Debugging heterogeneous distributed systems using event-based models of behavior
ACM Transactions on Computer Systems (TOCS)
| Hi-index | 0.00 |
`EVENT BASED BEHAVIOR ABSTRACTION'' IS A PARADIGM FOR DEBUGGING DISTRI- BUTED SYSTEMS WHICH FOCUSES ATTENTION ON COMPARING PATTERNS OF EXPECTED AND ACTUAL SYSTEM BEHAVIOR PATTERNS. RECOGNIZING PATTERNS OF BEHAVIOR IN COMPLEX DISTRIBUTED SYSTEMS FOR THE PURPOSES OF DEBUGGING IS A HARD TASK. THE `SHUFFLE AUTOMATA'' MODEL DESCRIBES A FORMALISM FOR RECOGNIZING BEHAV- IORS IN DISTRIBUTED SYSTEMS. THE `SIMPLE SHUFFLE AUTOMATA'' DEFINES THE BASIC OPERATIONAL CHARACTERISTICS OF SHUFFLE AUTOMATA MODEL. HOWEVER, SIMPLE SHUFFLE AUTOMATA ARE NOT CAPABLE OF SATISFYING ALL THE NEEDS OF AN EVENT BASED BEHAVIOR RECOGNIZER, SO MORE CAPABLE MEMBERS OF THE SHUFFLE AUTOMATA FAMILY ARE DEFINED. A COLLECTION OF SIMPLE SHUFFLE AUTOMATA FORMED AS A `BASIC SHUFFLE SYSTEM'' AND AUGMENTED WITH CONSTRAINTS BASED ON DYNAMIC PROPERTIES OF EVENT MODELS AS A `CONSTRAINED SHUFFLE SYSTEM'' WILL REPRESENT ALL EVENT MODELS DESCRIBED WITHIN THE EVENT BASED MODELLING SCHEME. THIS PAPER DEVELOPS THE SHUFFLE AUTOMATA FAMILY AND TIES IT TO EVENT BASED BEHAVIOR MODELLING.