Dark Integers: calcoli per scopi generici su router Internet

Greg Egan nella sua narrativa "Dark Integers" (storia di due universi con due differenti matematiche che comunicano attraverso la dimostrazione di teoremi sull'incoerenza nell'aritmetica) afferma che è possibile costruire computer per scopi generici esclusivamente su router Internet esistenti usando solo le sue funzionalità di base di commutazione dei pacchetti (e correzione del checksum, per essere precisi).

Questo è possibile, in linea di principio?

Aggiornare.

Per rendere la domanda più precisa:

Qual è un set assolutamente minimo di proprietà che la rete del router deve avere che sarà possibile costruire su di esso un computer generico?

Questo può essere utile:

Il calcolo parassitario è un esempio di una potenziale tecnologia che potrebbe essere vista contemporaneamente come una minaccia o una salutare aggiunta all'universo online. Su Internet, la comunicazione affidabile è garantita da un set standard di protocolli, utilizzato da tutti i computer. Questi protocolli possono essere sfruttati per calcolare con l'infrastruttura di comunicazione, trasformando Internet in un computer distribuito in cui i server eseguono involontariamente calcoli per conto di un nodo remoto . In questo modello, una macchina obbliga i computer di destinazione a risolvere una parte di un problema computazionale complesso semplicemente impegnandoli nella comunicazione standard.

Nel sito di elaborazione parassitaria è possibile ottenere informazioni dettagliate su come risolvere un problema 3-SAT utilizzando il checksum dei pacchetti TCP .

Altri link utili:

• Relazione del seminario sul calcolo parassitario di KK Maharana
• Articolo di Nature sull'informatica parassitaria (agosto 2001)

Un approccio per l'utilizzo di router internet ecc. Come computer è stato pubblicato in una lettera su Nature di Albert-Laszlo Barabasi, Vincent W. Freeh, Hawoong Jeong e Jay B. Brockman. Hanno chiamato l'idea Parasitic Computing . La loro idea è quella di utilizzare i controlli eseguiti nei protocolli TCP per eseguire calcoli e risolvere i problemi NP-completi off-line, anche se online. Il lavoro è stato esteso qui a una macchina virtuale perfettamente funzionante. Viene fornita molta documentazione (in tedesco) e persino il codice sorgente.

Il libro Silence on the Wire fornisce una descrizione di come questa idea possa essere estesa per usare i pacchetti fluttuanti su Internet come RAM inviando pacchetti mal formati contenenti dati che successivamente vengono rimbalzati. La quantità di RAM è uguale al numero di pacchetti inviati volte la dimensione dei pacchetti.