Event-Based Techniques to Debug an Object Request Broker
The Journal of Supercomputing
A Hybrid Fault-Tolerant Scheme Based on Checkpointing in MASs
ICOIN '02 Revised Papers from the International Conference on Information Networking, Wireless Communications Technologies and Network Applications-Part II
Compiler-generated staggered checkpointing
LCR '04 Proceedings of the 7th workshop on Workshop on languages, compilers, and run-time support for scalable systems
A Deterministic Interpreter Simulating A Distributed real time system using VDM
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Hi-index | 0.00 |
Distributed systems that span large geographic distances or interconnect large numbers of components are adequately modeled as asynchronous systems. Given the uncertainties in such systems that arise from communication delays and relative speeds of computations, reasoning about global states has to be carried out using local, and often, imperfect information. In this paper, we consider global predicate evaluation as a canonical problem in order to survey concepts and mechanisms that are useful in coping with uncertainty in distributed computation. We illustrate the utility of the developed techniques by examining distributed deadlock detection and distributed debugging as two instances of global predicate evaluation.