Conseils pour écrire du code UNIX thread-safe?

Question

Quelles sont les instructions pour écrire du code UNIX thread-safe en C et C++?

Je ne connais que quelques-uns:

• Ne pas utiliser globals
• Ne pas utiliser le stockage local statique

Ce que les autres sont là?

Answer 1

La chose simple à faire est de lire un peu. La liste suivante contient des éléments à examiner et à rechercher.

1. Passer du temps la lecture du Open Group Base Specification en particulier la section General Information et la subsection on threads. C'est l'information de base pour le multithreading sous la plupart des systèmes UN * X-semblables.
2. Apprenez les difference between a mutex and a semaphore
3. Rendez-vous compte que tout ce qui est partagé MUST être protégé. Cela s'applique aux variables globales, aux variables static et à toute mémoire allouée dynamiquement partagée. Remplacez les indicateurs d'état globaux par condition variables. Ceux-ci sont mis en œuvre en utilisant pthread_cond_init et les fonctions connexes.

Une fois que vous comprenez les bases, en apprendre davantage sur les problèmes communs afin que vous puissiez les identifier quand ils se produisent:

• Lock inversion deadlocks
• Priority inversion - si vous êtes intéressé par un scénario de la vie réelle , puis read this snippet about the Mars Pathfinder

Answer 2

Il revient vraiment à l'état partagé, globals et static local sont des exemples d'état partagé. Si vous ne partagez pas l'état, vous n'aurez pas de problème. D'autres exemples d'état partagé incluent plusieurs threads qui écrivent dans un fichier ou une socket. Toute ressource partagée devra être gérée correctement - cela peut signifier la création d'un mutex protégé, l'ouverture d'un autre fichier ou la sérialisation intelligente des requêtes.

Si deux threads sont en lecture et en écriture à partir de la même structure, vous devez gérer ce cas.

Answer 3

Méfiez-vous des sem_t fonctions, ils peuvent revenir inachevés sur les interruptions, IO, etc. SIGCHLD Si vous avez besoin, assurez-vous de AllWays capture ce cas.

pthread_mut_t et pthread_cond_t les fonctions sont sans danger par rapport à EINTR.

Answer 4

Un bon livre ouvert sur la concurrence en général peut être trouvé ici: Little Book of Semaphores

Il présente divers problèmes qui sont résolus étape par étape et incluent des solutions aux problèmes courants de concurrence tels que la famine, les conditions de course, etc. Il n'est pas spécifique à la langue mais contient de courts chapitres sur l'implémentation des solutions en C avec Pthread-Library ou Python.