Programmation PYTHON - Zenk - Security - Repository

Bonnes pratiques et optimisation du code
CHAPITRE 13
En effet, si un thread modifie une ressource, il doit en protéger l’accès par d’autres
threads jusqu’à la fin de son travail. Ces points de synchronisation ou sections critiques
évitent des effets de bords non maîtrisés en garantissant l’intégrité des ressources.
D’un point de vue développement, le travail consiste à rendre le code thread-safe,
c’est-à-dire à protéger toutes les parcelles de code qui modifient des données pouvant
être lues et utilisées par d’autres parcelles de code, en utilisant des lockers, véritables
verrous programmatiques.
La séquence protégée est donc :
1 lock : enclenchement du verrou ;
2 travail : code protégé ;
3 unlock : libération du verrou.
Lorsqu’un thread A atteint l’étape 1, il verrouille les ressources auxquelles il va
accéder et s’assure ainsi que l’étape 2 ne peut pas être exécutée par un autre thread en
même temps.
À la fin du travail, le thread A déverrouille les ressources. Si un deuxième thread B
atteint l’étape 1 pendant que le thread A est encore dans l’étape 2, il est bloqué et doit
attendre que le verrou soit libéré avant de pouvoir à son tour verrouiller les ressources.
Cette technique paraît relativement simple de prime abord mais entraîne des difficultés
de programmation :
Si le thread A (ou tout autre thread si cette étape est déléguée) ne passe jamais par
l’étape 3, par une exception mal gérée par exemple, le thread B reste bloqué à tout
jamais. On parle dans ce cas d’un deadlock.
Si le thread A, dans le code protégé, verrouille à nouveau les ressources, il se bloque
lui-même par deux appels successifs à lock.
Le deuxième cas peut être géré grâce à des verrous particuliers : les locks réentrants,
qui ne bloquent pas un thread qui tente de verrouiller à nouveau les mêmes ressources.
Le déverrouillage doit cependant être fait par ce même thread.
Le premier problème reste entier et nécessite de bien contrôler le code protégé.
En termes de performances, il est aussi important de ne protéger que le strict nécessaire
pour éviter des latences dues à des verrous sur des portions de code trop larges.
Une dernière technique de coordination consiste à faire communiquer les threads
entre eux pour qu’ils puissent travailler de manière concertée.
Typiquement, un thread attend qu’un signal soit émis pour commencer ou continuer
son travail, ce signal étant émit par un autre thread.
453