Dark Tamsayılar: İnternet Yönlendiricilerinde Genel Amaçlı Hesaplamalar


14

Greg Egan kurgusunda "Dark Integers" (aritmetikteki tutarsızlık etrafında teoremleri kanıtlayarak iki farklı matematikle iletişim kuran iki evren hakkında hikaye), sadece temel işlevlerini kullanarak genel amaçlı bilgisayar inşa etmenin mümkün olduğunu iddia ediyor paket anahtarlama (ve sağlama toplamı düzeltmesi, kesin olarak).

Prensipte bu mümkün müdür?

Güncelleme.

Soruyu daha kesin hale getirmek için:

Yönlendirici ağının üzerine genel amaçlı bir bilgisayar inşa etmenin mümkün olabileceği kesinlikle asgari özellik kümesi nedir?


3
Soru iyi tanımlanmış değil. Eğer öyleyse, söz konusu kitabı okumamış olanlar için anlaşılır değildir.
Tsuyoshi Ito

1
Belki resmileştirirsem soru daha iyi tanımlanacaktır. Ama bunu doğru bir şekilde yapabilmek için cevabın yarısından fazlasında olmalıyım.
Vag

1
Eklemek daha iyi olacak "Yani, soru: sadece bir IP paket anahtarlama makineleri ağına sahip olmak, bunun üzerine genel amaçlı bir bilgisayar inşa etmek mümkün mü? veya b) kontrol edilebilir sabit paket kaynağına sahip misiniz? " ?
Vag

1
Yazar çok fazla ayrıntıya girmiyor, dediğim gibi bir şey yazdı - sadece yönlendiricilerdeki bilgisayar, ayrıntılar olmadan.
Vag

3
Bunun neden konu dışı olduğundan emin değilim. Kesinlikle biraz dışarıda ve biraz belirsiz. Ancak, evrensel hesaplama modelleri hakkında ilginç bir soru
Suresh Venkat

Yanıtlar:


21

Bu yardımcı olabilir:

Parazit hesaplama , aynı anda çevrimiçi evrene bir tehdit veya sağlıklı bir katkı olarak görülebilecek potansiyel bir teknolojiye bir örnektir. İnternette, güvenilir iletişim, tüm bilgisayarlar tarafından kullanılan standart bir protokol seti ile garanti edilir. Bu protokoller, interneti sunucuların istemeden uzak bir düğüm adına hesaplama yapacağı dağıtılmış bir bilgisayara dönüştürerek iletişim altyapısı ile hesaplamak için kullanılabilir . Bu modelde, bir makine hedef bilgisayarları karmaşık bir hesaplama probleminin bir parçasını sadece standart iletişime dahil ederek çözmeye zorlar.

Gelen parazitik hesaplama sitesinde size bilgileri ayrıntılı olabilir Eğer TCP paketlerinin sağlama kullanılarak 3-SAT sorunu çözebilir nasıl .

Diğer faydalı bağlantılar:


17

İnternet yönlendiricilerini vb. Bilgisayar olarak kullanma yaklaşımlarından biri Nature'da bir mektupta Albert-Laszlo Barabasi, Vincent W. Freeh, Hawoong Jeong ve Jay B. Brockman tarafından yayınlanmıştır. Parazitik Hesaplama fikrini aradılar . Fikirleri, TCP protokollerinde yapılan kontrolleri hesaplamalar yapmak ve çevrim içi de olsa NP-tamamlanmış problemleri çevrimdışı olarak çözmek için kullanmaktır. İş burada tamamen çalışan bir sanal makineye genişletildi . Çok sayıda dokümantasyon (Almanca) ve hatta kaynak kodu verilmiştir.

Tel Üzerindeki Sessizlik kitabı , daha sonra geri dönen verileri içeren hatalı biçimlendirilmiş paketleri göndererek, bu fikrin İnternet çevresinde yüzen paketleri RAM olarak kullanmak için nasıl genişletilebileceğinin bir açıklamasını sağlar. RAM miktarı gönderilen paketlerin sayısına eşittir.


1
RAM iyidir. Peki ya ALU? Diyelim ki bu ikisinin sonuçlarını kullanarak iki hesaplamadan ve üçüncü hesaptan oluşan bileşik hesaplama nasıl yapılır?
Vag

1
@Vag: Cevabımı bunun nasıl yapılabileceğini açıklayan bir link ile geliştirdim.
Dave Clarke

1
Güzel! Üzgünüz, aynı anda iki yanıtı kabul edemiyorum!
Vag
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.