Discussion :

[giova_fr]

Bonjour.

Je lis que sur les opérations de Sémaphore, il y a une option SEM_UNDO.

Je cite:

SEM_UNDO, le noyau mémorise l'opération inverse de celle demandée, de manière à pouvoir annuler celle ci si le processus se termine en erreur.
Ainsi à la fin du processus, toutes les opérations mémorisées sont automatiquement réalisées.

Génial non?

Alors en lisant cela je me dis que je l'utiliserai systématiquement, d'où ma question :

Il y a t'il un piège? une situation où ce serait une mauvaise idée de l'employer?

Merci d'avance pour votre aide.

[dalfab]

Bonjour,

je ne connais pas ce SEM_UNDO.
Il ne me semble pas être POSIX, si c'est le cas j'y vois un problème de portabilité.

Ensuite pourquoi pas, il est vrai que intuitivement le fait d'avoir un auto-déblocage lors de l'arrêt d'un process semble intéressant.

[sambia39]

Bonsoir

Bonjour.
Je lis que sur les opérations de Sémaphore, il y a une option SEM_UNDO.
Je cite:
SEM_UNDO, le noyau mémorise l'opération inverse de celle demandée, de manière à pouvoir annuler celle ci si le processus se termine en erreur.
Ainsi à la fin du processus, toutes les opérations mémorisées sont automatiquement réalisées.
Génial non?
Alors en lisant cela je me dis que je l'utiliserai systématiquement, d'où ma question :
Il y a t'il un piège? une situation où ce serait une mauvaise idée de l'employer?
Merci d'avance pour votre aide.

SEM_UNDO est une valeur particulière que l'on place dans "sem_flg" elle définit qu'une fois le processus terminé toutes les modifications de la valeur du sémaphore seront annulées.

Alors en lisant cela je me dis que je l'utiliserai systématiquement, d'où ma question :
Il y a t'il un piège? une situation où ce serait une mauvaise idée de l'employer?
Merci d'avance pour votre aide.

Votre explication fait référence à un contexte bien précis en clair, le noyau Linux dispose d'une valeur d'ajustement qui contient en permanence la valeur résultant de l'addition des différentes opérations de sémaphore et lorsqu'on additionne cette valeur à celle du sémaphore actuel, cette dernière est rétablie comme si aucune opération n'avait eu lieu

Je cite:
SEM_UNDO, le noyau mémorise l'opération inverse de celle demandée, de manière à pouvoir annuler celle ci si le processus se termine en erreur.
Ainsi à la fin du processus, toutes les opérations mémorisées sont automatiquement réalisées.

En temps normal, vous devez toujours la définir sauf dans un cas précis (dans le cas où un second processus hérite de la tâche où reprend la tâche du premier processus et qu'il traite la valeur de sémaphore en cours).

Bonjour,
je ne connais pas ce SEM_UNDO.
Il ne me semble pas être POSIX, si c'est le cas j'y vois un problème de portabilité.
Ensuite pourquoi pas, il est vrai que intuitivement le fait d'avoir un auto-déblocage lors de l'arrêt d'un process semble intéressant.

Cette fonctionnalité est bien POSIX et de façon générale elle fait partie des exclusions mutuelles par sémaphore présent sur le noyau Linux.
Je suis un peu curieux quels sont les problèmes de portabilité dont vous voyez ?
à bientôt

[giova_fr]

Merci beaucoup pour ces explications.

Je ne suis pas sur de cerner ce qui se passera lors de la création d'un processus fils héritant du sémaphore, à vous lire j'en déduis qu'il y a risque d'annuler 2 fois les opérations...
Je garde cette info dans une case mémoire de mon cerveau pour le jour où je tomberai sur ce cas.

[dalfab]

Cette fonctionnalité est bien POSIX et de façon générale elle fait partie des exclusions mutuelles par sémaphore présent sur le noyau Linux.
Je suis un peu curieux quels sont les problèmes de portabilité dont vous voyez ?

Justement je ne connais pas du tout Linux, mais pensais bien connaître POSIX (entre autre via Unix et QNX). Et je craingnais que cela soit une fonctionnalité du noyau Linux.