Dark Integers: calculs à usage général sur les routeurs Internet

Greg Egan dans sa fiction "Dark Integers" (histoire de deux univers avec deux mathématiques différentes communiquant au moyen de prouver des théorèmes autour de l'incohérence dans l'arithmétique) prétend qu'il est possible de construire un ordinateur à usage général uniquement sur des routeurs Internet existants en utilisant uniquement ses fonctionnalités de base de commutation de paquets (et de correction de somme de contrôle, pour être précis).

Est-ce possible, en principe?

Mise à jour.

Pour rendre la question plus précise:

Quel est un ensemble absolument minimal de propriétés que le réseau de routeurs doit avoir pour pouvoir y construire un ordinateur à usage général?

Cela peut être utile:

L'informatique parasitaire est un exemple d'une technologie potentielle qui pourrait être considérée simultanément comme une menace ou un ajout sain à l'univers en ligne. Sur Internet, une communication fiable est garantie par un ensemble standard de protocoles utilisés par tous les ordinateurs. Ces protocoles peuvent être exploités pour calculer avec l'infrastructure de communication, transformant Internet en un ordinateur distribué dans lequel les serveurs effectuent involontairement des calculs pour le compte d'un nœud distant . Dans ce modèle, une machine force les ordinateurs cibles à résoudre une partie d'un problème informatique complexe simplement en les engageant dans une communication standard.

Dans le site de calcul parasite, vous pouvez obtenir des informations détaillées sur la façon de résoudre un problème 3-SAT en utilisant la somme de contrôle des paquets TCP .

Autres liens utiles:

• Rapport de séminaire sur l'informatique parasite par KKMaharana
• Article de Nature sur l'informatique parasitaire (août 2001)

Une approche pour l'utilisation de routeurs Internet, etc. comme ordinateur a été publiée dans une lettre dans Nature par Albert-Laszlo Barabasi, Vincent W. Freeh, Hawoong Jeong et Jay B. Brockman. Ils ont appelé l'idée de l' informatique parasitaire . Leur idée est d'utiliser les vérifications effectuées dans les protocoles TCP pour effectuer des calculs et résoudre des problèmes NP-complets hors ligne, quoique en ligne. Le travail a été étendu ici à une machine virtuelle pleinement fonctionnelle. Beaucoup de documentation (en allemand) et même le code source sont fournis.

Le livre Silence on the Wire décrit comment cette idée peut être étendue pour utiliser les paquets flottant sur Internet comme RAM en envoyant des paquets mal formés contenant des données qui sont ensuite renvoyées. La quantité de RAM est égale au nombre de paquets envoyés multiplié par la taille des paquets.