La liaison (linking) est le processus qui consiste à combiner les fichiers objets compilés (.o) et les bibliothèques pour créer un fichier exécutable. Dans les systèmes de type Unix, deux méthodes de liaison prédominent : la liaison statique et la liaison dynamique.

Liaison Statique

Définition

La liaison statique consiste à intégrer le code des fonctions de bibliothèque directement dans le fichier exécutable pendant la phase de compilation.

Fonctionnement

1. Compilation : Le code source est transformé en fichiers objets (.o).
2. Liaison : L'éditeur de liens fusionne tous les fichiers objets et le contenu des bibliothèques statiques (.a) en un unique exécutable.
3. Exécution : Le programme est chargé en mémoire à partir de l'exécutable complet, sans dépendances externes.

Avantages

• Aucune dépendance externe de bibliothèques au moment de l'exécution.
• Potentiellement plus rapide à l'exécution (pas de chargement dynamique).
• Déploiement simplifié (un seul fichier).

Inconvénients

• Taille des fichiers exécutables plus importante.
• Mises à jour des bibliothèques nécessitent une re-compilation complète du programme.
• Consommation de mémoire plus élevée si plusieurs programmes utilisant la même bibliothèque sont exécutés simultanément.

Exemple de compilation

# Compiler un programme avec liaison statique
gcc -static main.c -o programme_statique

# Vérifier la taille du fichier
ls -lh programme_statique
 

Liaison Dynamique

Définition

La liaison dynamique permet de charger le code des fonctions de bibliothèque au moment de l'exécution du programme.

Fonctionnement

1. Compilation : Génération de fichiers objets contenant des informations de liaison dynamique.
2. Liaison : Création d'un exécutable qui référence les bibliothèques externes.
3. Exécution :
   • Le chargeur système récupère l'exécutable.
   • Le chargeur dynamique (ld.so) identifie les bibliothèques partagées (.so) nécessaires.
   • Les bibliothèques sont chargées en mémoire.
   • Les symboles sont résolus pour finaliser la liaison.

Avantages

• Fichiers exécutables plus petits.
• Mises à jour des bibliothèques sans re-compilation des programmes.
• Partage de mémoire : plusieurs programmes peuvent utiliser la même instance en mémoire d'une bibliothèque partagée.
• Réduction de l'espace disque utilisé.

Inconvénients

• Dépendance aux fichiers de bibliothèques externes au moment de l'exécution.
• Lancement potentiellement plus lent en raison du chargement dynamique.
• Problèmes potentiels de compatibilité des versions de bibliothèques.

Exemple de compilation et d'analyse

# Compiler un programme avec liaison dynamique (comportement par défaut)
gcc main.c -o programme_dynamique

# Lister les bibliothèques partagées dont le programme dépend
ldd programme_dynamique

# Vérifier la taille du fichier
ls -lh programme_dynamique
 

Comparaison des Principales Différences

Détails Techniques du Processus de Liaison

Résolution de symboles en liaison statique

1. Collecte des symboles : Rassemblement de tous les symboles (fonctions, variables) des fichiers objets.
2. Résolution : Association des références de symboles à leurs adresses correspondantes.
3. Relocalisation : Ajustement des adresses dans le code pour tenir compte de la fusion des sections.
4. Fusion du code : Combinaison des sections de code et de données des différents fichiers objets.

Résolution de symboles en liaison dynamique

1. Liaison différée (Lazy Binding) : La résolution des symboles n'est effectuée qu'à la première invocation de la fonction.
2. Interposition globale de symboles : Règles déterminant quelle définition de symbole est utilisée si plusieurs sont disponibles.
3. Gestion des versions de symboles : Mécanismes pour gérer la compatibilité entre différentes versions d'une même bibliothèque.

Avantages des Bibliothèques Partagées

Partage de la mémoire

Plusieurs processus peuvent partager la même représentation en mémoire d'une bibliothèque partagée, optimisant ainsi l'utilisation de la RAM.

Mises à jour "à chaud"

Il est possible de mettre à jour une bibliothèque partagée sans arrêter les applications qui l'utilisent, souvent via des mécanismes comme dlopen et dlsym.

Systèmes de plugins

La liaison dynamique est la base de l'architecture des plugins, permettant d'ajouter des fonctionnalités à des applications (ex: navigateurs web, logiciels métiers).

Scénarios d'Utilisation de la Liaison Statique

• Systèmes embarqués : Environnements avec des contraintes de mémoire et de stockage strictes.
• Déploiement autonome : Outils destinés à fonctionner sur des systèmes variés sans installer de dépendances.
• Exigences de sécurité élevées : Pour éviter les vulnérabilités liées aux versions de bibliothèques externes.
• Applications sensibles à la performance : Là où la latence de démarrage est critique.

Scénarios d'Utilisation de la Liaison Dynamique

• Applications complexes : Logiciels de bureau, serveurs d'applications.
• Bibliothèques fréquemment mises à jour : Bibliothèques système, composants tiers.
• Environnements à mémoire limitée : Serveurs multi-processus.
• Architectures à plugins : Applications nécessitant le chargement dynamique de modules.

Pratiques Recommandées

Liaison Statique

• À utiliser judicieusement, lorsque les avantages l'emportent sur les inconvénients.
• Être attentif aux implications des licences logicielles lors de la liaison statique.
• Maintenir à jour les bibliothèques statiques pour corriger les failles de sécurité.

Liaison Dynamique

• Utiliser ldconfig pour gérer et mettre à jour le cache des bibliothèques partagées.
• Porter une attention particulière à la compatibilité des versions des bibliothèques.
• Envisager des technologies comme les conteneurs pour simplifier la gestion des dépendances.
• Surveiller l'tuilisation de la mémoire par les bibliothèques partagées.

Problèmes Courants et Solutions

Bibliothèque dynamique introuvable

Problème : Erreur du type "error while loading shared libraries".

Solutions :

• Ajouter le répertoire de la bibliothèque à la variable d'environnement LD_LIBRARY_PATH.
• Mettre à jour le fichier /etc/ld.so.conf (ou un fichier dans /etc/ld.so.conf.d/) et exécuter ldconfig.
• Vérifier que la version de la bibliothèque est compatible avec celle attendue par le programme.

Taille excessive des exécutables (liaison statique)

Solutions :

• Activer l'Optimisation en Temps de Liaison (LTO - Link Time Optimization).
• Utiliser l'outil strip pour supprimer les informatoins de débogage inutiles.
• Réévaluer l'utilisation de la liaison dynamique si la taille est un problème majeur.