Configurer epoll

Tout commence par une instance epoll, qui est elle-même un descripteur de fichier. Créez-en une avec epoll_create1().

L’argument est un champ d’indicateurs : transmettez 0 pour le comportement par défaut ou EPOLL_CLOEXEC pour fermer automatiquement le descripteur lors d’un exec(). Le descripteur renvoyé est celui que vous transmettez à tous les autres appels epoll.

L’ancienne fonction epoll_create(int size) acceptait une indication de taille, mais le noyau l’ignore désormais : la seule exigence était qu’elle soit positive.

Préférez epoll_create1() : elle prend des indicateurs plutôt qu’une taille dépourvue de sens et vous permet de demander EPOLL_CLOEXEC de manière atomique, ce qui évite un appel fcntl() distinct.

Les événements surveillés et les résultats sont tous deux représentés par struct epoll_event. Cette structure contient un masque de bits events et une union data.

L’union data contient ce que vous souhaitez récupérer lorsque l’événement se produit : généralement data.fd, mais il peut aussi s’agir d’un data.ptr pointant vers un objet de connexion que vous avez alloué.

epoll_ctl() gère la liste des événements surveillés. Utilisez l’opération EPOLL_CTL_ADD pour commencer à surveiller un descripteur.

Vous transmettez le descripteur epoll, l’opération, le descripteur cible et un pointeur vers votre epoll_event. Ensuite, epoll signale que ce descripteur est prêt.

Le masque events indique ce qui vous intéresse. EPOLLIN signifie que le descripteur est lisible ; EPOLLOUT signifie qu’il est accessible en écriture.

Vous surveillez généralement EPOLLIN sur une socket d’écoute (pour accepter les connexions) et sur les sockets clientes (pour lire). N’ajoutez EPOLLOUT que lorsque des données mises en tampon n’ont pas été entièrement envoyées.

Le noyau signale toujours certaines conditions, même si vous ne les avez pas demandées : EPOLLERR pour les erreurs, EPOLLHUP pour un raccrochage et EPOLLRDHUP pour une fermeture de moitié par le pair.

Vérifiez ces indicateurs dans votre gestionnaire : ignorer EPOLLHUP sur une socket inactive provoque une boucle incessante dans la boucle d’événements.

Une fois un descripteur enregistré, vous pouvez modifier son masque d’événements sans le supprimer. Utilisez EPOLL_CTL_MOD.

Un schéma courant consiste à ne surveiller normalement que EPOLLIN pour une connexion, puis à passer à EPOLLIN | EPOLLOUT lorsque son tampon d’envoi se remplit, avant de revenir au mode précédent une fois le tampon vidé.

Lorsqu’une connexion se ferme, cessez de la surveiller avec EPOLL_CTL_DEL. Le dernier argument epoll_event est ignoré et peut être NULL avec les noyaux modernes.

Notez que la fermeture d’un descripteur le supprime automatiquement de toutes les listes d’événements epoll, mais une suppression explicite avant la fermeture rend votre suivi plus clair.

Par défaut, epoll utilise un déclenchement par niveau : tant qu’un descripteur reste lisible, chaque appel à epoll_wait() le signale. Ce mode est tolérant et facile à utiliser.

Ajoutez l’indicateur EPOLLET pour le mode à déclenchement par front : vous n’êtes averti que lorsque l’état de préparation change. Vous devez donc vider complètement la socket dans une boucle jusqu’à obtenir EAGAIN.

Au lieu de data.fd, vous pouvez stocker data.ptr pointant vers une structure propre à chaque connexion. Lorsque l’événement se produit, vous récupérez directement ce pointeur, sans table de recherche.

N’oubliez pas qu’il s’agit d’une union : si vous définissez data.ptr, vous ne pouvez pas également lire data.fd dans le même événement.

L’instance epoll est simplement un descripteur de fichier : vous la libérez avec close() lorsque le serveur s’arrête.

La fermeture du descripteur epoll libère la liste des événements surveillés du noyau. Les sockets surveillées qui sont encore ouvertes restent ouvertes : fermez-les séparément pour libérer leurs ressources.

Vous créez une instance avec epoll_create1(), puis gérez les événements surveillés avec epoll_ctl() à l’aide de ADD, MOD et DEL. Chaque struct epoll_event contient un masque events et une union data.

Choisissez le déclenchement par niveau pour privilégier la simplicité, ou EPOLLET pour les performances du déclenchement par front. Nous allons maintenant utiliser ces éléments dans une boucle d’événements.