Computational Science of Computer Systems
Identifieur interne : 001281 ( Main/Exploration ); précédent : 001280; suivant : 001282Computational Science of Computer Systems
Auteurs : Martin Quinson [France]Source :
Descripteurs français
- mix :
- Wicri :
- topic : Simulation.
English descriptors
Abstract
Despite their major impact on our modern societies, large scale distributed systems remain extremely challenging to study and assess as they aggregate million of heterogeneous elements in complex hierarchies. These artifacts, among the most complex ever built, pose a novel methodological challenge: the reductionist approach, that explains the system from a theoretical perspective through the interactions of its components, turn out to be inefficient to tackle the complexity of these systems. Experimentation reveals mandatory, but no unique experimentation methodology is sufficient to study the correctness and performance of large scale distributed systems. This document presents my research toward the practical resolution of these methodological issues. My results were implemented in the SimGrid framework, a scientific instrument to simulate realistically large scale distributed systems. The first part presents our contribution to the simulation performance, through an innovative architecture for Discrete-Event Simulators. The second part details how we integrated a full-featured model checker to the environment to formally assess properties on simulated systems. Finally, the third part extends the scope of our tool toward the study of real applications.
Url:
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Hal, to step Corpus: 001739
- to stream Hal, to step Curation: 001739
- to stream Hal, to step Checkpoint: 001207
- to stream Main, to step Merge: 001296
- to stream Main, to step Curation: 001281
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">Computational Science of Computer Systems</title><title xml:lang="fr">Méthodologies d'expérimentation pour l'informatique distribuée à large échelle</title><author><name sortKey="Quinson, Martin" sort="Quinson, Martin" uniqKey="Quinson M" first="Martin" last="Quinson">Martin Quinson</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-205117" status="VALID"><idno type="RNSR">200718299P</idno><orgName>Algorithms for the Grid</orgName><orgName type="acronym">ALGORILLE</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/algorille</ref></desc><listRelation><relation active="#struct-129671" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-423085" type="direct"></relation><relation active="#struct-206040" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-129671" type="direct"><org type="laboratory" xml:id="struct-129671" status="VALID"><idno type="RNSR">198618246Y</idno><orgName>INRIA Nancy - Grand Est</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/nancy</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-423085" type="direct"><org type="department" xml:id="struct-423085" status="VALID"><orgName>Department of Networks, Systems and Services</orgName><orgName type="acronym">LORIA - NSS</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.loria.fr/la-recherche-en/departements/networks-systems-and-services</ref></desc><listRelation><relation active="#struct-206040" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation></org></tutelle><tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID"><idno type="IdRef">067077927</idno><idno type="RNSR">198912571S</idno><idno type="IdUnivLorraine">[UL]RSI--</idno><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><date type="start">2012-01-01</date><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-413289" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID"><idno type="IdRef">157040569</idno><idno type="IdUnivLorraine">[UL]100--</idno><orgName>Université de Lorraine</orgName><orgName type="acronym">UL</orgName><date type="start">2012-01-01</date><desc><address><addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-lorraine.fr/</ref></desc></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><settlement type="city">Metz</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université de Lorraine</orgName></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">HAL</idno><idno type="RBID">Hal:tel-00927316</idno><idno type="halId">tel-00927316</idno><idno type="halUri">https://tel.archives-ouvertes.fr/tel-00927316</idno><idno type="url">https://tel.archives-ouvertes.fr/tel-00927316</idno><date when="2013-03-08">2013-03-08</date><idno type="wicri:Area/Hal/Corpus">001739</idno><idno type="wicri:Area/Hal/Curation">001739</idno><idno type="wicri:Area/Hal/Checkpoint">001207</idno><idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">001207</idno><idno type="wicri:Area/Main/Merge">001296</idno><idno type="wicri:Area/Main/Curation">001281</idno><idno type="wicri:Area/Main/Exploration">001281</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">Computational Science of Computer Systems</title><title xml:lang="fr">Méthodologies d'expérimentation pour l'informatique distribuée à large échelle</title><author><name sortKey="Quinson, Martin" sort="Quinson, Martin" uniqKey="Quinson M" first="Martin" last="Quinson">Martin Quinson</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-205117" status="VALID"><idno type="RNSR">200718299P</idno><orgName>Algorithms for the Grid</orgName><orgName type="acronym">ALGORILLE</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/algorille</ref></desc><listRelation><relation active="#struct-129671" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-423085" type="direct"></relation><relation active="#struct-206040" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-129671" type="direct"><org type="laboratory" xml:id="struct-129671" status="VALID"><idno type="RNSR">198618246Y</idno><orgName>INRIA Nancy - Grand Est</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/nancy</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-423085" type="direct"><org type="department" xml:id="struct-423085" status="VALID"><orgName>Department of Networks, Systems and Services</orgName><orgName type="acronym">LORIA - NSS</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.loria.fr/la-recherche-en/departements/networks-systems-and-services</ref></desc><listRelation><relation active="#struct-206040" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation></org></tutelle><tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID"><idno type="IdRef">067077927</idno><idno type="RNSR">198912571S</idno><idno type="IdUnivLorraine">[UL]RSI--</idno><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><date type="start">2012-01-01</date><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-413289" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID"><idno type="IdRef">157040569</idno><idno type="IdUnivLorraine">[UL]100--</idno><orgName>Université de Lorraine</orgName><orgName type="acronym">UL</orgName><date type="start">2012-01-01</date><desc><address><addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-lorraine.fr/</ref></desc></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><settlement type="city">Metz</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université de Lorraine</orgName></affiliation></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="mix" xml:lang="en"><term>Distributed Systems</term><term>Dynamic Verification</term></keywords><keywords scheme="mix" xml:lang="fr"><term>Simulation</term><term>Systèmes distribués</term><term>Verification dynamique</term></keywords><keywords scheme="Wicri" type="topic" xml:lang="fr"><term>Simulation</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Despite their major impact on our modern societies, large scale distributed systems remain extremely challenging to study and assess as they aggregate million of heterogeneous elements in complex hierarchies. These artifacts, among the most complex ever built, pose a novel methodological challenge: the reductionist approach, that explains the system from a theoretical perspective through the interactions of its components, turn out to be inefficient to tackle the complexity of these systems. Experimentation reveals mandatory, but no unique experimentation methodology is sufficient to study the correctness and performance of large scale distributed systems. This document presents my research toward the practical resolution of these methodological issues. My results were implemented in the SimGrid framework, a scientific instrument to simulate realistically large scale distributed systems. The first part presents our contribution to the simulation performance, through an innovative architecture for Discrete-Event Simulators. The second part details how we integrated a full-featured model checker to the environment to formally assess properties on simulated systems. Finally, the third part extends the scope of our tool toward the study of real applications.</div></front></TEI><affiliations><list><country><li>France</li></country><region><li>Grand Est</li><li>Lorraine (région)</li></region><settlement><li>Metz</li><li>Nancy</li></settlement><orgName><li>Université de Lorraine</li></orgName></list><tree><country name="France"><region name="Grand Est"><name sortKey="Quinson, Martin" sort="Quinson, Martin" uniqKey="Quinson M" first="Martin" last="Quinson">Martin Quinson</name></region></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001281 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 001281 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= Hal:tel-00927316
|texte= Computational Science of Computer Systems
}}
| This area was generated with Dilib version V0.6.33. |  |