tuer

vt.

[programmation] Détruire un processus qui s'est bloqué ou planté, afin par exemple de pouvoir le relancer pour qu'il mène sa tâche à bien. Voir interblocage, plantage. Il n'est pas toujours possible de tuer et de relancer un processus, en particulier si ce programme doit mettre à jour une base de données : certaines données pourraient être mises à jour plusieurs fois et pas d'autres... C'est le cas en particulier des transactions. Le meurtre se commet généralement par l'envoi d'un signal adéquat au processus, qui se suicide.