Görüş Değişimi Nedir: Sınırlı Bir Bekleme, İki Kez Düzeltilmiş Aynı Hata ve Yeterince Zorlarsanız Tersine Dönen Bir Geri Çekilme

Problem

Her turu bir katılımcı yönetir. Hiçbir şey söylemezse herkes bekler ve bunu fark etmekle görevli kimse yoktur.

Görüş değişimi, eşgüdümcüsü olmayan bir grubun bir turdan vazgeçip bir sonrakine geçmeye karar verme biçimidir. Bir mutabakat protokolünde, bir ağın sessizleşen bir lideri atlatıp atlatamayacağını ya da onu bekleyerek asılı kalıp kalmayacağını belirleyen kısımdır.

Sıra, tam olarak

Her tur bir süre sınırı taşır. İki saniyeyle başlar.

Süre sınırı sertifikalanmış bir blok olmadan geçtiğinde, katılımcı o turdan vazgeçmek için bir oy yayımlar.

Sonra turu değiştirmeden kendi süre sınırını ileri iter. Yorum sebebini açıklıyor: aksi hâlde döngü, yeterli vazgeçme oyunun toplanmasını ya da geç bir teklifin gelmesini beklerken çoktan dolmuş bir süre sınırına karşı boşa döner.

Yeterli vazgeçme oyu toplandığında bunlar bir sertifikaya toplanır ve tur ilerler, bekleme iki katına çıkarılmış olarak.

Bunun yerine sıradan bir sertifika gelirse tur ilerler ve süre sınırı iki saniyeye sıfırlanır, arıza sayacı temizlenmiş olarak.

Sınırlı bekleme, ki asıl önemli özellik odur

İki katına çıkarma on altı saniyede sınırlanmıştır.

Yani hiçbir katılımcı, takılmış bir turda ilerlemeden önce bundan uzun beklemez. Konuşmayı kesen bir lider, bir kez, sınırlı bir gecikmeye mal olur ve sonraki tur bir başkasının altında başlar.

Sessizlik, birinin müdahale etmesiyle değil kuruluş gereği atlatılabilir ve bu düzeneğin var olma sebebinin tamamı budur.

Aynı hata, oluşabileceği her iki yerde de bulunmuş ve düzeltilmiş

Kendi vazgeçme oyunu yayımlayan bir katılımcı onu geri almaz, çünkü yayım göndereni atlar.

Yani özel bir işleme olmadan, bir turdan vazgeçme sertifikası diğer bütün katılımcıların oy vermesini gerektirirdi ve tek bir arızaya bile pay bırakmazdı.

Kod, katılımcının kendi vazgeçme oyunu açıkça kaydeder, tıpkı bir blok üzerindeki sıradan oylar için yaptığı gibi. İki yol, aynı kusur, aynı düzeltme, ve her biri yorumunda ötekini adıyla anıyor.

Bu, iki düzeltmenin tek başına değerinden fazlasını taşır. Bir kez düzeltilmiş bir hata, düzeltilmiş bir hatadır; oluşabileceği her yerde düzeltilmiş bir hata, anlaşılmış bir hatadır.

Ve yeterince zorlarsanız geri çekilme tersine döner

Bekleme, taban değerin ardışık arıza başına bir kez iki katına çıkarılmasıyla hesaplanır ve ancak ondan sonra sınıra kırpılır.

İki katına çıkarma önce oluyor, sabit genişlikli bir tamsayıda. Elli dört ardışık başarısız turda o çarpma, kendisini tutan türün aralığını aşıyor ve başa dönüyor.

Sonrasında kırpılan şey dolayısıyla artık o iki katına çıkarma değildir. Bekleme, tam da en uzun olması gerektiği anda küçük bir değere çökebilir, ki bu bir geri çekilmenin var olma amacının tam tersidir.

Elli dört tur ne kadar uzak? Her arıza en çok on altı saniyeye mal olur, yani aralıksız yaklaşık on dört dakikalık arıza, arada hiçbir şey başarılı olmadan.

Bu ağda ulaşılmıyor ve bu varsayılmış değil ölçülmüştür. Bu zincirin gösterdiği sessiz dönemlerde tur, yükseklikle tam adım ilerliyor, dolayısıyla hiçbir tur kaybedilmiyor ve ardışık arıza sayacı sıfırda duruyor.

Düzeltme, sonra değil önce kırpmak için tek satırlık bir değişikliktir. Dosyalanmıştır.

Bir görüş değişimi dışarıdan nasıl görünürdü

Liderlik sırayla döndüğü için, bir turdan vazgeçmek sırayı ilerletir, dolayısıyla sonraki teklifi yapan katılımcı, sırası gelecek olan kişi değildir.

Bu, tam olarak bu estate'in çoktan bildirdiği bir anormalliğin biçimidir: turu üç yerine bir artmış ve teklif edeni sırası dışında olan bir blok.

Bağlantıyı doğrulayamıyoruz, çünkü vazgeçilmiş bir tur için hiçbir sertifika yayımlanmıyor ve onu kanıtlayacak eser çekilemiyor. Biçim uyuşuyor. Bu, bilmekle aynı şey değil.

Kendiniz neyi kontrol edebilirsiniz

solidus_getBlock'u bir düzine yükseklikte çalıştırın, sonra her bloğun round değerini height değeriyle karşılaştırın

İkisi adım adım hareket ediyorsa, aralarında hiçbir turdan vazgeçilmemiştir. Tur öndeyse, blok üretmeden turlar harcanmıştır ve fark onları sayar.