Discussion :

[jamin]

Bonjour,

Je me pose des questions concernant l'utilisation des méthodes statiques dans un contexte multithread.

La définition du mot clé REENTRANT dans le préprocesseur garantit que ces méthodes seront thread-safes.

N'est-ce valable qu'avec gcc ? J'utilise en fait VisualStudio2008, et je n'ai pas trouvé l'équivalent !

[ram-0000]

Je n'en connais pas non plus (à part la relecture de code).

Pour être réentrante, une fonction statique ne doit pas modifier de variables globale et/ou statiques ou alors cette variable doit être protégée par une section critique.

D'ailleurs, je me demande si fonction réentrante et fonction thread-safe sont bien équivalents ou bien s'il y a des nuances subtiles.

[Lavock]

Je ne connais pas ce mot clef, mais une fonction réentrante, c'est plus que thread safe. Une fonction récursive par exemple et réentrante... Il ne peut pas y avoir de lock/mutex dans une fonction réentrante. Elle peut donc aussi être appelé par une ISR. Enfin, sous mesure que je me plante pas >< !

[jamin]

Donc si j'ai une méthode statique bien écrite :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
static void MaFonctionStatique( ... mes parametres ... )
{
  // j'utilise 'mes parametres';
  // ...
}

qu'il y ait ou non une compilation REENTRANT n'a pas d'incidence.

Par contre si j'utilise une ressource partagée, il doit quand même moyen de se passer des mutex ! C'est une histoire de compilo, non ? Je vais regarder du côté d'Intel.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
static maVariablePartagee;
static void MaFonctionStatique()
{
  // j'utilise 'maVariablePartagee';
  // ...
}

[3DArchi]

Salut,

Par contre si j'utilise une ressource partagée, il doit quand même moyen de se passer des mutex ! C'est une histoire de compilo, non ? Je vais regarder du côté d'Intel.

Pas à l'heure actuelle. La notion d'atomicité n'existe pas encore en C++ donc tout accès concurrent à une ressource est susceptible de provoquer une race condition.
Ensuite, cela dépend beaucoup de ton problème. Si tous les threads ne font que des accès en lecture, ben effectivement pas besoin de mutex. etc...
réentrance et thread safe ont souvent tendance à être interprétées différemment par chacun. Je te donne mon point de vue :

Dans le cadre de la programmation concurrente, une fonction réentrante est une fonction qui peut être exécutée correctement par plusieurs threads en même temps ou par le même thread avec des paramètres différents.

Une fonction est thread-safe si elle peut être appelée correctement par plusieurs threads distincts en même temps avec les mêmes paramètres.

[Lavock]

Par contre si j'utilise une ressource partagée, il doit quand même moyen de se passer des mutex ! C'est une histoire de compilo, non ? Je vais regarder du côté d'Intel.

Comme dit précemment, on ne peut faire apelle au mutex. Sinon, lorsque le même thread re-rentre dans la fonction, tu fais comment ?

Mais as-tu vraiment besoin d'une fonction réentrante ? Le thread-safe ne suffit pas ?

[3DArchi]

Comme dit précemment, on ne peut faire apelle au mutex. Sinon, lorsque le même thread re-rentre dans la fonction, tu fais comment ?

Si on prend la définition de réentrant comme une fonction qui peut être exécutée correctement par plusieurs threads en même temps ou par le même thread avec des paramètres différents ; alors les mutex ne servent à rien.