tuer

Une définition du Jargon Français.
Aller à : Navigation, rechercher

verbe transitif.  [programmation]. Détruire un processus qui s'est bloqué ou est planté, afin par exemple de pouvoir le relancer pour qu'il mène sa tâche à bien.

Il n'est pas toujours possible de tuer un processus puis de relancer le programme correspondant dans des conditions adéquates, en particulier si ce dernier doit mettre à jour une base de données : certaines données pourraient être mises à jour plusieurs fois et pas d'autres (voir transaction).

Le meurtre se commet généralement par l'envoi d'un signal adéquat au processus, qui se suicide, ou en dernière extrémité et à travers lui au noyau, qui le massacre.

Voir aussi geler, interblocage.