[Bot]

Bonjour, j’implémente une méthode de déterminisation d’un automate en C, cependant dans une de mes boucles for, après la 2e itération, l’erreur Segmentation fault m’est renvoyé (ligne 807).
En utilisant des printf afin d’avoir une trace visuelle de ce que faisait mon code j’ai pu facilement localiser l’erreur, cependant je ne comprends pas pourquoi cela m’est retourné sachant que la première itération s’est passée correctement et que les conditions d’ajout d’une transition sont normalement respectées.

Voici le lien vers le fichier : https://github.com/WanisC/Boolean-Expressions/blob/main/src/automate.c

Si des captures d’écran/explications sont nécessaires n’hésitez pas.

Merci de bien vouloir m’aiguiller.

P.S = Bizarrement mon programme s’arrête toujours mais il n’affiche plus Segmentation fault alors que je n’ai pas modifié mon code.

——————–
cwano – Envoyé depuis le Discord : Culte du code

Sujet

[Bot]

Bonjour,
Le lien de votre code ne semble pas accessible (Erreur 404: page not found).

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Salut, peut-être le fait que mon repo soit privé empêche l’accès

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Je vais changer cela

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

https://github.com/WanisC/Boolean-Expressions/blob/main/src/automate.c

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

et maintenant ?

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

J’ai accès.
Avez-vous tenté de lancer votre programme avec l’outil valgrind ?

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Non, je ne connais pas cet outil.

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Cela vous permettra d’éviter de debug votre programme avec des `printf` et de résoudre votre problème plus facilement.
Vous devriez apprendre à utiliser également un debugger (`gdb` par exemple`).

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Votre programme doit être compilé avec les flags `-g` et `-ggdb3` afin de demander à votre compilateur `gcc` d’ajouter des informations de debug dans votre binaire (format DWARF).

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Vous pourrez ensuite installer `gdb` et/ou `valgrind`.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

D’accord c’est noté, je vais me pencher dessus.

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Lancer votre programme compilé avec ces flags vous permettra de voir l’endroit exact où se trouve l’erreur, par exemple:
1. Lancer `gdb ./a.out`
2. Le programme s’arrête automatiquement sur votre problème (segfault par exemple)
3. Puis afficher la backtrace avec la commande: `bt` à entrer dans l’interface de `gdb`
4. Les fonctions et la ligne exact dans votre code source va s’affiche (grâce aux flags de debug insérer lors de la compilation)

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

L’outil `valgrind` n’est pas un debugger mais pour votre problème il vous permettra d’aller encore plus loin.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

En effet, il est possible qu’une variable de votre programme soit mal initialisée et donc ses informations seront aléatoires (en fonction des données contenues dans votre RAM à ce moment là, par exemple si vous venez d’allumer votre ordinateur il est fort probable que votre RAM soit rempli de valeur NULL et donc que la valeur de votre variable soit initialisée à 0 mais au bout de plusieurs lancement de programmes puis fin de programme la RAM va être initialisée avec des valeurs qui ne seront peut être pas 0), c’est peut-être la raison pour laquelle votre programme segfault une fois sur deux.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

L’outil `valgrind` est capable de détecter les problèmes de variable non-initialisée même dans le cas où votre programme ne segfault pas.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

D’accord, merci pour vos explications.

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Merci j’ai pu savoir où se trouve mon problème normalement, il me reste plus qu’à comprendre la cause.

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Vous pouvez utiliser la commande `bt` comme mentionné plus haut pour voir chaque fonction appelante.
Vous pouvez également voir que votre variable `deb` semble avoir une valeur incohérente pour une adresse (pointeur).

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Donc sur cette capture, je dois en conclure que l’erreur est causée par

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Oui.
Vous pouvez afficher dans `gdb` le contenu des variables avec la commande `print` ou plus court `p nom_de_la_variable`.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Par exemple: `p deb`.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

En effet, de tenter d’accéder au champ `p` de la structure `deb` semble cause le segfault.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

et en faisant la même démarche mais sur ->p

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Pouvez-vous m’envoyer une capture d’écran de la commande: `bt` ?

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Capture du retour de la commande

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Vous pouvez-voir ici que le contenu de deb à changer au bout de la deuxième récursivité comme ce que vous aviez identifié.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

C’est exact

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Cela serait dû à la ligne: `automate.c:33`.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

En effet, la première itération va mettre à jour `deb->suiv`.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Cette mise à jour correspond au retour de la fonction `deb_sup_t`, donc soit 0 ou soit 1.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Lors du deuxième passage `deb->suiv` vaut soit 0 soit 1 + l’offset du champ `suiv`.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Ce n’est qu’une supposition, afin d’être certain vous pouvez poser un breakpoint à la ligne 33 de votre fonction inserer_trie.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Pour cela:
1. Ouvrez votre programme avec gdb: `gdb a.out`
2. Poser un breakpoint: `b automate.c:33`
3. Lancer à nouveau votre programme: `run` ou `r`

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Le programme va s’arrêter sur la ligne automate.c:33 et vous pourrez afficher les variables avant qu’elles ne soient modifiées

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Voici les variables avant la modification en posant un breakpoint à la ligne 33 du fichier automate.c

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Vous pouvez afficher la structure ainsi: `p *t`.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Le problème se trouve ici.
Votre champ `suiv` vaut NULL et pourtant vous essayé d’accéder au champ `deb->p`.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

deb->suiv = inserer_trie(deb->suiv,t); // ligne 33

int deb_sup_t (strut transition *deb, strut transition *t) {
    if (deb->p > t->p) return 1; // ligne 20
....

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Bizarre

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

La variable deb ici représente les transitions de mon automate

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

La correction pourrait éventuellement être de modifier le return code afin de ne pas passer un `int` mais plutôt d’assigner un nouveau nœud à votre champ `suiv`.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Malheureusement je ne peux pas modifier le squelette du code qui nous est fourni.

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Donc je devrais résoudre le problème depuis la méthode AUTOMATE déterminise (AUTOMATE A)

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Il sera nécessaire, dans ce cas, de vérifier le retour de la fonction `deb_sup_t` à part puis d’assigner ensuite un nouveau nœud de transition en fonction du retour de cette booléenne.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Par exemple:
C’est à vérifié, je n’ai pas connaissance de l’entièreté du code, mais c’est une idée.

if (inserer_trie(deb->suiv,t) == 1) {
  return dev->suiv;
}
return deb;

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Votre fonction va tout d’abord vérifier si: `if (!deb) return t;`, ce qui aura conséquence de protéger des segfault si `deb->suiv` vaut NULL.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Cependant la méthode inserer_trie renvoie une *struct transition* et non pas un int.

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Seulement la méthode deb_sup_t retourne une valeur booléenne.

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Oui, c’est la raison de votre SIGSEGV.
Le champ `suiv` cependant est une transition.

strut transition { // Transition de l'état p vers l'état q ave la lettre a
    unsigned int p;
    har a;
    unsigned int q;
    strut transition *suiv;
};

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Oui, c’est une deuxième erreur dans votre code.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

https://cdn.discordapp.com/attachments/1185573336252690484/1185591229749149696/Capture_decran_2023-12-16_153555.png?ex=65902ae0&is=657db5e0&hm=843b6d8baf604a022abff968a257bc40e0d704f9bdd221d8bd07aa1243d6af8b&

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Mais pour le changement du contenu de deb dans cette capture, cela n’est-il pas normal car lors du premier appel deb contient A.T (toutes les transitions de mon automate) et lors du deuxième appel nous appellons seulement sur deb->suiv.

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Vous pourriez essayer une approche différente pour bien comprendre ce qu’il se passe.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Vous pouvez à nouveau utiliser le debugger `gdb` et exécuter les instructions ligne par ligne

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Vous pouvez poser un breakpoint au début de la fonction `ajoute_une_transition`: `b ajoute_une_transition`.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Lancez le programme avec `run`, puis utilisez la commande `n` (next) pour aller à la ligne suivante et ne pas entrer dans le code des fonctions ou `s` (step) pour entrer dans le code de vos fonctions.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Vous pourriez ainsi afficher ligne par ligne les valeurs de vos variables et mieux comprendre leur changement ligne par ligne.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Vous pouvez même mettre un point d’arrêt (breakpoint) au niveau du point d’entrée de votre programme (fonction `main`) avec de la patience vous finirez par comprendre ce qu’il se passe.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Après avoir posé un breakpoint ce message ne fait qu’apparaître.

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Avez-vous compilé avec les flags `-g` et `-ggdb3` ?

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Oh j’ai oublié désolé.

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Courage, vous allez y arriver ! 🙂

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Je suis bien obligé d’y arriver ^^

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Mais merci de votre patience.

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Pour la première insertion tout est bon.

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Vous pouvez maintenant continuer avec la commande `step` ou `next`.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Une fois à la 2e cette transition n’est pas correcte.

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

q devrait valoir 2

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

et non 1

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

ah non je me suis trompé

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Ceci est la création de mon automate.

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Je suis enfin à ma méthode déterminise ^^

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Désolé pour l’attente mon expression régulière est plutôt grosse.

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Je comprends, j’espère que la compréhension de votre problème s’éclaire.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Dans le débuggeur, existe-t-il une manière de sauter une partie de code ? Plus précisément j’aimerais si possible sauter la partie de la création de mon automate ainsi que la suppression des epsilons transitions afin d’arriver directement sur ma méthode de déterminisation.

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Oui, la commande next permet de ne pas entrer dans ces fonctions, vous pouvez également poser un breakpoint après ces bouts de code puis faire un `c`, continue pour aller directement au prochain breakpoint.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Il est également possible de faire des breakpoint conditionnel, par exemple en fonction d’une valeur d’une variable s’arrêter sur le breakpoint ou non, voire aller encore plus loin en écrivant des scripts à la volée ou même dans un fichier dédié à gdb, cela permet d’automatiser des tests par exemple.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

D’accord merci pour les précisions, cela me permettra de gagner un peu de temps.

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Je me trouve juste avant l’insertion causant le problème.

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Avant l’entrée dans la méthode inserer_trie voici les valeurs de deb et t

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Sachant que deb représente les transitions de A_determinise (l’automate déterministe que je construis).

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Normalement j’ai compris

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

La segmentation fault est déclenchée car on ne peut pas accéder à l’adresse mémoire de deb->suiv

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Oui.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Je suis peut être allé un peu vite dans mon explication précédente mais c’était ce que j’ai essayé de vous dire.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Voir ici.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Vos explications étaient claires pour moi ne vous inquiétez pas. C’est juste que c’est une première pour moi les débuggeurs ^^

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Je vois, vous ne pourrez probablement plus vous en passer maintenant.
Vous allez être capable de résoudre vos problèmes plus facilement.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Il faut seulement s’armer de patience.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Effectivement.

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Juste ce qui me trouble c’est comment j’ai pu donc faire dans ma méthode supprimer_epsilon_transitions pour ne pas avoir ce même problème.

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Il n’y a pas de notion de récursivité dans cette fonction, c’est sans doute plus aisé de visualiser le fonctionnement.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Ainsi une simple boucle permet de passer à l’état suivant:
`struct transition *next = supp_e->suiv;`

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

La récursivité à tendance à poser des problèmes de représentation car elle est moins intuitive qu’une boucle.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Le principe est cependant semblable à une boucle.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Les résultats d’une fonction récursive sont en général passer en paramètre de la fonction récursive ce qui a pour effet d’enregistrer automatiquement en mémoire les précédentes valeurs d’une fonction, là où avec une boucle il est nécessaire d’allouer de la mémoire manuellement pour les valeurs précédentes si celle-ci change à chaque tour de boucle.
Ce n’est peut être pas clair pour le moment et mon explication peut sembler évasive pour l’instant mais un exercice intéressant pour bien comprendre ces deux concepts serait de: s’entraîner à coder un programme qui utilise une fonction récursive puis coder un même programme qui n’utilise pas de récursivité mais uniquement des boucles, cela permettra de mieux appréhender les différences.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

La récursivité est en général à proscrire quand c’est possible, pour plusieurs raison:
– La récursivité est limité en nombre de récursion car elle va utiliser de la mémoire RAM qui est limité en nombre, cela est parfois difficile à contrôler par rapport à une démarche itérative (boucle et allocation manuelle)
– Elle rend le debug plus difficile, en effet, comme vous avez pu le voir avec `gdb` il peut être plus difficile de comprendre ce qu’il se passe car la même fonction dans la backtrace apparait
– La difficulté à maintenir le code, principalement lié au fait de la difficulté de visualisation, cela reste cependant qu’une question d’habitude
L’avantage principal d’une récursion reste le gain de lignes de code conséquent par rapport à une boucle.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

C’est avant tout une question de goût.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Compris.

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Bonsoir , en continuant mon projet j’ai implémenté une méthode permettant de rendre complet mon automate cependant bien que mon résultat possède les bonnes transitions ainsi que le bon nombre d’états lors de l’affichage, mes transitions sont affichées à l’infini.

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Le temps qui vous est imparti est peut-être limité mais il serait intéressant d’avoir une visualisation avec un logiciel tel que GraphViz afin d’avoir un affichage graphique sur les états et transitions de votre automate.

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Je viens tout juste de régler mon soucis ^^

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Félicitation !

——————–
badwolf1337 – Envoyé depuis le Discord : Culte du code

[Bot]

Mais je compte également jeter un petit coup d’oeil à votre proposition.

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

Merci.

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Bot]

[Résolu] Méthode de déterminisation d’un automate (erreur Segmentation fault)

——————–
cwano – Envoyé depuis le Discord : Culte du code

[Auteur]

Réponses