Sur le C/C++ allocation de pile
Bien que l'étude de C++ (et C) j'ai eu quelques doutes concernant le fonctionnement de l'allocation de pile, que je ne peux pas trouver une solution:
- Ne l'allocation de pile d'appel de malloc/free fonctions implicitement? Si non, comment est-il assure il n'y a pas de conflit entre l'allocation de pile et le tas de l'allocation?
- Si oui, ne l'allocation de pile en C++ implicitement appel de new/delete trop? Si oui, ne surcharge de l'opérateur new pour une classe d'affecter son allocation de pile?
Il a abouti à des résultats confus dans VC++; mais que VC++ n'est pas entièrement conforme à la norme (ou alors j'ai entendu), j'ai décidé que je ferais mieux de demander ici...
La principale raison que j'ai eu le pressentiment était parce qu'il n'est jamais mentionné de combien d'espace est attribué pour la pile; la taille maximale de l'objet, qui ont tous deux été répondu dans les commentaires..
OriginalL'auteur Leafy | 2009-03-26
Vous devez vous connecter pour publier un commentaire.
Pile de répartition de ne pas utiliser quoi que ce soit comme malloc/free. Il utilise un morceau de la mémoire appelée pile de programme qui est juste une ligne de segment de mémoire.
Il y a un registre spécial qui stocke le haut de la pile. Lorsqu'un nouvel objet est créé sur le haut de la pile est soulevée ainsi, l'augmentation de la pile, lorsqu'un objet est libéré (est hors de portée), le haut est abaissé ainsi, la diminution de la pile.
Si vous essayez d'affecter un trop grand objet sur la pile ou d'aller trop profondément dans la récursivité de la tête de dépasser la taille maximale de la pile, ce qui est appelé un débordement de pile.
Remarque: direction réelle de la pile de la croissance (augmentation ou de la diminution des adresses) va varier en fonction de la, mais l'idée générale est la même indépendamment de la direction.
BTW, ne pas vous attardez sur la pile croissante et décroissante. Sur x86, la pile grandit vers le bas dans la mémoire pour allouer de l'espace et vers le haut pour le libérer. Voir stackoverflow.com/questions/664744/... et son excellente accepté de répondre 🙂
C'est vrai et certainement important, mais il n'est pas si essentiel pour les gens qui n'ont aucune idée de comment l'allocation de pile fonctionne.
En fait, dans les deux cas, x86 et x86_64, la pile grandit vers le bas. Cela signifie que ESP/RER (pointeur de pile) est décrémenté à chaque fois que quelque chose est alloué. Vous pouvez créer une pile allocateur par allocationg nchar et convertir le pointeur de la à vide ou tout ce que vous avez besoin. `` ALLOC(taille, T) alloc((char[taillesizeof(T)]{0x00})) void * alloc(char * obj) { return (void *)obj; } ``
OriginalL'auteur sharptooth
La réponse à votre première question est Non. La pile n'est pas alloué dans le tas.
Vous devriez lire Quoi et où sont de la pile et le tas d'abord à comprendre les concepts de base.
C'est la base de la pile que difficiles à l'école. Dans la vraie vie, les choses sont plus complexes et la pile n'est pas nesacerily un classique de la pile de la structure, mais peut être interlaved dans le tas.
OriginalL'auteur Suma
Allocation de pile se fait généralement en termes de alloca() ou implicitement par le compilateur.
Un bien-fait alloca() ne nécessite que peu de quelques instructions, et il n'y a pas de coût (voire nécessaire) de libre lorsque vous avez terminé.
Vous pouvez passer un pointeur vers la mémoire allouée par alloca() pour toute autre fonction/méthode qui attend un pointeur. Vous ne DEVEZ JAMAIS retourner un pointeur alloué par alloca().
Voici quelques avantages et inconvénients à l'aide de l'allocation de pile.
OriginalL'auteur plinth
En C et C++, il existe deux types d'allocation de mémoire "automatique", où l'objet est créé pour la durée de vie d'un appel de fonction, et "dynamique", où la mémoire est allouée par une fonction fournie par le moteur d'exécution.
Dans la grande majorité de l'exécution des implémentations, automatique objets sont alloués à l'aide d'un contiguë pile fournies par le système d'exploitation lorsque le thread est créé. La pile commence généralement à une haute valeur de l'adresse, et est décrémenté par la taille de l'objet. Allocations dynamiques (malloc en C, new en C++) utiliser une autre mémoire requise du système d'exploitation. Comme le système d'exploitation connaît les adresses de la pile est de l'aide, il n'alloue pas les mêmes adresses de la dynamique de la demande. Comme la dynamique de la zone n'est pas ordonné, il est souvent appelé le tas.
Donc une "pile" de l'allocation n'a pas de malloc/free. Automatique des objets en C++ appel constructeur et destructeur, mais pas de nouvelles ou de supprimer, en tant que nouveau et supprimer également le code pour gérer la mémoire dynamique.
OriginalL'auteur Pete Kirkham
Il y est une bonne question ici:
Il y a un seul tenant espace d'adressage dans presque tous les C/C++ implémentations, donc la pile et le tas mémoire allouée ne doivent coexister dans l'espace.
Bien que chaque fois que la pile grandit et rétrécit cela n'est pas fait avec chacun des tas allocations, vous pouvez toujours penser à la pile comme un seul grand bloc de mémoire alloué dans le tas. Si la pile augmente au-delà de la limite de ce bloc, nous avons alors un débordement de pile (nom accrocheur... quelqu'un aurait le nom d'un site web après).
Dans un programme multi-threadé, chaque fois qu'un thread commence, une nouvelle pile doit être allouée pour elle, et lorsqu'un thread meurt de la pile peut être libéré. Et il aurait du sens pour ceux qui l'ensemble de la pile des blocs sera alloué en utilisant le même tas de gestion comme exposée par le biais de
malloc/free.Donc - très approximativement parlant, vous pouvez penser de la pile comme étant un type d'objet qui coexiste dans le tas. L'intégralité de la pile est
malloc-ed en une seule fois, lorsqu'un thread démarre, et là, ça se suballocated de, et puis ça devientfree-d en une seule fois.Sur Windows, vous pouvez (si vous aimez vivre dangereusement) appelez la même mémoire virtuelle Api vous-même savoir sur la pile et à force de page virtuelle à l'intérieur pour être libéré.
Oh oui, et je
OriginalL'auteur Daniel Earwicker
Non, l'allocation de pile ne fait pas appel de malloc/free. L'ensemble de la pile de l'espace est alloué au début de votre programme. À l'entrée de chaque fonction le pointeur de pile est suffisamment avancé pour permettre l'espace sur la pile pour un "stack frame" qui sera l'endroit où votre pile allouée variables résident.
OriginalL'auteur Paul Mitchell
Kepp à l'esprit que "l'allocation de pile" est un détail d'implémentation. Il n'y a aucune garantie qu'une pile est utilisé pour le stockage automatique. Par exemple, IBM mainframes de l'histoire du monde n'a pas (même si je me dit que leur plus moderne des machines à faire).
OriginalL'auteur James Curran