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

14

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?

Vag
la source
3
La question ne semble pas bien définie. Si c'est le cas, cela n'est pas compréhensible pour ceux qui n'ont pas lu le livre mentionné.
Tsuyoshi Ito
1
Peut-être que la question sera mieux définie si je la formalise. Mais pour le faire correctement, je dois être à plus de la moitié de la réponse.
Vag
1
Il vaudra mieux ajouter "Donc, la question: n'ayant qu'un réseau de machines de commutation de paquets IP, il est possible de construire en plus un ordinateur à usage général? Ou je dois aller plus loin et supposer a) avoir un paquet unique ou b) ayant une source de paquets constants contrôlable? " ?
Vag
1
L'auteur ne plonge pas beaucoup dans les détails, il a écrit quelque chose comme je l'ai dit - juste un ordinateur sur des routeurs, sans détails.
Vag
3
Je ne sais pas pourquoi c'est hors sujet. C'est certainement un peu là-bas et un peu vague. Mais c'est une question intéressante sur les modèles universels de calcul
Suresh Venkat

Réponses:

21

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:

Marzio De Biasi
la source
17

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.

Dave Clarke
la source
1
La RAM est bonne. Mais qu'en est-il de l'ALU? Comment effectuer, disons, un calcul composé de deux calculs et un troisième en utilisant les résultats de ces deux?
Vag
1
@Vag: J'ai amélioré ma réponse avec un lien décrivant comment cela peut être fait.
Dave Clarke
1
Cool! Désolé, je ne peux pas accepter deux réponses simultanément!
Vag