Deterministik dağıtılmış algoritmalar tasarlamanın avantajı nedir?

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 ( varsayım kapsamları olarak adlandırılır ). Dolayısıyla, deterministik bir algoritmanın gerçekte işe yarama ihtimali her zaman vardır.

Bunu, dağıtılmış grafik algoritmaları (iletişim ağının yapısı ile ilgili bir grafik problemini çözen dağıtılmış algoritmalar) açısından cevaplayacağım .

Bu ortamda deterministik dağıtılmış algoritmalar tasarlamak için açık olmayan bazı nedenler:

• Rastgele algoritmalarda altyordamlar . Üzerinde s. Bu slaytların 12-13'ü , Elkin, hızlı rasgele dağıtılmış bir algoritma oluşturmak için alt rutin olarak hızlı bir deterministik dağıtılmış algoritma kullanabileceğiniz bir algoritma tasarım tekniğini ana hatlarıyla belirtir . İlginç bir şekilde, aynı bağlamda alt rutin olarak tipik bir randomize algoritmanın kullanılması mümkün değildir (hata olasılığı çok yüksek olacaktır).

• Hata toleransı . Hızlı bir deterministik dağıtılmış algoritmayı kendi kendini stabilize eden hızlı bir dağıtılmış algoritmaya dönüştürmenizi sağlayan mekanik bir çeviri vardır (bkz. Örneğin bu araştırmanın Bölüm 2.4'ü ). Benzer bir dönüşüm rasgele algoritmalar için bilinmemektedir (ve bence genel durumda var olma olasılığı düşüktür).