Sémaphores : piège avec SEM_UNDO ?

Bonjour.

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

Je cite:

Citation:

---

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.

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.

Bonsoir

Citation:

---

Envoyé par 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.

---

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.

Citation:

---

Envoyé par giova_fr

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

Citation:

---

Envoyé par giova_fr

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).

Citation:

---

Envoyé par 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.

---

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 ? :weird:
à bientôt

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.

Citation:

---

Envoyé par sambia39

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 ? :weird:

---

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.