Notice bibliographique
Résumé
REMERCIEMENTSJe tiens tout d'abord remercier mon directeur de recherche, Michel Dagenais, pour la confiance qu'il m'a accorde ds notre premire rencontre et qu'il a renouvele sans cesse depuis lors.Son soutien et sa disponibilit m'ont permis d'en apprendre toujours plus tout en ayant ma disposition tous les outils me permettant d'avancer.Je souhaite ensuite remercier les partenaires du laboratoire pour leur soutien financier grce auquel j'ai pu mener bien mes travaux.Je remercie galement toutes les personnes impliques dans le projet qui m'ont transmis une partie de leurs connaissances, qui j'en suis sr m'aideront pour la suite.Un merci tout particulier Alex, Matthew, Etienne, Francis, Yannick et bien sr Genevive pour leur aide prcieuse.Merci encore tous mes collgues du laboratoire DORSAL pour la trs bonne ambiance de travail.J'aimerais remercier mes proches et amis qui ont toujours t l pour moi et m'ont encourag me dpasser.Je remercie tout particulirement mon pre, Pascal, pour m'avoir laiss partir sur un autre continent, ainsi que Cline Roehrig et son compagnon Jessy pour m'avoir accueilli mon arrive au Canada et m'avoir donn le soutien logistique indispensable mon installation sur un continent nouveau pour moi.Enfin, merci Karine Marle, ma compagne, qui a fait son maximum pour venir me rejoindre au Canada.Un grand merci pour son soutien, ses conseils et sa relecture attentive ainsi que pour tous les bons moments passs ensemble la dcouverte du "nouveau monde".v R SUM Avec la complexit croissante des systmes informatiques, l'analyse des problmes de performance devient de plus en plus difficile.L'utilisation des outils de traage s'est impose comme la mthode permettant de comprendre en profondeur le fonctionnement d'un logiciel ou d'un systme d'exploitation.Le traceur LTTng (Linux Tracing Toolkit Next Generation) et le visualiseur de traces TMF (Tracing and Monitoring Framework) ont t dvelopps au laboratoire DORSAL de l' cole Polytechnique de Montral.Ce traceur permet de recueillir des traces au niveau du noyau et au niveau des applications utilisateur.La quantit d'informations sauvegardes dans les traces systmes est trs importante pouvant dpasser les centaines de gigaoctets.L'enjeu principal des techniques d'analyse est d'extraire les informations utiles au dveloppeur pour comprendre son application et l'aider trouver les anomalies de performance ou de scurit.La mthode retenue par le visualiseur de trace TMF pour extraire les donnes d'une trace est base sur une machine tats qui permet de modliser l'tat du systme n'importe quel point de la trace.Dans le cas des traces noyaux produites par LTTng, cette mthode permet d'afficher de manire trs efficace l'tat des fils d'excution et la consommation de ressources dans des diagrammes en fonction du temps.Dans ce mmoire, nous proposons de gnraliser l'utilisation du gestionnaire d'tats de TMF tous les types de traces, en proposant un outil pour concevoir de manire flexible des nouvelles analyses utilisant une machine tats.Pour ce faire nous avons cr un langage dclaratif permettant d'utiliser le gestionnaire d'tats dj implment dans TMF.La mthodologie suivie dans ce mmoire va permettre de dfinir un langage dont l'expressivit permettra de caractriser les changements d'tats provoqus par les vnements de la trace.Dans un contexte o l'extraction des informations issues d'une trace peut tre longue, nous veillons ce que la performance des nouveaux outils dvelopps soit au moins quivalente celle des outils actuels.Les rsultats obtenus avec l'implmentation de la solution montrent qu'il n'y a pas de dgradation de la performance pour le temps de construction de la machine tats.Enfin, nous essayons de dmontrer l'utilisabilit de la solution en proposant des exemples de nouvelles analyses rendues possibles avec le nouveau langage dclaratif.Ce point passe par l'illustration d'un exemple simple permettant de comprendre la philosophie du nouvel outil.Nous dmontrons ensuite la capacit du langage d'abstraire le modle utilis, permettant vi d'effectuer les mmes analyses avec des systmes de traage diffrents.Cette tude a permis de transposer le modle existant du noyau Linux au noyau du systme d'exploitation Microsoft Windows.De mme, il a t possible d'enrichir les modles existants en combinant plusieurs traces issues de diffrents niveaux d'abstraction, par exemple espace noyau et espace utilisateur.Cela a permis de construire des analyses plus riches, ouvrant la possibilit de corriger des nouvelles classes d'anomalies dans les systmes tudis.Ainsi, le rsultat de l'tude montre qu'un langage dclaratif peut tre utilis pour concevoir des analyses flexibles, ne ncessitant aucun dveloppement supplmentaire pour l'utilisateur.
Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.
Comment cette classification a été obtenuedéplier
Prédiction machine sur la base complète
Imitation des enseignantsNi prévalence calibrée, ni vérité terrain. Validation humaine à venir. Le volet Gemma est une étiquette directe du modèle pour chaque travail de la base, lue sur la notice réduite au titre. Le volet Codex est un classifieur appris des 10 348 étiquettes directes de Codex et calibré sur les taux pondérés de l'échantillon; les champs sans appui suffisant ne portent aucun appel Codex. Le mode candidate est l'union des deux volets; le consensus est leur intersection. Ces sorties portent le statut machine_predicted_unvalidated et ne sont pas des étiquettes humaines.
Scores du classifieur distillé par catégorie (deux têtes)
| Catégorie | Codex | Gemma |
|---|---|---|
| Métarecherche | 0,014 | 0,033 |
| Méta-épidémiologie (sens strict) | 0,002 | 0,002 |
| Méta-épidémiologie (sens large) | 0,001 | 0,005 |
| Bibliométrie | 0,008 | 0,004 |
| Études des sciences et des technologies | 0,004 | 0,005 |
| Communication savante | 0,020 | 0,015 |
| Science ouverte | 0,004 | 0,007 |
| Intégrité de la recherche | 0,004 | 0,005 |
| Charge utile insuffisante (le modèle a refusé de juger) | 0,011 | 0,003 |
Scores machine (provisoires)
Les deux têtes enseignantes du modèle étudiant, lues sur ce travail. Un score ordonne la base pour la relecture; il n'affirme jamais une catégorie, et le statut de validation accompagne chaque rangée tel quel.
Scores de référence d'un modèle non mature (critères de maturité non atteints, 7 itérations). Un score ordonne; il n'affirme jamais une catégorie.
score_only:v0-immature-baseline · tel quel depuis la passe de notation : score_only signifie que le nombre peut ordonner les travaux, et qu'aucune étiquette de catégorie n'en découleClassification
machine, non validéePrédiction automatique; un appel candidat d’une seule source (Gemma direct ou Codex distillé), pas un consensus.
Le détail, modèle par modèle et score par score, se trouve en fin de page sous « Comment cette classification a été obtenue ».