[C] Core dumped avec pthread

Recherche :

Mot : Pseudo : Filtrer
Bas de page
Auteur	Sujet : [C] Core dumped avec pthread

Shadoko

Anciennement Pharmaticien

Salut à tous :hello:

J'essaie de comprendre ma connerie que je n'arrive pas à identifier :pt1cable:
Je 'reprends' le C (niveau découverte) mais j'y rajoute le Multithreading, si certaines convention de forme ne sont pas respectées et que ça vous pique les yeux n'hésitez pas à m'engueuler
Au lancement du prog après un temps très court, j'ai quelque fois un core dump dans les 2-3 sec.
Si aucun problème déclaré vers le lancement, alors le programme se déroule jusqu'à la fin (testé avec de grandes limites).

Code :

#include <stdio.h>
#include <stdlib.h>
#include <time.h>
#include <unistd.h>
#include <pthread.h>
#include <string.h>
typedef struct int_protege{
pthread_mutex_t intex;
int entier;
}int_p;
int_p incremented = {PTHREAD_MUTEX_INITIALIZER,0};
void* routine_adding(){
int statut, compte;
while(incremented.entier < 10000){ //limite
pthread_mutex_unlock(&incremented.intex);
statut = pthread_mutex_trylock(&incremented.intex);
if (statut == 0){
incremented.entier += compte;
printf("%ld a augmenté de %d : %d\n", pthread_self(),compte,incremented.entier);
fflush(stdout);
compte = 0;
pthread_mutex_unlock(&incremented.intex);
}
compte++;
pthread_mutex_lock(&incremented.intex);
}
pthread_mutex_unlock(&incremented.intex);
}
int main(int argc, char** argv){
pthread_t thread1, thread2;
pthread_create(&thread1,NULL,&routine_adding,NULL);
pthread_create(&thread2,NULL,&routine_adding,NULL);
pthread_join(thread1,NULL);
pthread_join(thread2,NULL);
return EXIT_SUCCESS;
}

Je suis sur VM linux mint xfce, ce pourrait-il que ça soit en lien avec mon PB ?
Merci pour la lecture !

EDIT du lendemain (Merci kajoux !) :

Code :

#include <stdio.h>
#include <stdlib.h>
#include <time.h>
#include <unistd.h>
#include <pthread.h>
#include <string.h>
typedef struct int_protege{
pthread_mutex_t intex;
int entier;
}int_p;
int_p incremented = {PTHREAD_MUTEX_INITIALIZER,0};
void* routine_adding(){
int statut, compte;
pthread_mutex_lock(&incremented.intex);
while(incremented.entier < 10000){ //limite
pthread_mutex_unlock(&incremented.intex);
statut = pthread_mutex_trylock(&incremented.intex);
if (statut == 0){
incremented.entier += compte;
printf("%ld a augmenté de %d : %d\n", pthread_self(),compte,incremented.entier);
fflush(stdout);
compte = 0;
pthread_mutex_unlock(&incremented.intex);
}
compte++;
pthread_mutex_lock(&incremented.intex);
}
pthread_mutex_unlock(&incremented.intex);
}
int main(int argc, char** argv){
pthread_t thread1, thread2;
pthread_create(&thread1,NULL,&routine_adding,NULL);
pthread_create(&thread2,NULL,&routine_adding,NULL);
pthread_join(thread1,NULL);
pthread_join(thread2,NULL);
return EXIT_SUCCESS;
}

Ne pas laisser le mutex pouvant être unlock sans lock préalable ... !

Message édité par Shadoko le 26-02-2023 à 10:08:22

---------------
Pourquoi faire simple quand on peut faire compliqué ?

Publicité

kajoux

Je pense que c'est parce que tu commences par unlocker un thread qui n'a pas été locké (comportement indéfini).
Comme ça ça a l'air de passer mieux :

Code :

while(incremented.entier < 10000){ //limite
//pthread_mutex_unlock(&incremented.intex);
statut = pthread_mutex_trylock(&incremented.intex);
if (statut == 0){
incremented.entier += compte;
printf("%ld a augmenté de %d : %d\n", pthread_self(),compte,incremented.entier);
fflush(stdout);
compte = 0;
pthread_mutex_unlock(&incremented.intex);
}
compte++;
pthread_mutex_lock(&incremented.intex);
pthread_mutex_unlock(&incremented.intex);
}
//pthread_mutex_unlock(&incremented.intex);

Accessoirement la bonne signature pour le callback c'est

static void *routine_adding(void *data)

et il devrait donc renvoyer NULL (ou autre chose…).
Compile avec les warnings -Wall -Wextra.

Message édité par kajoux le 25-02-2023 à 23:38:03

Shadoko

Anciennement Pharmaticien

Salut kajoux :hello:

Merci beaucoup pour ton intervention !
J'essaie de garder le fait de lock le mutex avant de checker le int dans l'assertion du while, car pendant que l'un vérifie, l'autre pourrait faire changer le True/False de (incremented.entier < 10000) sans que le thread vérifiant n'ait la bonne visibilité mémoire.

Mais tu as réglé mon problème cela dit car en rajoutant un petit lock au dessus du while dans mon code initial, tout va mieux !

Ce qui est curieux c'est que dans les cas de crash, les deux threads avaient réussi à incrémenter à plusieurs répétitions le compteur sans bug jusqu'au crash.
Le premier unlock était donc passé, saurais-tu (ou à bon entendeur, salut) la raison de ce phénomène désormais réglé ?

Je n'ai vu nulle part le static dans les tutos qui présentent des routines, est-ce qu'on en a besoin pour autre chose que pour la rendre file scope, ce qu'elle est déjà à mon sens ?
Merci et à plus !

Message cité 2 fois

---------------
Pourquoi faire simple quand on peut faire compliqué ?

kajoux

Shadoko a écrit :

Ce qui est curieux c'est que dans les cas de crash, les deux threads avaient réussi à incrémenter à plusieurs répétitions le compteur sans bug jusqu'au crash.
Le premier unlock était donc passé, saurais-tu (ou à bon entendeur, salut) la raison de ce phénomène désormais réglé ?

La raison est la manière d'utiliser la mémoire en informatique d'une manière générale, et c'est aussi la raison pour laquelle le comportement est dit "indéfini" (undefined behavior dans les manuels) dans ce cas.
Ça passe un certain nombre de fois, tant qu'il est possible de lire/écrire quelque chose en mémoire sans planter, puis ça finit par planter éventuellement.
C'est aussi la raison pour laquelle les bugs de mauvaise utilisation mémoire peuvent être difficiles à débuguer.
Je n'ai pas essayé de faire tourner ton programme dans Valgrind, mais il dit probablement quelque chose dans ce cas.

Shadoko a écrit :

Je n'ai vu nulle part le static dans les tutos qui présentent des routines, est-ce qu'on en a besoin pour autre chose que pour la rendre file scope, ce qu'elle est déjà à mon sens ?

Il permet en fait d'éviter un warning de déclaration manquante à la compilation, et c'est vrai que dire qu'il fait partie de la signature du callback est un abus de langage.

Message cité 1 fois

Shadoko

Anciennement Pharmaticien

Il faudrait que je me mette au profiling et tout l'outillage pour constater mes premières erreurs dans ma reprise du C, tu fais bien de me le rappeler, au lieu d'encrer des erreurs dans ma tête.
D'accord, je suppose que c'est un warning qui vient avec le -Wall car je ne l'avais pas encore constaté jusque-là.
Merci encore :jap:

Message cité 1 fois

---------------
Pourquoi faire simple quand on peut faire compliqué ?

rat de combat

attention rongeur méchant!

obligatoire, surtout mais pas que pour les débutants: -Wall -Wextra
conseillé pour son propre code à mon avis: -Werror

Sinon tu peux aussi regarder GDB et Valgrind, très utiles si on les maîtrise (un minimum).

kajoux

Shadoko a écrit :

D'accord, je suppose que c'est un warning qui vient avec le -Wall car je ne l'avais pas encore constaté jusque-là.

En fait c'est -Wmissing-declarations et il n'est pas dans -Wall ni dans -Wextra, c'est moi qui l'ai ajouté à mes flags

Shadoko

Anciennement Pharmaticien

Merci messieurs je me plonge là dedans actuellement :jap:

---------------
Pourquoi faire simple quand on peut faire compliqué ?

masklinn

í dag viðrar vel til loftárása

Shadoko a écrit :

Citation :

If a thread attempts to unlock a mutex that it has not locked or a mutex which is unlocked, undefined behavior results.

UB => opération illégale => aucune raison d'en attendre un comportement logique ou cohérent, ça va dépendre des détails d'implémentation du mutex et de ce que le compilo fait avec.

kajoux a écrit :

Les UB c'est beaucoup plus brutal que ça, la présence d'un UB peut même casser le programme pendant sa compilation. En fait si UB il y a, le programme est considéré comme cassé par définition.

Message édité par masklinn le 28-02-2023 à 18:31:34

---------------
Stick a parrot in a Call of Duty lobby, and you're gonna get a racist parrot. — Cody

FORUM HardWare.fr

Programmation

[C] Core dumped avec pthread

Sujets relatifs
[C] permettre à l’utilisateur de modifier une chaîne de caractères	[C#] Class, Struct, c'est quoi maintenant la différence ?
[C#/WPF] PresentMon -> interface graphique ( FPS monitoring )	[RESOLU] Algorithme (pour dans un deuxième temps traduire en C)
C Custom Bubble Sort	Langage C/ projet gestion de véhicules
C++ ou C: compréhension du fonctionement du hardware	La fenêtre de commande clignote lors du débogage de programmes C++ dan
[C] Refresh d'un fichier ouvert	[C#] Code décompilé ne recompile pas...
Plus de sujets relatifs à : [C] Core dumped avec pthread

Page générée en 0.070 secondes