WiDS: An integrated toolkit for distributed system development

Proceedings of HotOS 2005 - 10th Workshop on Hot Topics in Operating Systems

Volumn , Issue , 2005, Pages

  Lin, Shiding ^a   Pan, Aimin ^a   Zhang, Zheng ^a   Guo, Rui ^b   Guo, Zhenyu ^c  

^a MICROSOFT RESEARCH ASIA   (China)

^b BEIHANG UNIVERSITY   (China)

^c TSINGHUA UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED DATABASE SYSTEMS; PROGRAM DEBUGGING;

BACKUP SERVICE; DEVELOPMENT AND TESTING; DISTRIBUTED PROTOCOLS; DISTRIBUTED SIMULATIONS; DISTRIBUTED SYSTEMS; INTEGRATED TOOLKIT; LARGE-SCALES;

DISTRIBUTED COMPUTER SYSTEMS;

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

References (18)

1. P. Druschel and A. Rowstron, “PAST: A large-scale, persistent peer-to-peer storage utility”, in Proc. HotOS VIII, Schloss Elmau, Germany, May 2001
2. John Kubiatowicz, David Bindel etc., “OceanStore: An Architecture for Global-Scale Persistent Storage”, in Proceedings of the Ninth international Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2000), November 2000
3. A. Muthitacharoen, R. Morris, T. Gil, and B. Chen, “Ivy: A Read/Write Peer-to-peer File System”, in OSDI, December 2002
4. Zheng Zhang, Qiao Lian, Shiding Lin, Wei Chen, Yu Chen, Chao Jin, “BitVault: a Highly Reliable Distributed Data Retention Platform”, under submission
5. Microsoft TechNet, “Introduction to Windows Peer-to-Peer Networking”, http://www.microsoft.com/technet/prodtechnol/winxppro/deploy/p2pintro.mspx
6. Shiding Lin, Aimin Pan, Rui Guo, Zheng Zhang, “Simulating Large-Scale P2P Systems with the WiDS Toolkit”, to appear in 13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication (MASCOTS 2005)
7. C. Simonyi. “The Death of Computer Languages, The Birth of Intentional Programming”, Technical Report MSR-TR-95-52, Microsoft Research, 1995
8. Leslie Lamport, “Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers”. Addision-Wesley (2002).
9. Unified Modeling Language 1.5, OMG, http://www.omg.org/technology/documents/formal/uml. htm
10. Rob von Behren, Jeremy Condit, Feng Zhou, George C. Necula, and Eric Brewer, “Capriccio: Scalable Threads for Internet Services”, In Proc. of the 19th ACM Symposium on Operating Systems Principles (SOSP), 2003.
11. Joel Huselius. “Debugging parallel systems: A state of the art report”. Technical Report 63, Mlardalen University, Department of Computer Science and Engineering, September 2002
12. Michael Jones and John Dunagan, “Engineering Realities of Building a Working Peer-to-Peer System”, MSR Technical Report MSR-TR-2004-54. June 2004.
13. P. Urban, X. Defago, and A. Schiper, “Neko: A single environment to simulate and prototype distributed algorithms”, in Proc. of the 15th Int'l Conf. on Information Networking (ICOIN-15), (Beppu City, Japan), Feb. 2001.
14. A. Rodriguez, C. Killian, S. Bhat, D. Kostic, and A. Vahdat, “MACEDON: Methodology for Automatically Creating, Evaluating, and Designing Overlay Networks”, in Proc. of the USENIX/ACM Symposium on Networked Systems Design and Implementation (NSDI), 2004.
15. A. Ferscha, and S.K. Tripathi, “Parallel and distributed simulation of discrete event systems”. Technical report, University of Maryland, August 1994.
16. Amin Vahdat, Ken Yocum, Kevin Walsh, etc., “Scalability and Accuracy in a Large-Scale Network Emulator”, in OSDI, December 2002
17. Emulab project, the Utah network testbed (Web site). http://www.emulab.net/.
18. E. N. M. Elnozahy, L. Alvisi, Y. Wang, and D. B. Johnson, “A survey of rollback-recovery protocols in message-passing systems”, ACM Computing Surveys (CSUR), 34(3):375-408, 2002