Темні цілі цілі: обчислення загального призначення на маршрутизаторах Інтернету


14

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

Чи можливо це в принципі?

Оновлення.

Щоб зробити питання більш точним:

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


3
Питання не виглядає чітко визначеним. Якщо це так, це не зрозуміло для тих, хто не читав згадану книгу.
Tsuyoshi Ito

1
Можливо, питання буде краще визначено, якщо я його формалізую. Але щоб зробити це правильно, я повинен бути більш ніж на половині шляху до відповіді.
Ваг

1
Буде краще додати "Отже, питання: маючи лише мережу машин комутації пакетів IP, можна побудувати поверх цього комп'ютера загального призначення? Або я повинен піти далі і припустити, що) маючи один пакет зйомок ініціатор або або b) має постійне джерело пакетного керування? " ?
Ваг

1
Автор не дуже заглиблюється в деталі, він написав щось, як я сказав - просто комп’ютер на роутерах, без деталей.
Ваг

3
Не впевнений, чому це поза темою. Це, безумовно, трохи там, і трохи розпливчасто. Але цікаве питання щодо універсальних моделей обчислень
Суреш Венкат

Відповіді:


21

Це може бути корисно:

Паразитні обчислення - це приклад потенційної технології, яку можна розглядати одночасно як загрозу чи здорове доповнення до всесвіту в Інтернеті. В Інтернеті надійне спілкування гарантується стандартним набором протоколів, якими користуються всі комп'ютери. Ці протоколи можна використовувати для обчислення комунікаційної інфраструктури, перетворюючи Інтернет в розподілений комп'ютер, в якому сервери мимоволі виконують обчислення від імені віддаленого вузла . У цій моделі одна машина змушує цільові комп’ютери вирішувати частину складної обчислювальної задачі, просто залучаючи їх у стандартне спілкування.

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

Інші корисні посилання:


17

Один підхід до використання інтернет-роутерів тощо як комп'ютера був опублікований у листі в «Природах» Альбертом-Ласло Барабасі, Вінсентом У. Фріхом, Хавонг Чонгом та Джеєм Б. Брокманом. Вони назвали ідею Паразитичні обчислення . Їх ідея полягає у використанні перевірок, проведених у протоколах TCP, для виконання розрахунків та вирішення NP-повних проблем в режимі офлайн, хоча і в режимі он-лайн. Робота тут поширилася на повністю функціонуючу віртуальну машину. Надано багато документації (німецькою мовою) і навіть вихідний код.

У книзі " Тиша на дроті" описано, як цю ідею можна поширити для використання пакетів, що плавають по Інтернету як оперативної пам'яті, надсилаючи неправильно сформовані пакети, що містять дані, які згодом отримують відмови. Обсяг оперативної пам’яті дорівнює кількості відправлених пакетів, кратному розміру пакетів.


1
Оперативна пам'ять хороша. А як щодо АЛУ? Як виконати, скажімо, складні обчислення, що складаються з двох обчислень та третього з використанням результатів цих двох?
Ваг

1
@Vag: Я покращив свою відповідь за допомогою посилання, що описує, як це можна зробити.
Дейв Кларк

1
Класно! Вибачте, що не можу прийняти дві відповіді одночасно!
Ваг
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.