Dunkle Ganzzahlen: Allgemeine Berechnungen auf Internet-Routern

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?

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:

• Seminarbericht über parasitäres Rechnen von KKMaharana
• Artikel der Natur über parasitäres Rechnen (August 2001)

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.