Neko: a single environment to simulate and prototype distributed algorithms

Designing, tuning, and analyzing the performance of distributed algorithms and protocols are complex tasks. A major factor that contributes to this complexity is the fact that there is no single environment to support all phases of the development of a distributed algorithm. This paper presents Neko, an easy to use Java platform that provides a uniform and extensible environment for the various phases of algorithm design and performance evaluation: prototyping, tuning, simulation, deployment, etc.

[1]  A. Schiper,et al.  Contention-aware metrics for distributed algorithms: comparison of atomic broadcast algorithms , 2000, Proceedings Ninth International Conference on Computer Communications and Networks (Cat.No.00EX440).

[2]  Sam Toueg,et al.  Unreliable failure detectors for reliable distributed systems , 1996, JACM.

[3]  Yechiam Yemini,et al.  NEST: a network simulation and prototyping testbed , 1990, CACM.

[4]  Rajiv Arora,et al.  Java server performance: A case study of building efficient, scalable Jvms , 2000, IBM Syst. J..

[5]  Robbert van Renesse,et al.  Building adaptive systems using ensemble , 1998 .

[6]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[7]  Adam Ferrari,et al.  JPVM: network parallel computing in Java , 1997, Concurr. Pract. Exp..

[8]  Luís E. T. Rodrigues,et al.  Appia, a flexible protocol kernel supporting multiple coordinated channels , 2001, Proceedings 21st International Conference on Distributed Computing Systems.

[9]  Robbert van Renesse,et al.  Building Adaptive Systems Using Ensemble , 1998, Softw. Pract. Exp..

[10]  Sam Toueg,et al.  Fault-tolerant broadcasts and related problems , 1993 .

[11]  André Schiper.  Early consensus in an asynchronous system with a weak failure detector , 1997, Distributed Computing.

[12]  Mitsuhisa Sato,et al.  PM: An Operating System Coordinated High Performance Communication Library , 1997, HPCN Europe.

[13]  William Gropp,et al.  Mpi - The Complete Reference: Volume 2, the Mpi Extensions , 1998 .

[14]  Péter Urbán,et al.  Chasing the FLP impossibility result in a LAN: or, How robust can a fault tolerant server be? , 2001, Proceedings 20th IEEE Symposium on Reliable Distributed Systems.

[15]  Larry L. Peterson,et al.  The x-Kernel: An Architecture for Implementing Network Protocols , 1991, IEEE Trans. Software Eng..

[16]  William Gropp,et al.  Mpi---the complete reference: volume 1 , 1998 .

[17]  Geoffrey C. Fox,et al.  MPIJAVA: An Object-Oriented JAVA Interface to MPI , 1999, IPPS/SPDP Workshops.

[18]  Vaidy S. Sunderam,et al.  Tools for Monitoring, Debugging, and Programming in PVM , 1996, PVM.

[19]  Nicoleta Sergent.  Soft real-time analysis of asynchronous agreement algorithms using Petri nets , 1998 .

[20]  Matti A. Hiltunen,et al.  Coyote: a system for constructing fine-grain configurable communication services , 1998, TOCS.

[21]  Mark Garland Hayden,et al.  The Ensemble System , 1998 .

[22]  William Gropp,et al.  Mpi the complete reference: the mpi-2 extensions , 1998 .

[23]  Jack Dongarra,et al.  MPI: The Complete Reference , 1996 .

[24]  Jack Dongarra,et al.  MPI - The Complete Reference: Volume 1, The MPI Core , 1998 .

[25]  Vaidy S. Sunderam,et al.  PVM: A Framework for Parallel Distributed Computing , 1990, Concurr. Pract. Exp..

[26]  William Gropp,et al.  MPI: The Complete Reference , Vol. 2 - The MPI-2 Extensions , 1998 .

[27]  Kivanç Dinçer,et al.  A ubiquitous message passing interface implementation in Java:jmpi , 1999, Proceedings 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing. IPPS/SPDP 1999.

[28]  Xavier Defago,et al.  AGREEMENT-RELATED PROBLEMS: FROM SEMI-PASSIVE REPLICATION TO TOTALLY ORDERED BROADCAST , 2000 .

[29]  Nancy A. Lynch,et al.  Impossibility of distributed consensus with one faulty process , 1983, PODS '83.

[30]  Seif Haridi,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[31]  Gérard Le Lann,et al.  A protocol and correctness proofs for real-time high-performance broadcast networks , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).