Une pile est gérée en Last in, first out.
En informatique, une pile (en anglais stack) est une structure de données fondée sur le principe « dernier arrivé, premier sorti » (ou LIFO pour Last In, First Out), ce qui veut dire que les derniers éléments ajoutés à la pile seront les premiers à être récupérés. Le fonctionnement est celui d'une pile d'assiettes : on ajoute des assiettes sur la pile, et on les récupère dans l'ordre inverse, en commençant par la dernière ajoutée.
La plupart des microprocesseurs gèrent nativement une pile.
Dans l'architecture x86 32bits, le registre ESP sert à indiquer l'adresse du sommet d'une pile dans la RAM. Les opcodes "push" et "pop" permettent respectivement d'empiler et de dépiler des données. Les opcodes "call" et "ret" utilisent la pile pour appeler une fonction et la quitter par la suite en retournant à l'instruction suivant immédiatement l'appel.
En cas d'interruption, les registres EFLAGS, CS et EIP sont automatiquement empilés. Dans le cas d'un changement de niveau de priorité lors de l'interruption, les registres SS et ESP le sont aussi.
Certains processeurs n'utilisent pas de registre générique, mais uniquement la pile. Par exemple, les calculatrices Hewlett-Packard, les processeurs Focus, ou les machines Burroughs de la gamme B 5000
Dans la plupart des langages de programmation compilés, la pile est l'endroit où sont poussés tout ou partie des paramètres d'appel des procédures ou fonctions. Par ailleurs, on y crée un espace pour des variables locales. La pile est ainsi formée de cadres de piles (stack frames) comprenant pour chaque procédure en cours d'appel imbriqué ses paramètres, ses variables locales et son point de retour.
Voici les primitives communément utilisées pour manipuler des piles. Il n'existe pas de normalisation pour les primitives de manipulation de pile. Leurs noms sont donc indiqués de manière informelle.
Procédure PUSH (objet : element) // ajouter un élément sur la pile Début Si sommet < max Alors sommet <- sommet + 1 pile[sommet] <- element Sinon Afficher "Pile pleine" Fin Si Fin
Fonction POP () : objet // enlever un élément de la pile et le renvoyer objet : element Début Si non vide() Alors element <- pile[sommet] Sommet <- Sommet - 1 Sinon Afficher "Pile vide" Fin Si Retourner element Fin
En matière de structures abstraites, on peut considérer qu'une pile est un monoïde libre, c’est-à-dire un ensemble muni d'une loi de composition interne (la concaténation) associative et possédant un élément neutre.