Dark Integers: Komputasi Tujuan Umum pada Router Internet

14

Greg Egan dalam fiksinya "Dark Integers" (cerita tentang dua alam semesta dengan dua matematika berbeda yang berkomunikasi dengan membuktikan teorema tentang ketidakkonsistenan dalam aritmatika) mengklaim bahwa adalah mungkin untuk membangun komputer tujuan umum hanya pada router internet yang ada hanya menggunakan fungsi dasarnya saja. packet switching (dan koreksi checksum, tepatnya).

Apakah ini mungkin, pada prinsipnya?

Memperbarui.

Untuk membuat pertanyaan lebih tepat:

Apa set properti yang benar-benar minimal yang harus dimiliki oleh jaringan router sehingga memungkinkan untuk membuat komputer serba guna di atasnya?

computability universal-computation Vag
sumber
3
Pertanyaannya tidak terlihat jelas. Jika ya, itu tidak bisa dimengerti bagi mereka yang belum membaca buku tersebut.
Tsuyoshi Ito
1
Mungkin pertanyaannya akan lebih jelas jika saya meresmikannya. Tetapi untuk melakukannya dengan benar, saya harus berada pada lebih dari setengah jalan menuju jawabannya.
Vag
1
Akan lebih baik untuk menambahkan "Jadi, pertanyaannya: hanya memiliki jaringan mesin pengalih paket IP, apakah mungkin untuk membangun di atas itu komputer tujuan umum? Atau saya harus melangkah lebih jauh dan menganggap a) memiliki satu paket paket originator atau atau b) memiliki sumber paket konstan yang dapat dikontrol? " ?
Vag
1
Penulis tidak mempelajari banyak detail, ia menulis sesuatu seperti yang saya katakan - hanya komputer di router, tanpa detail.
Vag
3
Tidak yakin mengapa ini di luar topik. Pasti sedikit di luar sana, dan sedikit kabur. Tapi ini pertanyaan menarik tentang model komputasi universal
Suresh Venkat

Jawaban:

21

Ini bisa membantu:

Komputasi parasit adalah contoh dari teknologi potensial yang dapat dilihat secara bersamaan sebagai ancaman atau tambahan sehat bagi dunia online. Di Internet, komunikasi yang andal dijamin oleh seperangkat protokol standar, yang digunakan oleh semua komputer. Protokol-protokol ini dapat dieksploitasi untuk menghitung dengan infrastruktur komunikasi, mengubah Internet menjadi komputer terdistribusi di mana server tanpa disadari melakukan perhitungan atas nama node jarak jauh . Dalam model ini, satu mesin memaksa komputer target untuk memecahkan sepotong masalah komputasi yang kompleks hanya dengan melibatkan mereka dalam komunikasi standar.

Di situs komputasi parasit Anda dapat informasi rinci tentang bagaimana Anda dapat memecahkan masalah 3-SAT menggunakan checksum dari paket TCP .

Tautan bermanfaat lainnya:

Marzio De Biasi
sumber
17

Satu pendekatan untuk menggunakan router internet dll sebagai komputer diterbitkan dalam surat di Nature oleh Albert-Laszlo Barabasi, Vincent W. Freeh, Hawoong Jeong & Jay B. Brockman. Mereka menyebut ide Parasitic Computing . Gagasan mereka adalah menggunakan pemeriksaan yang dilakukan dalam protokol TCP untuk melakukan perhitungan dan menyelesaikan masalah NP-off-line, meskipun on-line. Pekerjaan telah diperluas di sini ke mesin virtual yang berfungsi penuh. Banyak dokumentasi (dalam bahasa Jerman) dan bahkan kode sumber disediakan.

Buku Silence on the Wire memberikan uraian tentang bagaimana ide ini dapat diperluas untuk menggunakan paket-paket yang mengambang di internet sebagai RAM dengan mengirimkan paket-paket yang tidak berbentuk yang berisi data yang kemudian dapat dipantulkan kembali. Jumlah RAM sama dengan jumlah paket yang dikirim kali ukuran paket.

Dave Clarke
sumber
1
RAM bagus. Tapi bagaimana dengan ALU? Bagaimana melakukan, misalnya, perhitungan majemuk yang terdiri dari dua perhitungan dan yang ketiga menggunakan hasil dari keduanya?
Vag
1
@ Tag: Saya telah meningkatkan jawaban saya dengan tautan yang menjelaskan bagaimana ini bisa dilakukan.
Dave Clarke
1
Keren! Maaf saya tidak bisa menerima dua jawaban secara bersamaan!
Vag