Discussion :

[evilynux]

Avertissement, ce qui suit est peut-être spécifique à GHDL (un simulateur VHDL libre), je vais tout de même poser ma question puisque personne ne semble pouvoir m'éclairer.

Essayant de faire communiquer GHDL avec un autre processus, j'utilise les mécanismes POSIX de "named" semaphores et de mémoire partagée. Avant d'intégrer le tout à GHDL, j'ai fait mes tests en écrivant de simples client/serveur utilisant les "named" semaphores POSIX et tout fonctionne à merveille.

Cependant, en intégrant le tout à GHDL (i.e. à ma librairie partagé VHPI), je suis confronté à un imprévu: le processus GHDL ne se réveille jamais i.e. sem_wait() ne retourne jamais même si une semaphore est "postée" par un autre processus.

J'arrive à contourner le problème en "poolant" pour la sémaphore, mais je préférerais de loin trouver le problème. Pour ce que ça vaut, voici ce que je fais pour contourner le problème: "while( sem_trywait(csem) == -1 ) usleep(100);" .

Donc, voici enfin ma question, est-ce que quelqu'un a une idée de ce qui pourrait causer le problème? Qu'est-ce qui pourrait faire en sorte que le sem_wait() ne retourne jamais alors qu'il y a 1 ou + sémaphores de disponible?

[Plorf]

est-ce que ton sem_wait pourrais être équivalent à un truc style pthread_join ?
C'est à dire qu'il attends la fin d'un processus fils ou une connerie du style ?
Ou peux-être plus simplement que wait prend un argument quelconque qui s'il est absent fait une boucle infini.

[evilynux]

Je ne sais pas si sem_wait attend la fin de l'exécution d'un processus enfant...
Si je me fis à la manpage, rien ne semble indiquer cela ("man sem_wait", voir premier paragraphe de description).

Pour ce qui est des arguments passé à sem_wait, seul un pointeur sur la sémaphore est attendu.
Alors ça ne semble pas être cela non plus.

Merci d'avoir tenté de m'aider, mais malheureusement ça ne semble pas s'appliquer.

À noter que depuis mon post, j'ai implémenter une librairie partagé similaire à celle pour GHDL mais pour ModelSim et j'ai exactement le même problème. Je dois donc faire qqch de pas correct...

[Plorf]

Attention des fois il y a des manpages incorrect voir ambigue.

Sinon pour ta librairie je connais pas du tout le contexte donc dur dur de t'aider....

[evilynux]

Ça m'est difficile de produire un exemple avec le problème puisque les exemples simples fonctionne bien. Jusqu'à maintenant, les problèmes commencent lorsque mon code est une librairie partagé.

Alors j'comprends tout à fait que tu ne puisses m'aider davantage, merci quand même!
Sinon, peut-être que ça sonnera une cloche pour qqn d'autre.

[Plorf]

vérifie les données que tu transmets

faire du débugage en mode pas à pas, et regarde au moment des appels, vérifie les valeurs des données, et les arguments, tout ça.

et si tu peux pas faire de pas à pas, essaye avec bcp bcp de printf !