Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Exécution (informatique)
Résumé
En informatique, l'exécution est le processus par lequel un ordinateur ou une machine virtuelle met en œuvre les instructions d'un programme.
Les instructions du programme entraînent des séquences d'actions élémentaires sur la machine d'exécution. Les effets qu'entraînent ces actions sont conformes à la sémantique des instructions du programme.
Un programme en cours d'exécution est appelé un processus.
L’exécution symbolique permet d'explorer les chemins d'exécution possibles d'un programme informatique à partir des symboles contenus dans son code source. Elle diffère de l’exécution concrète qui ne suit qu'un seul des chemins possibles. Alors que l’exécution concrète met directement à jour les variables en mémoire, l’exécution symbolique enregistre les formules logiques liant les variables entre elles. Le but est d'analyser statiquement un programme pour trouver des bugs ou prouver certaines propriétés du programme. Il s'agit d'une interprétation abstraite d'un programme.
Le contexte dans lequel l'exécution se déroule est crucial. Très peu de programmes s'exécutent sur une machine qui exécute directement les programmes sans l'intervention d'un système d'exploitation. Les programmes contiennent généralement des hypothèses implicites et explicites sur les ressources disponibles au moment de l'exécution. La plupart des programmes sont exécutés avec l'appui d'un système d'exploitation et des bibliothèques d'exécution spécifiques au langage source qui fournissent des services essentiels non fournis par l'ordinateur lui-même. Ce contexte favorable, par exemple, découple généralement un programme de la manipulation directe des périphériques de l'ordinateur, fournissant un service plus général et plus abstrait à la place.
Avant l'exécution, un programme doit d'abord être écrit. Cela se fait généralement dans le code source, qui est ensuite compilé au moment de la compilation (et lié statiquement au moment de la liaison) à un fichier exécutable.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.