Déployeur universel

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur les redirections Cet article concerne la notion d'informatique théorique. Pour le concept philosophique, voir Déployeur universel de programmes.

Un déployeur universel est un type d'algorithme qui entrelace plusieurs calculs et les exécute en quelque sorte en parallèle.

De façon plus précise, étant donné une famille potentiellement infine (p_i) de programmes à exécuter, dont l'exécution ne termine pas forcément, le déployeur universel procédera en exécutant une étape de p_1, puis une étape de p_1 puis p_2, puis une étape de p_1, p_2, p_3, et ainsi de suite. On remarque que l'étape j du programme p_i est exécutée au temps paire(i,j), où paire(x,y) est la fonction de Cantor qui associe un entier à une paire d'entiers.