Changement de contexte d'exécution

Bonjour,

Je cherche à comprendre le concept de la pile d’exécution à travers des programmes C et la manipulation des registres esp et ebp. J'aimerais pour cela résoudre la situation suivante :
- La fonction main démarre et lance une fonction f
- La fonction f contient une boucle infinie
- Comment faire en sorte que le programme revienne dans le main avant d'entrer dans cette boucle infinie, en manipulant les registres esp et ebp ?

Je pensais au départ qu'il s'agissait d'enregistrer les registres esp et ebp dans le main, puis de les restaurer avant l'instruction de boucle infinie pour quitter la fonction, mais ma solution ne fonctionne pas et je ne comprends pas vraiment pourquoi ...

Je vous remercie d'avance pour votre aide.

Salut,

Il faut aussi sauvegarder/restaurer l'état des registres du CPU car il peut y avoir des calculs en cours lors de l'interruption faite par le scheduler.
Tu as bien créé une pile dédiée pour ton processus qui lance ta fonction ?
=> le changement de contexte se fait forcément en assembleur

Tu laisses ça au système.

Si tu veux appeler ta fonction f depuis main sans qu'elle soit bloquante, il faut que tu créer un thread, la fonction s’exécutera alors en parallèle et tu pourras la contrôler depuis les fonctions dédiées à la gestion des threads.


Si tu veux comprendre le fonctionnement, le compilateur créée un prologue et un épilogue pour chaque fonction. Au niveau assembleur, ce prologue va créer ce qui s’appelle un cadre de pile : il copie la valeur de ESP dans EBP (après l'avoir sauvegardé sur la pile), diminue l'adresse de ESP avec le nombre d'octets que la fonction réserve sur la pile (pour les variables locales notamment). L'épilogue va recopier l'adresse stockée dans EBP dans ESP pour restaurer la valeur de la pile en début de fonction.

Ta proposition, c'est le genre de chose fait par le couple de fonctions setjmp() et longjmp().

Bonjour Médinoc,

En fait notre prof nous a d'abord illustré le fonctionnement de setjmp et longjmp. Mais il s'agit maintenant de le faire nous même avec les registres esp et ebp.

Alors pose la question à ton professeur, il est sensé t'avoir expliqué le principe de ce qu'il veut.

Tu as les explications ici.

Désolé pas d'équivalent sur le wikipedia français.