Inteiros escuros: computação de uso geral em roteadores da Internet

14

Greg Egan em sua ficção "Dark Integers" (história sobre dois universos com duas matemáticas diferentes se comunicando por meio da comprovação de teoremas em torno da inconsistência na aritmética) afirma que é possível construir computadores de uso geral apenas em roteadores de Internet existentes usando apenas sua funcionalidade básica de comutação de pacotes (e correção da soma de verificação, para ser mais preciso).

Isso é possível, em princípio?

Atualizar.

Para tornar a pergunta mais precisa:

Qual é o conjunto absolutamente mínimo de propriedades que a rede do roteador deve ter para que seja possível construir um computador de uso geral sobre ele?

Vag
fonte
3
A questão não parece bem definida. Se for, não é compreensível para quem não leu o livro mencionado.
Tsuyoshi Ito
1
Talvez a questão seja melhor definida se eu a formalizar. Mas, para fazer isso corretamente, devo estar na metade da resposta.
Vag
1
Será melhor acrescentar "Então, a pergunta: tendo apenas uma rede de máquinas de comutação de pacotes IP, é possível construir sobre ele um computador de uso geral? Ou devo ir além e assumir que a) ter um pacote instantâneo originador ou ou b) possuir fonte de pacotes constante controlável? " ?
Vag 24/05
1
O autor não se aprofunda muito em detalhes, ele escreveu algo como eu disse - apenas computador em roteadores, sem detalhes.
24411 Vag
3
Não sei por que isso está fora do tópico. Definitivamente, é um pouco por aí e um pouco vago. Mas é uma questão interessante sobre modelos universais de computação
Suresh Venkat

Respostas:

21

Isso pode ser útil:

A computação parasitária é um exemplo de uma tecnologia em potencial que pode ser vista simultaneamente como uma ameaça ou adição saudável ao universo online. Na Internet, a comunicação confiável é garantida por um conjunto padrão de protocolos, usado por todos os computadores. Esses protocolos podem ser explorados para computar com a infraestrutura de comunicação, transformando a Internet em um computador distribuído no qual os servidores, sem querer, executam a computação em nome de um nó remoto . Nesse modelo, uma máquina força os computadores-alvo a resolver uma parte de um problema computacional complexo, apenas envolvendo-os na comunicação padrão.

No site de computação parasitária, você pode obter informações detalhadas sobre como resolver um problema de 3-SAT usando a soma de verificação dos pacotes TCP .

Outros links úteis:

Marzio De Biasi
fonte
17

Uma abordagem para o uso de roteadores da Internet etc. como computador foi publicada em uma carta na Nature por Albert-Laszlo Barabasi, Vincent W. Freeh, Hawoong Jeong e Jay B. Brockman. Eles chamaram a idéia de computação parasitária . A idéia deles é usar as verificações realizadas nos protocolos TCP para realizar cálculos e resolver problemas de NP-completo off-line, embora on-line. O trabalho foi estendido aqui para uma máquina virtual totalmente funcional. Muita documentação (em alemão) e até o código fonte é fornecido.

O livro Silêncio no Fio fornece uma descrição de como essa idéia pode ser estendida para usar os pacotes que flutuam pela Internet como RAM, enviando pacotes mal formados contendo dados que serão recuperados posteriormente. A quantidade de RAM é igual ao número de pacotes enviados vezes o tamanho dos pacotes.

Dave Clarke
fonte
1
RAM é boa. Mas e a ALU? Como executar, digamos, o cálculo composto que consiste em dois cálculos e o terceiro usando os resultados desses dois?
Vag
1
@ Vag: Melhorei minha resposta com um link descrevendo como isso pode ser feito.
Dave Clarke
1
Legal! Desculpe, não posso aceitar duas respostas simultaneamente!
Vag