Discussion :

[Mendahor]

Bonjour à tous,

Ce problème peut facilement se résoudre à l'aide d'un sémaphore, mais la curiosité étant plus forte, je me pose la question existancielle suivante : on a une variable interprocess, par exemple un entier long nommée <>LaVariable. On considère la ligne de code suivante :

Code :

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

<>LaVariable:=<>LaVariable-1

Cette ligne de code est exécutée à partir du plusieurs process tournant simultanément, une seule fois par process et à des moments à priori aléatoire.

Si je ne me trompe pas, 4D devrait donc effectuer les opérations suivantes :
1 - Lire la valeur de <>LaVariable.
2 - Soustraire 1 à cette valeur
3 - Affecter la nouvelle valeur à <>LaVariable

On est dans un environnement multiprocess, il est donc normal que le process puisse être suspendu entre le point 1 et le point 2, ou entre le point 2 et le point 3. Si lors de cette suspension, un autre process effectue le même code, on se retrouve avec le problème classique que le process qui s'est fait interrompre va calculer la nouvelle valeur à partir d'une valeur obsolète.

Là où se pose le "problème", c'est que j'ai l'impression que la fréquence à laquelle l'interruption se fait juste après la lecture de <>LaVariable et juste avant son écriture est particulièrement élevée, comme si le fait de lire la variable "coûtait" au process, et faisait descendre son niveau de priorité par rapport aux autres process.

Avez-vous déjà remarqué ce phénomène, ou est-ce simplement mon impression qui est faussée ? Qu'en pensez-vous ?

[ALSFP]

Bonjour,

je viens de lire ta remarque sur la variable inter process.
Malheureusement, je ne sais pas comment 4D gère les empilements de process, le basculement de process et l'accès mémoire à des variables communes.

La seule solution est ce quelquesoit le langage dans lequel l'application est développée et de gérer comme tu le dis les sémaphores.

J'ai déjà développé dans plusieurs langages et lu quelques livres sur les process en général et à chaque fois, il est fortement conseillé de gérer l'accès à des variables communes par des systèmes de blocage, car on ne sait jamais quand l'interruption process peut arriver.

[ThibArg]

Bonjour,

En compilé...

<>LaVariable:=<>LaVariable-1

...sera atomique. Aucun autre process ne modifiera <>laVariable pendant l'exécution de cette ligne.
Avec un bémol majeur : c'est parce que le scheduler de 4D est multiprocess, disons "en interne" seulement. En pratique, il ne s'agit pas de task/thread ou tout autre nom de processus dit "système". Tous les process 4D s'exécutent dans le même thread. J'ai dit que c'était un bemol parce qu'il est probable qu'une prochaine version de 4D change ça à l'avenir (note que le moteur de base de données v11, lui, est lumtitask/multicore, mais c'est autre chose).

En interprété, il peut en théorie arriver qu'une instruction d'un autre process se glisse au milieu de l'exécutiond e la ligne, mais c'est super peu probable.

EN tout état de cause, bien entendu, et comme déjà dit, il faut protéger l'accès par un sémaphore. S'il n'ya aucun accès aux données à protéger, alors utiliser un sémaphore local, ça n'aura aucun impact sur le serveur.

Thibaud