Dependable software needs pervasive debugging

摘要: Nobody would claim that debugging computer software is easy: all too often it proceeds by trial-and-error experiments in which programmers examine the behaviour of system and form hypotheses could explain what they see. These problems are exacerbated when developing distributed, peer-to-peer or multi-processor applications, unreliable network links part under test. Environments for pervasive computing take this to an extreme, allowing user-supplied code run migrate within around network.In paper we show how perform debugging, enabling complex multi-process applications be debugged controlled as single entities their robustness changes performance evaluated. We do virtualizing resources used system, threads involves uses modelled a controllable process.