Utilisation Semaphore & Shared memory

Bonjour à tous,

Je travail actuellement avec un prestataire qui me fournit une application développé en C/C++ et qui utilise des Semaphores et de la mémoire partagée.

En inspectant le comportant sur la plateforme (Linux Suse), nous nous sommes rendus compte que même si un des processus de cette application est arrêté, des semaphores restent ouvertes ainsi que de la mémoire partagée. (vu via la fonction ipcs -m et ipcs -s)

Est-ce un comportement normal ? Ou est-ce une lacune de gestion des sémaphores et de la mémoire partagée qui devraient être normalement libéré par programmation à l'arrêt du process ?

Merci de vos retours.

Salut !!
Que fait ton processus avant de se terminer ? Essaie-t-il de marquer la mémoire partagée pour destruction ? (shmctl()) ?
C'est le système qui libère cette ressource allouée, par le processus.
Même si ta mémoire partagée est marquée pour destruction cela ne sera pas exécutée si d'autres processus sont attachés à cette mémoire ou tente de s'y attacher (voir les man pages).
Si ton processus ne marque pas pour destruction la mémoire partagée il n'y a aucune raison qu'elle soit détruite. Il en est de même pour les sémaphores (sauf que marquer leur destruction est une opération immédiate).

Peux-tu ajouter le résultat de ipcs dans le post ?

Ca dépend si tes sémaphores (et shared mem, c'est pareil) sont crées avec une clée, ou avec IPC_PRIVATE.

S'ils sont crées avec IPC_PRIVATE, alors ils disparaissent quand plus personne ne les utilise.

S'ils sont crées avec une clée par contre, alors ils restent là indéfiniment, jusqu'a ce que tu reboot ou que quelqu'un les supprime explicitement avec un semctl(IPC_RMID).

Tout ceci est parfaitement logique : si tu crée une resource avec IPC_PRIVATE, seuls les process fils du process qui a créé la ressource peuvent y avoir accès. Quand tous ont terminé, la ressource n'a plus lieu d'être et l'OS le sait. Donc il fait le ménage.

Par contre, si tu utilise une clée, alors n'importe quel process peut avoir accès à la ressource à partir du moment où il connait la clée. Même si à un moment donné aucun process n'utilise la ressource, rien ne garenti que plus tard un process indépendant ne va pas utiliser la clée pour accéder à la ressource... Il est donc logique qu'elle reste en place tant qu'elle n'est pas explicitement supprimée.