Using data-flow analysis for resilience and result checking in peer-to-peer computations

International Conference on Database and Expert Systems Applications - DEXA

Volumn 15, Issue , 2004, Pages 512-516

  Jafar, Samir ^a   Varrette, Sébastien ^a   Roch, Jean Louis ^a  

^a CNRS   (France)

Author keywords

Certificate of execution; Checkpoint Recovery; Fault Tolerant; Parallel Processing; Result Checking

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; COMPUTER PROGRAMMING; FAULT TOLERANT COMPUTER SYSTEMS; INTERFACES (COMPUTER); PARALLEL PROCESSING SYSTEMS;

CERTIFICATE OF EXECUTION; CHECKPOINT RECOVERY; FAULT TOLERANT; RESULT CHECKING;

DATA FLOW ANALYSIS;

EID: 10044265585     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/dexa.2004.1333526     Document Type: Conference Paper

References (17)

1. "The SETI@Home project," 1999. [Online]. Available: setiathome.ssl.berkeley.edu
2. M. Blum and H. Wasserman, "Software Reliability via Run-Time Result-Checking," J. ACM, vol. 44, no. 6, pp. 826-849, Novembre 1997.
3. R. Blumofe, C. Joerg, B. Kuszmaul, C. Leiserson, K. Randall, and Y. Zhou, "Cilk: An efficient multithreaded runtime system," in Proceedings of the 5th Symposium on Principles and Practice of Parallel Programming, 1995. [Online]. Available: citeseer.ist.psu.edu/blumofe95cilk.html
4. G. Bosilca, A. Bouteiller, F. Cappello, S. Djilali, G. Fédak, C. Germain, T. Hérault, P. Lemarinier, O. Lodygensky, F. Magniette, V. Néri, and A. Selikhov, "Mpich-v: Toward a scalable fault tolerant mpi for volatile nodes," in SuperComputing 2002, Baltimore, USA, 2002.
5. I. Foster, C. Kesselman, G. Tsudik, and S. Tuecke, "Security for Grid Services," in Twelfth Int. Symp. on High Performance Distributed Computing (HPDC-12), I. Press, Ed., Seattle, Washington, 22-24 Juin 2003.
6. C. Germain and N. Playez, "Result checking in global computing systems," in Proceedings of the 17th Annual ACM Int. Conf. on Supercomputing (ICS 03), ACM, Ed., San Francisco, California, 23-26 Juin 2003.
7. M. Litzkow, T. Tannenbaum, J. Basney, and M. Livny, "Checkpoint and migration of unix processes in the condor distributed processing system," Univ. Wisconsin, Madison, Tech. Rep. CS-TR-97-1346, 1997.
8. A. J. Menezes, P. C. van Oorschot, and S. A. Vanstone, Handbook of Applied Cryptography, C. Press, Ed. CRC Press, Inc, 1997.
9. D. Molnar, "The SETI@Home Problem," November 2000.
10. A. Nguyen-Tuong, A. S. Grimshaw, and M. Hyett, "Exploiting data-flow for fault-tolerance in a wide-area parallel system," in Proceedings 15 th Symposium on Reliable Distributed Systesm, 1996, pp. 2-11.
11. S. Rao, L. Alvisi, and H. M. Vin, "Egida: An extensible toolkit for low-overhead fault-tolerance," in Symposium on Fault-Tolerant Computing, 1999, pp. 48-55.
12. J. Reisinger and A. Steininger, "The design of a fail-silent processing node for the predictable hard real-time system mars," Distributed Systems Engineering Journal, pp. 104-111, Jan 1993.
13. J.-L. Roch, T. Gautier, and R. Revire, "Athapascan: Api for asynchronous parallel programming," www-id.imag.fr/software/athl, Projet APACHE, INRIA, Tech. Rep. RT-0276, Feb. 2003.
14. L. F. G. Sarmenta, " Sabotage-Tolerance Mechanisms for Volunteer Computing Systems," in ACM/IEEE Int. Symp. on Cluster Computing and the Grid (CCGrid'01), Brisbane, Australia, Mai 2001.
15. V. Strumpen, "Compiler technology for portable checkpoints," MIT Laboratory for Computer Science, Cambridge, Tech. Rep. MA-02139, 1998.
16. S. Varrette and J.-L. Roch, "Certification logicielle de calcul global avec dépendances sur grille," in 15èmes rencontres francophones du parallélisme (RenPar'15), M. Auguin, F. Baude, D. Lavenier, and M. Riveill, Eds., La-Colle-Sur-Loup, France, 15-17 Octobre 2003, pp. 169-176.
17. A. Wald, Sequential Analysis. Wiley Pub. in Math. Stat., 1966.