Table des matières
19 relations: Allocation de mémoire, Compilation à la volée, Débogueur, Erreur de segmentation, Framework, Fuite de mémoire, GNU, GNU Compiler Collection, GNU Debugger, Gprof, Julian Seward, Linux, Logiciel libre, Mémoire cache, Pile (informatique), Profilage de code, Programmation informatique, Vérification de modèles, X86.
- Débogueur
Allocation de mémoire
L'allocation de mémoire vive désigne les techniques et les algorithmes sous-jacents permettant de réserver de la mémoire vive à un programme informatique pour son exécution.
Voir Valgrind et Allocation de mémoire
Compilation à la volée
La compilation à la volée (aussi connue sous les noms de traduction dynamique, compilation juste-à-temps ou compilation JAT; en anglais, ou), en programmation informatique, est une technique visant à améliorer la performance de systèmes bytecode-compilés par la traduction de bytecode en code machine natif au moment de l'exécution.
Voir Valgrind et Compilation à la volée
Débogueur
Un débogueur ou débugueur (de l'anglais debugger) est un logiciel qui aide un développeur à analyser les bugs d'un programme.
Erreur de segmentation
Une erreur de segmentation (en anglais segmentation fault, en abrégé segfault) est un plantage d'une application qui a tenté d'accéder à un emplacement mémoire qui ne lui était pas alloué.
Voir Valgrind et Erreur de segmentation
Framework
En programmation informatique, un (appelé aussi infrastructure logicielle, infrastructure de développement, environnement de développement., socle d'applications., cadre d'applications ou cadriciel) est un ensemble cohérent de composants logiciels structurels qui sert à créer les fondations ainsi que les grandes lignes de tout ou partie d'un logiciel, c'est-à-dire une architecture.
Fuite de mémoire
En informatique, une fuite de mémoire est un bogue expliqué par une occupation croissante et non contrôlée ou non désirée de la taille des données résidentes en mémoire, ce qui entraine la saturation de la mémoire de l’ordinateur.
Voir Valgrind et Fuite de mémoire
GNU
GNU est un système d’exploitation libre créé en 1983 par Richard Stallman, maintenu par le projet GNU.
Voir Valgrind et GNU
GNU Compiler Collection
, abrégé en GCC, est un ensemble de compilateurs créés par le projet GNU.
Voir Valgrind et GNU Compiler Collection
GNU Debugger
, également appelé GDB, est le débogueur standard du projet GNU.
Gprof
Gprof est un logiciel GNU Binary Utilities qui permet d'effectuer du profilage de code.
Voir Valgrind et Gprof
Julian Seward
Julian Seward est un programmeur britannique, auteur de l'algorithme, du format de fichiers et du compresseur bzip2 en 1996, de l'outil d'optimisation cacheprof en 1999, de la suite d'outils de déboggage Valgrind en 2000, et du compilateur de langage Haskell GHC.
Voir Valgrind et Julian Seward
Linux
Linux ou GNU/Linux est une famille de systèmes d'exploitation open source de type Unix fondés sur le noyau Linux créé en 1991 par Linus Torvalds.
Voir Valgrind et Linux
Logiciel libre
alt.
Voir Valgrind et Logiciel libre
Mémoire cache
Une mémoire cache ou antémémoire est, en informatique, une mémoire qui enregistre temporairement des copies de données provenant d'une source, afin de diminuer le temps d'un accès ultérieur (en lecture) d'un matériel informatique (en général, un processeur) à ces données.
Voir Valgrind et Mémoire cache
Pile (informatique)
En informatique, une pile (en anglais stack) est une structure de données fondée sur le principe « dernier arrivé, premier sorti » (en anglais LIFO pour last in, first out), ce qui veut dire qu'en général, le dernier élément ajouté à la pile est le premier à en sortir.
Voir Valgrind et Pile (informatique)
Profilage de code
En informatique, le profilage de code (ou en anglais) consiste à analyser l'exécution d'un logiciel afin de connaitre son comportement à l'exécution.
Voir Valgrind et Profilage de code
Programmation informatique
Liste d'instructions sur le Commodore 64 La programmation, appelée aussi codage dans le domaine informatique, désigne l'ensemble des activités qui permettent l'écriture des programmes informatiques.
Voir Valgrind et Programmation informatique
Vérification de modèles
model checking''. En informatique, la vérification de modèles, ou en anglais, est le problème suivant: vérifier si le modèle d'un système (souvent informatique ou électronique) satisfait une propriété.
Voir Valgrind et Vérification de modèles
X86
La famille x86 regroupe les microprocesseurs compatibles avec le jeu d'instructions de l'Intel 8086.
Voir Valgrind et X86