2. Sûreté d’exécution
2.1 Erreurs d’exécution
Certains programmes dont l’algorithme est correct peuvent entraîner des comportements non voulus au moment de l’exécution. Dans un langage permissif, en l’absence totale de typage, ces comportements peuvent résulter en une erreur matérielle : ces erreurs, déclenchées au niveau du processeur, signalent une mauvaise utilisation de celui-ci. Par exemple, considérons le code C suivant qui réalise une allocation mémoire à l’adresse p2 , puis cherche à accéder à l’adresse mémoire p1 suivant directement celle de p2 ; exécutée sur certains processeurs (par exemple sur les architectures...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Sûreté d’exécution
Abstraction
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Technologies logicielles Architectures des systèmes"
(
408 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
