Cet Activator teste l'existence d'un chier particulier Si ce chier existe, alors le worker peut exécuter son job ; dans le cas contraire, il ne le peut pas. Nous avons ensuite créé deux nouvelles primitives d'injection de fautes pour FAIL-FCI qui permettent la création de ce chier particulier (xtremweb_activate()) et la suppression de celui-ci (xtremweb_desactivate()). Ces primitives sont stockées dans une nouvelle bibliothèque FAIL-FCI. En utilisant ce mécanisme ,
une mémoire vive d'une capacité de 2 Gb, et étaient connectées grâce à un réseau Ethernet Gigabit ,
Goo : Generic object-oriented fault injection tool, Proc. International Conference on Dependable Systems and Networks, 2001. ,
Techniques for automatic verication of real-time systems, 1992. ,
Automata for modeling real-time systems, ICALP '90 : Proceedings of the 17th International Colloquium on Automata, Languages and Programming, p.322335, 1990. ,
DOI : 10.1007/BFb0032042
A theory of timed automata, Theor. Comput. Sci, vol.126, issue.2, p.183235, 1994. ,
Centralized failure injection for distributed , fault-tolerant protocol testing, International Conference on Distributed Computing Systems, p.0, 1997. ,
Boinc : A system for public-resource computing and storage, GRID '04 : Proceedings of the Fifth IEEE/ACM International Workshop on Grid Computing, p.410, 2004. ,
A note on reliable full-duplex transmission over half-duplex links, Communications of the ACM, vol.12, issue.5, p.260261, 1969. ,
DOI : 10.1145/362946.362970
Modèles stochastiques pour les pertes de messages dans les protocoles asynchrones et techniques de vérication automatique, Thèse de doctorat, 2006. ,
MPICH-V2, Proceedings of the 2003 ACM/IEEE conference on Supercomputing, SC '03, 2003. ,
DOI : 10.1145/1048935.1050176
Modèles et algorithmes pour la vérication des systèmes temporisés ,
On communicating nite-state machines, J. ACM, vol.30, issue.2, p.323342, 1983. ,
An introduction to Estelle: A specification language for distributed systems, Computer Networks and ISDN Systems, vol.14, issue.1, p.323, 1987. ,
DOI : 10.1016/0169-7552(87)90084-5
Computing on large-scale distributed systems: XtremWeb architecture, programming models, security, tests and convergence with grid, Future Generation Computer Systems, vol.21, issue.3, p.417437, 2005. ,
DOI : 10.1016/j.future.2004.04.011
URL : https://hal.archives-ouvertes.fr/in2p3-00163490
Xception : Software fault injection and monitoring, Processor Functional Units Pre-prints 5th Int. Working Conf. on Dependable Computing for Critical Applications (DCCA-5), p.3549, 1995. ,
Security for structured peer-to-peer overlay networks, Proceedings of the Fifth Symposium on Operating Systems Design and Implementation (OSDI'02), 2002. ,
Exploiting network proximity in peer-to-peer overlay networks, 2002. ,
Loki: a state-driven fault injector for distributed systems, Proceeding International Conference on Dependable Systems and Networks. DSN 2000, 2000. ,
DOI : 10.1109/ICDSN.2000.857544
Dynamic node management and measure estimation in a state-driven fault injector, Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000, p.248257, 2000. ,
DOI : 10.1109/RELDI.2000.885412
Distributed snapshots: determining global states of distributed systems, ACM Transactions on Computer Systems, vol.3, issue.1, p.6375, 1985. ,
DOI : 10.1145/214451.214456
Fault injection based on a partial view of the global state of a distributed system, p.168, 1999. ,
Innite words, 2001. ,
Orchestra : A fault injection environment for distributed systems, 26th International Symposium on Fault-Tolerant Computing (FTCS), p.404414, 1996. ,
Deterministic fault injection of distributed systems, Dagstuhl Seminar on Distributed Systems, p.178196, 1994. ,
DOI : 10.1007/3-540-60042-6_13
Probing and fault injection of protocol implementations, Proceedings of 15th International Conference on Distributed Computing Systems, p.351359, 1995. ,
DOI : 10.1109/ICDCS.1995.500039
A software fault injection tool on real-time Mach, Proceedings 16th IEEE Real-Time Systems Symposium, p.130140, 1995. ,
DOI : 10.1109/REAL.1995.495203
Testing of faulttolerant and real-time distributed systems via protocol fault injektion, Symposium on Fault-Tolerant Computing, p.404414, 1996. ,
FT-MPI: Fault Tolerant MPI, Supporting Dynamic Applications in a Dynamic World, 7th Euro PVM/MPI User's Group Meeting2000, 1908. ,
DOI : 10.1007/3-540-45255-9_47
XtremWeb: a generic global computing system, Proceedings First IEEE/ACM International Symposium on Cluster Computing and the Grid, 2001. ,
DOI : 10.1109/CCGRID.2001.923246
Highperformance , portable implementation of the MPI message passing interface sta ndard, Parallel Computing, vol.22, issue.6, p.789828, 1996. ,
Doctor : An integrated software fault injection environment for distributed real-time systems, Int. Computer Performance and Dependability Symp. (IPDS'95), pp.204-217, 1995. ,
Loki an empirical evaluation tool for distributed systems : The experiment analysis framework, 1998. ,
The MPICH-V project http ,
Sébastien Tixeuil, and Franck Cappello. Fail-mpi : How fault-tolerant is fault-tolerant mpi ?, Proceedings of Cluster 2006, 2006. ,
Integrated research in grid computing , chapter fault-injection and dependability benchmarking for grid computing middleware. CoreGRID, 2006. ,
A language-driven tool for fault injection in distributed applications, Proceedings of the IEEE, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00684889
Easy fault injection and stress testing with fail-fci, Second CoreGRID Workshop on Grid and Peer to Peer Systems Architecture, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00699867
Integrated research in grid computing ,
Fault injection in distributed Java applications, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium, p.page to appear, 2006. ,
DOI : 10.1109/IPDPS.2006.1639507
Fail-fci : Versatile faultinjection, Future Generation Computer Systems, 2007. ,
A Unied Peer-to-Peer Database Framework for XQueries over Dynamic Distributed Content and its Application for Scalable Service Discovery ,
The design and implementation of berkeley lab's linux checkpoint/restart, 2003. ,
Fault injection into VHDL models: the MEFISTO tool, Proceedings of IEEE 24th International Symposium on Fault- Tolerant Computing, p.6675, 1994. ,
DOI : 10.1109/FTCS.1994.315656
Characterizing and evaluating desktop grids: an empirical study, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings., 2004. ,
DOI : 10.1109/IPDPS.2004.1302936
On Resource Volatility in Enterprise Desktop Grids, 2006 Second IEEE International Conference on e-Science and Grid Computing (e-Science'06), p.78, 2006. ,
DOI : 10.1109/E-SCIENCE.2006.261162
Improved message logging versus improved coordinated checkpointing for fault tolerant MPI, 2004 IEEE International Conference on Cluster Computing (IEEE Cat. No.04EX935), 2004. ,
DOI : 10.1109/CLUSTR.2004.1392609
Checkpoint and migration of UNIX processes in the condor distributed processing sy stem, 1997. ,
The Mantis parallel debugger, Proceedings of the SIGMETRICS symposium on Parallel and distributed tools , SPDT '96, p.118 ,
DOI : 10.1145/238020.238056
Injection of faults in complex computers, IEEE Workshop on Evaluation Techniques for Dependable Systems, 1995. ,
Kademlia: A Peer-to-Peer Information System Based on the XOR Metric, Proceedings of IPTPS02, 2002. ,
DOI : 10.1007/3-540-45748-8_5
Modeling Machine Availability in Enterprise and Wide-Area Distributed Computing Environments ,
DOI : 10.1007/11549468_50
Xtremlab : une plateforme pour l'observation et la caracterisation des grilles de pc sur internet, 2006. ,
Protocol description and analysis based on a state transition model with channel expressions The Netherlands, The Netherlands, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specication, Testing and Verication VII, p.207219, 1987. ,
Lokian empirical evaluation tool for distributed systems : The run-time experiment framework, 1998. ,
A scalable content-addressable network, SIGCOMM '01 : Proceedings of the 2001 conference on Applications, technologies, architectures, and protocols for computer communications, p.161172, 2001. ,
Pastry: Scalable, Decentralized Object Location, and Routing for Large-Scale Peer-to-Peer Systems, Lecture Notes in Computer Science, p.329, 2001. ,
DOI : 10.1007/3-540-45518-3_18
Handbook of Formal Languages, 1997. ,
The Lam/Mpi Checkpoint/Restart Framework: System-Initiated Checkpointing, Proceedings, LACSI Symposium, 2003. ,
DOI : 10.1177/1094342005056139
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.110.9068
Reactor : An object behavioral pattern for concurrent event demultiplexing and event handler dispatching, Proceedings of the 1st Pattern Languages of Programs Conference, 1994. ,
C++ Network Programming : Mastering Complexity Using ACE and Patterns, 2002. ,
C++ Network Programming : Systematic Reuse with ACE and Frameworks, 2003. ,
Screen savers of the world unite ! In Sciences, 2000. ,
Fault-injector using unix ptrace interface, 1993. ,
Software aging and rejuvenation in a soap-based server, NCA '06 : Proceedings of the Fifth IEEE International Symposium on Network Computing and Applications, p.5665, 2006. ,
MPI : The Complete Reference, 1996. ,
Chord : A scalable Peer-To-Peer lookup service for internet applications, Proceedings of the 2001 ACM SIGCOMM Conference, p.149160, 2001. ,
NFTAPE: a framework for assessing dependability in distributed systems with lightweight fault injectors, Proceedings IEEE International Computer Performance and Dependability Symposium. IPDS 2000, p.91100, 2000. ,
DOI : 10.1109/IPDS.2000.839467
Abstract, IAU Colloq. 161 : Astronomical and Biochemical Origins and the Search for Life in the Universe, p.729, 1997. ,
DOI : 10.1016/0019-1035(84)90172-6
Swier : Software implemented control ow error injection, 1996. ,
An Analysis of Availability Distributions in Condor, 2007 IEEE International Parallel and Distributed Processing Symposium, 2007. ,
DOI : 10.1109/IPDPS.2007.370523
Models and modeling infrastructures for global computational platforms, ipdps, 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05, p.224, 2005. ,
DOI : 10.1109/ipdps.2005.294
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.357.6392
Tapestry: A Resilient Global-Scale Overlay for Service Deployment, IEEE Journal on Selected Areas in Communications, 2003. ,
DOI : 10.1109/JSAC.2003.818784
retour chariot et tabulation sont considérés comme blancs. Ils servent uniquement à séparer les diérents mots. Ils n'ont aucun impact sur la grammaire dans FAIL et peuvent donc être insérés un nombre quelconque de fois entre n'importe quels mots ,
On peut aussi mettre une ligne du code en commentaire grâce aux signes, Le commentaire débute alors aux signes // et se termine à la n de la ligne (délimitée par un caractère retour chariot). Les commentaires dans FAIL peuvent être imbriqués ,
Les identicateurs sont constitués d'une suite non vide de caractères dont le premier est un alphabétique (masjuscule ou minuscule) et dont tous les autres sont alphanumériques ou '_'. Leur longueur est arbitraire ,