Holistic debugging -enabling instruction set simulation for software quality assurance

Proceedings - IEEE Computer Society's Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, MASCOTS

Volumn , Issue , 2006, Pages 96-103

  Albertsson, Lars ^a  

^a SWEDISH INSTITUTE OF COMPUTER SCIENCE   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTION TRANSLATION; DISTRIBUTED APPLICATIONS; DISTRIBUTED SOFTWARE; DISTRIBUTED SYSTEMS; INSTRUCTION SET SIMULATIONS; INSTRUCTION SET SIMULATORS; ROBUST OBSERVATION; SOFTWARE QUALITY ASSURANCE;

ABSTRACTING; COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; DIGITAL STORAGE; INTERFACE STATES; PROGRAM COMPILERS; QUALITY ASSURANCE; TELECOMMUNICATION SYSTEMS; TOOLS;

PROGRAM DEBUGGING;

EID: 84859971761     PISSN: 15267539     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)

1. M. K. Aguilera, J. C. Mogul, J. L. Wiener, P. Reynolds, and A. Muthitacharoen. Performance debugging for distributed systems of black boxes. In SOSP, pages 74-89, 2003.
2. A. Alameldeen, C. Mauer, M. Xu, P. Harper, M. Martin, D. Sorin, M. Hill, and D. Wood. Evaluating nondeterministic multi-threaded commercial workloads. In 5th Workshop on Computer Architecture Evaluation using Commercial Workloads, 2002.
3. L. Albertsson. Temporal debugging and profiling of multimedia applications. InMultimedia Computing and Networking 2002, Proceedings of SPIE, pages 196-207, Jan. 2002.
4. P. T. Barham, A. Donnelly, R. Isaacs, and R. Mortier. Using Magpie for request extraction and workload modelling. In OSDI, pages 259-272, 2004.
5. P. C. Bates. Debugging heterogeneous distributed systems using event-based models of behavior. ACM Trans. Comput. Syst., 13(1):1-31, 1995.
6. M. Chen, E. Kiciman, A. Accardi, A. Fox, and E. Brewer. Using runtime paths for macro analysis, 2003.
7. J. K. Doyle and K. I. Mandelberg. A portable PDP-11 simulator. Software Practice and Experience, 14(11):1047-1059, Nov. 1984.
8. B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, I. Pratt, A.Warfield, P. Barham, and R. Neugebauer. Xen and the art of virtualization. In Proceedings of the ACM Symposium on Operating Systems Principles, October 2003.
9. M. Ekman. Strategies to Reduce Energy and Resources in Chip Multiprocessor Systems. PhD thesis, Chalmers University of Technology, Dec. 2004.
10. J. Gait. A debugger for concurrent programs. Software Practice and Experience, 15(6):539-554, June 1985.
11. J. Gibson, R. Kunz, D. Ofelt, M. Horowitz, and J. Hennessy. FLASH vs. (simulated) FLASH: Closing the simulation loop. In Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 49-58. ACM, Nov. 2000.
12. M. Golan and D. R. Hanson. DUEL - A very high-level debugging language. In USENIX Winter, pages 107-118, 1993.
13. S. A. Herrod. Using Complete Machine Simulation to Understand Computer System Behavior. PhD thesis, Stanford University, Feb. 1998.
14. A. Ho. Personal communication, 2005.
15. A. Ho, S. Hand, and T. Harris. PDB: Pervasive debugging with Xen. In Proceedings of the 5th IEEE/ACM International Workshop on Grid Computing (Grid 2004), Nov. 2004.
16. J. Huselius. Debugging Parallel Systems: A State of the Art Report. Technical Report 63, Mälardalen University, Department of Computer Science and Engineering, September 2002.
17. T. C. Jones. Estimating software costs. McGraw-Hill, Inc., Hightstown, NJ, USA, 1998.
18. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558-565, 1978.
19. T. J. LeBlanc and J. M. Mellor-Crummey. Debugging parallel programs with instant replay. IEEE Transactions on Computers, C-36(4):471-482, Apr. 1987.
20. P. S. Magnusson, M. Christensson, J. Eskilson, D. Forsgren, G. Hållberg, J. Högberg, F. Larsson, A. Moestedt, and B.Werner. Simics: A full system simulation platform. IEEE Computer, Feb. 2000.
21. C. E. McDowell and D. P. Helmbold. Debugging concurrent programs. ACM Computing Surveys, 21(4):593-622, Dec. 1989.
22. M. Rosenblum, E. Bugnion, S. Devine, and S. A. Herrod. Using the SimOS machine simulator to study complex computer systems. ACM Transactions on Modeling and Computer Simulation, 7(1):78-103, Jan. 1997.
23. M. Rosenblum, S. A. Herrod, E. Witchel, and A. Gupta. Complete computer system simulation: The SimOS approach. IEEE parallel and distributed technology: systems and applications, 3(4):34-43, Winter 1995.
24. W. Schutz. The Testability of Distributed Real-Time Systems. Kluwer Academic Publishers, Norwell, MA, USA, 1993.
25. H. Thane. Monitoring, Testing and Debugging of Distributed Real-Time Systems. PhD thesis, Royal Institute of Technology (KTH), May 2000.