Logiciel qui combine plusieurs fichiers objets et bibliothèques, résout les symboles et effectue la relocalisation pour produire un exécutable ou une bibliothèque partagée.
Nom japonais: リンカ
« Éditeur de liens (linker) » apparaît dans 18 questions d'entraînement réparties sur 3 thèmes, dont Éditeurs de liens, chargeurs et exécutables, ISA et assembleur, Compilateurs.
La construction d'un programme C enchaîne normalement le compilateur, qui produit de l'assembleur ou du code objet, l'assembleur, qui produit un fichier objet en code machine, et enfin l'éditeur de liens. Chaque fichier objet est compilé isolément : il contient du code machine et des données, une table des symboles qu'il définit et référence, et des entrées de relocalisation marquant chaque endroit où une adresse est encore inconnue, comme un appel à printf situé dans un autre fichier. L'éditeur de liens combine de nombreux fichiers objets et bibliothèques en un seul exécutable ou une bibliothèque partagée que le système d'exploitation peut charger.
Le travail essentiel de l'éditeur de liens comporte trois parties. La résolution des symboles associe chaque nom référencé à exactement une définition, et signale sinon une erreur de référence indéfinie ou de définition multiple. Le placement fusionne les sections de même type de toutes les entrées, comme .text pour le code, .rodata pour les constantes, .data pour les variables initialisées et .bss pour celles initialisées à zéro, et leur attribue leurs adresses finales, souvent sous le contrôle d'un script d'édition de liens. La relocalisation parcourt ensuite chaque entrée de relocalisation et écrit l'adresse absolue ou la distance relative au PC correcte dans le mot d'instruction ou de données.
Une bibliothèque statique (.a sous Linux) est une archive de fichiers objets, et l'éditeur de liens n'y copie que les membres nécessaires pour résoudre les références encore indéfinies, en parcourant les entrées de gauche à droite ; c'est pourquoi les bibliothèques sont listées après les fichiers qui les utilisent. L'édition de liens statique produit un exécutable autonome, mais duplique le code de bibliothèque dans chaque programme, et les correctifs de bibliothèque exigent une nouvelle édition de liens. Avec les bibliothèques partagées (.so), l'éditeur de liens enregistre les dépendances, et l'éditeur de liens dynamique lie les fonctions de bibliothèque au chargement ou à l'exécution via des stubs PLT et la GOT.
L'éditeur de liens ajoute aussi des objets de démarrage du runtime C, comme crt1.o, et fait de leur symbole _start le point d'entrée. _start prépare les arguments, initialise la bibliothèque et les objets globaux, puis appelle main et transmet sa valeur de retour à exit. Les constructeurs globaux C++ sont regroupés dans une table .init_array que le code de démarrage appelle avant main. Les compilateurs C++ décorent les noms (name mangling) pour encoder les types des arguments, afin que les fonctions surchargées obtiennent des symboles distincts, et extern "C" désactive cette décoration pour les fonctions partagées avec du code C.
Réponse : A. Combiner plusieurs fichiers objets et bibliothèques, associer les noms à des adresses et produire un exécutable
L'éditeur de liens associe chaque nom (symbole) référencé dans les fichiers objets à l'entité qui le définit quelque part (résolution des symboles), dispose le code et les données de chaque fichier pour fixer les adresses définitives, et remplace les adresses provisoires dans les instructions par les valeurs correctes (relocalisation). Au besoin, il extrait des fonctions de bibliothèques pour les ajouter. On obtient ainsi un exécutable que l'OS peut charger et exécuter.
Réponse : A. Associer les noms de fonctions et de variables utilisés dans un fichier à leur définition située dans un autre fichier
Si main.c appelle la fonction sum et que sum.c en définit le contenu, main.o contient l'information « référence sum » et sum.o l'information « définit sum ». L'éditeur de liens rassemble les tables des symboles de tous les fichiers objets et trouve, pour chaque référence, une définition correspondante unique. Si aucune définition n'est trouvée, l'erreur « référence non définie » survient ; s'il y en a deux ou plus, l'erreur « définition multiple ».
Un compilateur traduit un fichier source en un fichier objet aux adresses non résolues, tandis qu'un éditeur de liens combine de nombreux fichiers objets et bibliothèques, résout les noms entre eux et fixe les adresses finales pour produire un exécutable.
L'éditeur de liens GNU parcourt les entrées de gauche à droite et n'extrait les membres d'une bibliothèque statique que pour des symboles déjà indéfinis ; une bibliothèque listée avant les objets qui l'utilisent n'apporte donc rien.
L'édition de liens statique copie le code de bibliothèque nécessaire dans l'exécutable au moment de la construction, tandis que l'édition de liens dynamique laisse des références vers des bibliothèques partagées, que l'éditeur de liens dynamique lie au chargement ou à l'exécution du programme.
L'éditeur de liens associe chaque nom (symbole) référencé dans les fichiers objets à l'entité qui le définit quelque part (résolution des symboles), dispose le code et les données de chaque fichier pour fixer les adresses définitives, et remplace les adresses provisoires dans les instructions par les valeurs correctes (relocalisation).
Quel est le rôle principal de l'éditeur de liens (linker) ?L'éditeur de liens rassemble les tables des symboles de tous les fichiers objets et trouve, pour chaque référence, une définition correspondante unique.
Quelle description de la résolution des symboles effectuée …Après avoir disposé tous les fichiers et fixé les adresses réelles, l'éditeur de liens calcule pour chaque emplacement enregistré l'adresse correcte (ou la distance au PC) et l'inscrit dans l'instruction.
Quelle description de la relocalisation effectuée par l'édi…L'éditeur de liens n'extrait de l'archive et n'intègre que les fichiers objets définissant des symboles dont la définition n'a pas encore été trouvée.
Lors de l'édition de liens avec une bibliothèque statique (…L'éditeur de liens GNU traite les fichiers dans l'ordre de la ligne de commande et, lorsqu'il rencontre une bibliothèque statique, n'en extrait que les objets résolvant « des références dont la définition n'a pas encore été trouvée ».
Avec l'éditeur de liens GNU, écrire une bibliothèque statiq…Relocalisation Fichier objet Éditeur de liens dynamique Résolution des symboles Édition de liens dynamique Bibliothèque statique Interruption Chargeur (loader) Assembleur Symbole faible