Dark Integers: Obliczenia ogólnego przeznaczenia na routerach internetowych

14

Greg Egan w swojej powieści „Dark Integers” (opowieść o dwóch wszechświatach z dwiema różnymi matematykami komunikującymi się poprzez dowodzenie twierdzeń o niespójności arytmetycznej) twierdzi, że możliwe jest zbudowanie komputera ogólnego przeznaczenia wyłącznie na istniejących routerach internetowych przy użyciu tylko jego podstawowej funkcjonalności przełączania pakietów (a dokładniej korekty sumy kontrolnej).

Czy to w zasadzie jest możliwe?

Aktualizacja.

Aby uściślić pytanie:

Jakie są absolutnie minimalne zestawy właściwości sieci routerów, aby można było na niej zbudować komputer ogólnego przeznaczenia?

Vag
źródło
3
Pytanie nie wygląda na dobrze zdefiniowane. Jeśli tak, to nie jest zrozumiałe dla tych, którzy nie czytali wspomnianej książki.
Tsuyoshi Ito
1
Być może pytanie zostanie lepiej zdefiniowane, jeśli je sformalizuję. Ale żeby to zrobić poprawnie, muszę znaleźć się w ponad połowie drogi do odpowiedzi.
Vag
1
Lepiej będzie dodać „Tak więc pytanie: mając tylko sieć maszyn do przełączania pakietów IP, możliwe jest zbudowanie na tym komputerze komputera ogólnego przeznaczenia? Czy muszę pójść dalej i założyć a) posiadanie pakietu jednego strzału nadawca lub b) posiadający kontrolowane stałe źródło pakietu? ” ?
Vag
1
Autor nie zagłębia się w szczegóły, napisał coś takiego, jak powiedziałem - po prostu komputer na routerach, bez szczegółów.
Vag
3
Nie jestem pewien, dlaczego to nie jest temat. Jest zdecydowanie trochę tam i nieco niejasno. Ale to interesujące pytanie o uniwersalne modele obliczeń
Suresh Venkat

Odpowiedzi:

21

Może to być pomocne:

Informatyka pasożytnicza jest przykładem potencjalnej technologii, którą można postrzegać jednocześnie jako zagrożenie lub zdrowy dodatek do internetowego świata. W Internecie niezawodna komunikacja jest gwarantowana przez standardowy zestaw protokołów używanych przez wszystkie komputery. Protokoły te można wykorzystać do obliczeń z infrastrukturą komunikacyjną, przekształcając Internet w rozproszony komputer, na którym serwery nieświadomie wykonują obliczenia w imieniu zdalnego węzła . W tym modelu jedna maszyna zmusza komputery docelowe do rozwiązania fragmentu złożonego problemu obliczeniowego jedynie poprzez zaangażowanie ich w standardową komunikację.

W witrynie pasożytniczej możesz uzyskać szczegółowe informacje na temat rozwiązania problemu 3-SAT za pomocą sumy kontrolnej pakietów TCP .

Inne przydatne linki:

Marzio De Biasi
źródło
17

Jedno podejście do używania routerów internetowych itp. Jako komputera zostało opublikowane w liście w Nature przez Alberta-Laszlo Barabasiego, Vincenta W. Freeha, Hawoong Jeonga i Jaya B. Brockmana. Nazwali ten pomysł Parasitic Computing . Ich pomysłem jest wykorzystanie kontroli przeprowadzonych w protokołach TCP do wykonywania obliczeń i rozwiązywania problemów NP-zupełnych w trybie offline, choć on-line. Praca została tutaj rozszerzona o w pełni działającą maszynę wirtualną. Dostarczono mnóstwo dokumentacji (w języku niemieckim), a nawet kod źródłowy.

Książka Silence on the Wire zawiera opis tego, w jaki sposób można rozszerzyć ten pomysł, aby używał pakietów unoszących się w Internecie jako pamięci RAM, wysyłając źle sformułowane pakiety zawierające dane, które następnie są odbijane. Ilość pamięci RAM jest równa liczbie wysłanych pakietów razy rozmiar pakietów.

Dave Clarke
źródło
1
Pamięć RAM jest dobra. Ale co z ALU? Jak wykonać, powiedzmy, obliczenia złożone składające się z dwóch obliczeń i trzeciego z wykorzystaniem wyników tych dwóch?
Vag
1
@ Vag: Poprawiłem swoją odpowiedź linkiem opisującym, jak to zrobić.
Dave Clarke
1
Chłodny! Niestety nie mogę zaakceptować dwóch odpowiedzi jednocześnie!
Vag