Dunkle Ganzzahlen: Allgemeine Berechnungen auf Internet-Routern

14

Greg Egan behauptet in seiner Fiktion "Dark Integers" (Geschichte über zwei Universen mit zwei unterschiedlichen Mathematiken, die durch Beweise von Theoremen über Inkonsistenzen in der Arithmetik kommunizieren), dass es möglich ist, Allzweckcomputer ausschließlich auf vorhandenen Internetroutern aufzubauen, indem nur deren grundlegende Funktionalität verwendet wird der Paketvermittlung (und Checksummenkorrektur, um genau zu sein).

Ist das prinzipiell möglich?

Aktualisieren.

Um die Frage zu präzisieren:

Was ist eine absolut minimale Menge von Eigenschaften, die das Routernetzwerk haben muss, damit es möglich ist, einen Allzweckcomputer darauf aufzubauen?

Vag
quelle
3
Die Frage sieht nicht klar aus. Wenn dies der Fall ist, ist es für diejenigen, die das erwähnte Buch nicht gelesen haben, nicht verständlich.
Tsuyoshi Ito
1
Vielleicht wird die Frage besser definiert, wenn ich sie formalisiere. Aber um das richtig zu machen, muss ich auf mehr als dem halben Weg zur Antwort sein.
Vag
1
Es wird besser sein, hinzuzufügen: "Also, die Frage: Mit nur einem Netzwerk von IP-Paketvermittlungsmaschinen ist es möglich, einen Allzweckcomputer darüber aufzubauen? Oder ich muss weiter gehen und annehmen, a) ein einziges Paket zu haben Absender oder oder b) eine steuerbare konstante Paketquelle haben? ?
Vag
1
Der Autor hat nicht viel mit Details zu tun, er schrieb etwas wie ich sagte - nur Computer auf Routern, ohne Details.
Vag
3
Ich bin mir nicht sicher, warum dies nicht zum Thema gehört. Es ist definitiv ein bisschen da draußen und ein bisschen vage. Aber es ist eine interessante Frage zu universellen Rechenmodellen
Suresh Venkat

Antworten:

21

Das kann hilfreich sein:

Parasitäres Computing ist ein Beispiel für eine potenzielle Technologie, die gleichzeitig als Bedrohung oder gesunde Ergänzung des Online-Universums angesehen werden kann. Im Internet wird eine zuverlässige Kommunikation durch einen Standardsatz von Protokollen garantiert, die von allen Computern verwendet werden. Diese Protokolle können genutzt werden, um mit der Kommunikationsinfrastruktur zu rechnen und das Internet in einen verteilten Computer zu verwandeln, auf dem Server unabsichtlich Berechnungen für einen Remote-Knoten ausführen . In diesem Modell zwingt eine Maschine die Zielcomputer, ein Teil eines komplexen Rechenproblems zu lösen, indem sie diese lediglich in die Standardkommunikation einbeziehen.

Auf der Website für parasitäre Computer erhalten Sie detaillierte Informationen dazu, wie Sie ein 3-SAT-Problem mithilfe der Prüfsumme von TCP-Paketen lösen können .

Andere nützliche Links:

Marzio De Biasi
quelle
17

Ein Ansatz zur Verwendung von Internet-Routern usw. als Computer wurde in einem Brief in Nature von Albert-Laszlo Barabasi, Vincent W. Freeh, Hawoong Jeong und Jay B. Brockman veröffentlicht. Sie nannten die Idee Parasitic Computing . Ihre Idee ist es, die in den TCP-Protokollen durchgeführten Überprüfungen zu verwenden, um Berechnungen durchzuführen und NP-vollständige Probleme offline, wenn auch online, zu lösen. Die Arbeit wurde hier auf eine voll funktionsfähige virtuelle Maschine ausgeweitet . Viele Dokumentationen (in Deutsch) und sogar der Quellcode werden bereitgestellt.

Das Buch Silence on the Wire beschreibt, wie diese Idee erweitert werden kann, um die im Internet schwebenden Pakete als RAM zu verwenden, indem falsch geformte Pakete mit Daten gesendet werden, die anschließend zurückgeschickt werden. Die Größe des RAM entspricht der Anzahl der gesendeten Pakete multipliziert mit der Größe der Pakete.

Dave Clarke
quelle
1
RAM ist gut. Aber was ist mit ALU? Wie kann man zum Beispiel eine zusammengesetzte Berechnung durchführen, die aus zwei Berechnungen und einer dritten besteht, wobei die Ergebnisse dieser beiden verwendet werden?
Vag
1
@Vag: Ich habe meine Antwort durch einen Link verbessert, der beschreibt, wie dies getan werden kann.
Dave Clarke
1
Cool! Entschuldigung, ich kann nicht zwei Antworten gleichzeitig annehmen!
Vag