«dc.distributed-comp» etiketlenmiş sorular

Dağıtılmış hesaplama alanı, dağıtılmış algoritmaları tanımlamak için tek bir matematik teorisi geliştirmede büyük ölçüde kısalmıştır. Birbiriyle uyumlu olmayan birkaç “model” ve dağınık hesaplama çerçevesi vardır. Değişen zamansal özelliklerin (asenkron, senkron, kısmi senkron), çeşitli iletişim ilkelerinin (mesaj geçen ve paylaşılan hafıza, yayın ve tek noktaya yayın gibi), birden fazla hata modelinde …

41 big-picture  dc.distributed-comp 

1980'lerde hem PRAM hem de BSP paralel hesaplama modelleri ortaya çıktı. Görünüşe göre, her iki modelin de bugünkü 80'li yılların sonunda ve 90'lı yılların başında olduğu görülüyor. Paralel algoritmalar için araştırmalar hala bu alanlarda etkin midir? Paralel hesaplama için daha yeni daha gelişmiş modeller var mı? Genel modeller hala moda …

30 ds.algorithms  dc.parallel-comp  dc.distributed-comp 

Bu sorudan ilham alan, (teorik) dağınık sistemler alanında iyileştirilmesi gereken ana problemler ve mevcut çözümler nelerdir. Üyelik protokolleri, veri tutarlılığı gibi bir şey mi?

23 big-list  dc.distributed-comp 

Teorik Bilgisayar Bilimi Yığın Değişimi alanında yanıtlanabildiği için bu soru Çapraz Doğrulama'dan taşındı . 8 yıl önce göç etmiş . Çözmem gereken oldukça benzersiz bir problemim var ve burada birinin nasıl en iyi şekilde mücadele edebileceği konusunda bana biraz fikir verebileceğini umuyorum. Sorun: N sayısının bir listesinin, hiçbir katılımcının paylaştığı …

23 cr.crypto-security  dc.distributed-comp  st.statistics  privacy 

Dağıtık hesaplamada, fikir birliği sorunu yoğun araştırmaların çekildiği ana konulardan biri gibi görünmektedir. Özellikle, "Dağıtılmış Uzlaşmanın Tek Hatalı Bir Süreçle İmkansızlığı" makalesi 2001 PODC Etkili Kağıt Ödülü'nü aldı . Öyleyse fikir birliği sorunu neden bu kadar önemli? Teoride ve pratikte fikir birliği ile neler başarabiliriz? Tüm referanslar veya sergiler gerçekten …

19 reference-request  big-picture  dc.distributed-comp 

Bu sorudan, Jukka Suomela'nın başka bir soru üzerine yaptığı yorumdan ilham alınmıştır . Sonsuz büyük ancak yerel olarak sonlu hesaplama problemlerine (ve algoritmalarına) örnekler nelerdir? Başka bir deyişle, her Turing Machine'in sadece sonlu verileri okuduğu ve işlediği, ancak birlikte sonsuz sayıda Turing makinesi birbirine bağlıysa, hesaplama tamamen sonsuz boyutlu bir …

14 dc.distributed-comp 

Geçen hafta, Leslie'nin Lamport'un 1982'de Çözülen Sorunlar, Çözülmemiş Sorunlar ve Eşzamanlı Olmayan Sorunlar hakkında verdiği bir konferansın trasncript'ini tekrar okuyordum . Kağıt kolayca okunabilir, ancak beni düşündüren şeylerden biri şu iddia: Herhangi bir problem karşılıklı dışlama problemi veya üretici-tüketici problemi veya bu ikisinin bir kombinasyonu olarak kabul edilebilir mi? Bu …

13 reductions  dc.distributed-comp  concurrency 

Bu ise kağıt Kempe-Kleinberg-Tardos tarafından, Yazarlar belirlemek için Altmodüler fonksiyonlar dayalı bir açgözlü algoritmalar teklif sosyal ağlara uygulamaları ile bir grafikte en etkili düğümler.kkk Temel olarak algoritma aşağıdaki gibi gider: S= e m p t y s e t S=empty setS = {\rm empty~set} en yüksek bireysel etkiye sahip düğümü …

13 ds.algorithms  graph-theory  dc.distributed-comp  social-sciences  heuristics 

Dağıtılmış bilgi işlem modellerinde iki tür işlemci arızası vardır: (1) Çökme hataları: işlemci durur ve bir daha asla başlamaz. (2) Bizans arızaları: işlemciler olumsuz, kötü niyetli davranıyor. Sorum şu: İncelenen, çökme veya Bizans arızalarını azaltmayan diğer işlemci hatası türleri nelerdir? Ayrıca, daha spesifik bir soru: Bir olasılıkla, adımında bir işlemin …

13 reference-request  dc.distributed-comp 

Dağıtılmış sistemlerde dedikodu sorunu şu şekildedir. Bir grafik bilgisi GGG ile nnn köşe. Her köşe vvv , tüm düğümlere gönderilmesi gereken bir mesajına sahiptir mvmvm_v. Şimdi, sorum geçici ağ modeli bağlamında (bir düğümün ağın topolojisi, giriş ve çıkış dereceleri ve komşularının kümeleri hakkında herhangi bir ön bilgiye sahip olmadığını varsayıyoruz. …

13 reference-request  dc.distributed-comp 

Leslie Lamport'un "Fast Paxos" gazetesini okuyorum ve hem klasik Paxos'un hem de Fast Paxos'un doğruluğuna dair kanıtlarla takıldım. Tutarlılık için değer fazı koordinatör tarafından çekilen turda tatmin etmelidirvvv2a2a2aiii CP(v,i):CP(v,i):CP(v,i): bir tur için , dışında bir değer veya henüz yuvarlak seçilebilir olabilir edilmiştir .j&lt;ij&lt;ij < ivvvjjj Klasik Paxos için , kanıt …

13 ds.algorithms  dc.distributed-comp  proofs 

İçinde dağıtılmış sürüm kontrolü sistemleri (örneğin, bir Mercurial ve Git ) verimli bir şekilde yönlendirilmiş karşılaştırma asiklik grafikler (DAG'ler) için bir ihtiyaç vardır. Ben bir Mercurial geliştiricisiyim ve iki DAG'ı karşılaştırmanın zamanını ve ağ karmaşıklığını tartışan teorik çalışmaları duymakla çok ilgileniriz. Söz konusu DAG'lar kaydedilen revizyonlardan oluşur. Revizyonlar bir karma …

11 cc.complexity-theory  dc.distributed-comp  directed-acyclic-graph 

Giriş: İşlem işleme, veritabanı teorisinde geleneksel bir araştırma konusu olmuştur. Günümüzde dağıtılmış işlemler , genellikle veri bölümü (parçalama olarak da adlandırılır) ve veri çoğaltması içeren büyük ölçekli dağıtılmış depolama sistemleri tarafından popülerleştirilmektedir . Dağıtılmış işlemlerde başlıca araştırma konuları nelerdir? (Teorik) iyileştirmeye ihtiyaç duyan tanınmış teoriler ve çözümler var mı? Herhangi …

10 reference-request  big-list  dc.distributed-comp  db.databases 

Arızalara dayanıklı dağıtılmış algoritmalar deterministik veya olasılıklı olabilir. Örneğin fikir birliği problemini ele alalım. Paxos yaptığı varsayım dikkate alındığında her zaman işe yarıyor. Aksine, randomize konsensüs belirli bir olasılıkla çalışır. Deterministik bir algoritma tasarlamanın ve kullanmanın avantajı nedir? Deterministik algoritmaların dayandığı varsayımlar aynı zamanda gerçekte de tutma olasılığına sahiptir ( …

10 randomized-algorithms  dc.distributed-comp  fault-tolerance 

Nancy Lynch'in "Dağıtılmış Algoritmalar" kitabının 13.Bölümünün "Atomik Nesneleri" nde doğrusallaştırılabilirliğin (atomisite olarak da bilinir) bir güvenlik özelliği olduğu kanıtlanmıştır. Yani, karşılık gelen izleme özelliği Bölüm 8.5.3'te tanımlandığı gibi boş, önek kapalı ve sınır kapalıdır . Gayri resmi olarak, bir güvenlik mülkü genellikle belirli bir “kötü” şeyin asla gerçekleşmediğini söyleyerek yorumlanır. …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency