Ce qui se passe en langage d'assemblage lorsque vous appelez une méthode/fonction?

Si j'ai un programme en C++/C (la langue n'a pas beaucoup d'importance, juste pour illustrer un concept):

#include <iostream>    

void foo() {
    printf("in foo");
}

int main() {
    foo();
    return 0;
}

Ce qui se passe dans l'assemblée? Je ne suis pas à la recherche de code assembleur que je ne suis pas allé loin en elle encore, mais ce qui est le principe de base?

  • Notez que vous ne l'appelez pas "méthodes" en c, juste de "fonctions". C'est pourquoi il n'a pas de sens de faire comme si c et c++ sont dans la même langue.
  • "la langue n'a pas d'importance combien": les concepts sont assez similaires pour les langages compilés. Les langages interprétés (comme php, javascript) peuvent être très différents. Je crois que vous êtes à la recherche pour le comportement de langages compilés?
  • C++ n'a pas de notion de méthodes, seules les fonctions de membre.
InformationsquelleAutor Gordon Gustafson | 2009-10-18
  1. 44

    En général, c'est ce qui se passe:

    1. Arguments de la fonction sont stockés sur la pile. Dans la plate-forme de commande spécifique.
    2. Emplacement pour la valeur de retour est "alloué sur la pile
    3. L'adresse de retour de la fonction est également stockée dans la pile ou dans un but spécial PROCESSEUR inscrire.
    4. La fonction (ou en fait, l'adresse de la fonction) est appelé, soit par l'intermédiaire d'un PROCESSEUR spécifique call instruction ou dans le cadre d'un jmp ou br instruction (saut/branche)
    5. La fonction lit les arguments (le cas échéant) de la pile, et l'exécute le code de la fonction
    6. Valeur de retour de la fonction est stockée dans l'emplacement spécifié (pile ou à des fins spéciales PROCESSEUR inscrire)
    7. Exécution passe à l'appelant et la pile est vide (en rétablissant le pointeur de pile à sa valeur initiale).

    Les détails de la ci-dessus varient d'une plateforme à une autre, et même d'un compilateur de compilateur (voir, par exemple, STDCALL vs CDECL conventions d'appel). Par exemple, dans certains cas, les registres du CPU sont utilisés au lieu de stocker des trucs sur la pile. L'idée générale est la même

    • Est la fonction de la superficie de pile vraiment effacé dans l'étape 7, ou est-il juste que le pointeur de pile dans restaurée à son état précédent? Il semble que la réinitialisation de la fonction de restes de la pile de la mémoire à chaque fois serait plutôt inefficace...
    • Non, généralement, le pointeur de pile (qui est habituellement un PROCESSEUR inscrire) est tout simplement restauré à sa valeur initiale (c'est donc un unique PROCESSEUR de l'instruction). J'ai mis à jour ma réponse à clarifier ce
    • se souvenir: à la plate-forme x64 seule convention d'appel seulement.
    • Nope, x64 convention d'appel est différent entre la plupart des Systèmes d'exploitation (qui utilisent la convention spécifié par AMD) et Windows (qui utilise sa propre différent).
    • Que penser de la valeur de retour, à quel point c'est le retour de la valeur affectée à la variable "en attente" pour elle? Si la valeur de retour est sur les fonctions de la pile, est-ce à dire que la variable "temps d'attente" pour la valeur de retour, dans le code appelant, est affectée avant les fonctions pile est effacée?
    • Essayez de Systèmes Informatiques: Un point de vue programmeur et ses problèmes de codage, vous aurez beaucoup de connaissances sur la façon de briser le code de l'assembly.

    InformationsquelleAutor Isak Savo
  2. 13

    Vous pouvez voir par vous-même:

    Sous Linux 'compiler' votre programme avec:

    gcc -S myprogram.c

    Et vous obtiendrez une liste de programme en assembleur (myprogram.s).

    De sûr, vous devriez savoir un peu plus sur l'assembleur pour comprendre (mais il vaut la peine de l'apprentissage, car il permet de comprendre le fonctionnement de votre machine). L'appel d'une fonction (architecture x86) c'est en gros:

    • mettre une variable sur la pile
    • mettre la variable b sur la pile
    • mettre la variable n sur pile
    • saut à l'adresse de la fonction
    • charger des variables de la pile
    • faire des trucs en fonction de
    • propre pile
    • saut de retour à la page principale
    • Je trouve cette option très intéressante, cependant est-il un moyen pour produire le code assembleur intel saveur au lieu de at&t de la saveur?
    • Commentaire vient "un peu" trop tard (ca. 6 ans, mais qui s'en soucie :-P), mais vous pouvez simplement ajouter -masm=intel à la gcc de commande.
    InformationsquelleAutor
  3. 3

    Ce qui se passe dans l'assemblée?

    Une brève explication: La pile actuelle de l'état est enregistré, une nouvelle création de la pile et le code de la fonction qui doit être exécutée est chargé et exécuté. Cela implique de pénaliser les quelques registres de votre microprocesseur, certains frénétique et-vient de lecture/écriture de la mémoire et une fois fait, la fonction d'appel de la pile de l'etat est restaurée.

    InformationsquelleAutor dirkgently
  4. 1

    Arguments sont poussés dans la pile et "appel" l'instruction est faite

    Appel est un simple "jmp" avec en poussant une adresse de l'instruction dans la pile ("ret" à la fin d'une méthode de popping et sautant sur lui)

    • Les Arguments ne sont pas nécessairement poussé sur la pile. Cela dépend beaucoup de l'architecture, la convention d'appel, compilateur, etc...
    InformationsquelleAutor Valentin Golev
  5. 1

    Je pense que vous voulez prendre un coup d'oeil à la pile d'appel pour obtenir une meilleure idée de ce qui se passe lors d'un appel de la fonction: http://en.wikipedia.org/wiki/Call_stack

    InformationsquelleAutor vehomzzz
  6. 1

    Ce qui se passe? En x86, la première ligne de votre fonction principale pourrait ressembler à quelque chose comme:

    call foo

    La call instruction va pousser l'adresse de retour sur la pile, puis jmp à l'emplacement de foo.

    • Du bon travail. Si la question est ce que fait l'instruction de le faire, est l'un des quelques réponses qui traite vraiment.
    InformationsquelleAutor mrduclaw
  8. 1

    Ce qui se passe?

    C imite ce qui se passera dans l'assemblée...

    Il est si proche de la machine que vous pouvez réaliser ce qui va se produire

    void foo() {
    printf("in foo");

/*

db mystring 'in foo'
mov eax, dword ptr mystring
mov edx , dword ptr _printf
push eax
call edx
add esp, 8
ret
//thats it
*/

}

int main() {
    foo();
    return 0;
}
    • De côté: s'il vous plaît arrêter vos autres spam / troll messages... ils vont tout simplement être supprimé.
    InformationsquelleAutor Mandrake
  9. 0

    1 - un appel le contexte est établi sur la pile

    2 - les paramètres sont poussés sur la pile

    3 - un "appel" est réalisée à la méthode

    InformationsquelleAutor jldupont
  10. 0

    La général idée est que vous avez besoin de

    1. Enregistrer le local actuel de l'état
    2. Passer des arguments à une fonction
    3. Appel de la fonction réelle. Il s'agit de mettre l'adresse de retour quelque part pour le RET instruction sait où pour continuer.

    Les caractéristiques varient en fonction de l'architecture à l'architecture. Et le plus spécifique, les détails peuvent varier entre les différentes langues. Bien qu'il n'y a habituellement des moyens de contrôler dans une certaine mesure afin de permettre l'interopérabilité entre les différentes langues.

    Un assez bon point de départ est la Article de wikipédia sur les conventions d'appel. Sur x86, par exemple, la pile est presque toujours utilisé pour passer des arguments aux fonctions. Sur de nombreuses architectures RISC, toutefois, les registres sont principalement utilisés alors que la pile n'est nécessaire que dans des cas exceptionnels.

    InformationsquelleAutor Joey
  11. 0

    L'idée commune est que les registres qui sont utilisés dans l'appel de la méthode sont poussés sur la pile (pointeur de pile est en ESP registre), ce processus est appelé "pousser les registres". Parfois, ils sont également mis à zéro, mais cela dépend. Assemblée programmeurs ont tendance à libérer plus de registres puis la commune 4 (EAX, EBX, ECX et EDX sur x86), avoir plus de possibilités à l'intérieur de la fonction.

    Lorsque la fonction se termine, le même phénomène se produit dans le sens inverse: la pile est restauré à l'état d'avant l'appel. Ceci est appelé le "popping les registres".

    Mise à jour: ce processus ne doit pas nécessairement se produire. Les compilateurs peuvent optimiser loin et en ligne vos fonctions.

    Mise à jour: normalement les paramètres de la fonction sont poussés sur la pile dans l'ordre inverse, lorsqu'elles sont récupérées à partir de la pile, ils apparaissent comme si dans l'ordre normal. Cet ordre n'est pas garanti par C. (réf: Inner Loops par Rick Stand)

    InformationsquelleAutor Abel