Dark Integers: универсальные вычисления на интернет-роутерах

14

Грег Иган в своей художественной литературе «Темные целые» (рассказ о двух вселенных, в которых две разные математики общаются посредством доказательства теорем о непоследовательности в арифметике) утверждает, что можно построить компьютер общего назначения исключительно на существующих интернет-маршрутизаторах, используя только его основные функциональные возможности коммутации пакетов (и, если быть точным, исправление контрольной суммы).

Возможно ли это в принципе?

Обновить.

Чтобы уточнить вопрос:

Каков абсолютно минимальный набор (и) свойств, которые должна иметь сеть маршрутизатора, чтобы на ней можно было построить компьютер общего назначения?

Vag
источник
3
Вопрос не выглядит четко определенным. Если это так, то это не понятно тем, кто не читал упомянутую книгу.
Цуёси Ито
1
Возможно, вопрос будет лучше определен, если я его формализую. Но чтобы сделать это правильно, я должен быть на полпути к ответу.
Vag
1
Будет лучше добавить: «Итак, вопрос: имея только сеть устройств коммутации IP-пакетов, можно построить поверх этого универсальный компьютер? Или я должен пойти дальше и предположить, что a) иметь один пакетный пакет инициатор или или б) наличие контролируемого источника постоянного пакета? " ?
Vag
1
Автор не вдавался в подробности, он написал что-то, как я сказал - просто компьютер на роутерах, без подробностей.
Vag
3
Не уверен, почему это не по теме. Это определенно немного там, и немного расплывчато. Но это интересный вопрос об универсальных моделях вычислений
Суреш Венкат

Ответы:

21

Это может быть полезно:

Паразитные вычисления - пример потенциальной технологии, которую можно рассматривать одновременно как угрозу или полезное дополнение к онлайн-вселенной. В Интернете надежная связь гарантируется стандартным набором протоколов, используемых всеми компьютерами. Эти протоколы могут использоваться для вычислений с инфраструктурой связи, превращая Интернет в распределенный компьютер, на котором серверы невольно выполняют вычисления от имени удаленного узла . В этой модели одна машина вынуждает целевые компьютеры решать часть сложной вычислительной проблемы, просто вовлекая их в стандартную связь.

На сайте паразитных вычислений вы можете получить подробную информацию о том, как вы можете решить проблему 3-SAT, используя контрольную сумму пакетов TCP .

Другие полезные ссылки:

Марцио де Биаси
источник
17

Один из подходов к использованию интернет-маршрутизаторов и т. Д. В качестве компьютера был опубликован в письме Альберта-Ласло Барабаси, Винсента У. Фри, Хавунга Чонга и Джея Б. Брокмана. Они назвали идею паразитических вычислений . Их идея состоит в том, чтобы использовать проверки, выполненные в протоколах TCP, для выполнения вычислений и решения проблем NP-complete в автономном режиме, хотя и в режиме онлайн. Работа была расширена здесь , чтобы полностью функционирующей виртуальной машины. Много документации (на немецком языке) и даже исходный код предоставляется.

Книга Silence on the Wire предоставляет описание того, как эта идея может быть расширена для использования пакетов, плавающих по Интернету, в качестве ОЗУ путем отправки плохо сформированных пакетов, содержащих данные, которые впоследствии возвращаются в норму. Объем оперативной памяти равен количеству отправленных пакетов, умноженному на размер пакетов.

Дэйв Кларк
источник
1
Оперативная память это хорошо. Но как насчет АЛУ? Как выполнить, скажем, сложное вычисление, состоящее из двух вычислений и третьего, используя результаты этих двух?
Vag
1
@Vag: я улучшил свой ответ с помощью ссылки, описывающей, как это можно сделать.
Дейв Кларк
1
Здорово! Извините, я не могу принять два ответа одновременно!
Vag