Merkle Trees anahtar-değer depoları çoğaltılmış birkaç dağıtılan anti-entropi bir mekanizma olarak kullanılır:

• Dynamo
• Riak
• Cassandra

Şüphesiz anti-entropi bir mekanizmadır İyi Bir Şey - geçici başarısızlıklar sadece, üretim olur. Sadece Merkle neden anladığımdan emin değilimAğaçlarpopüler yaklaşım vardır.

• Bir eş için tam Merkle bir ağaç Gönderen yerel peer-boşluk tuşu ile birlikte göndererek içerir her anahtar değeri, ağacın en alt düzeyde saklanan karıştırır.

• Merkle bir ağaç, bir eş gönderdi Diffing kendi Merkle bir ağaç olması gerekir.

Her iki eşte yandan zaten değer-karma uzay / sıralanmış bir anahtar olması gerekir bu yana, neden bir tutarsızlık tespit etmek için bir doğrusal birleştirme değil mi?

Sadece ağaç yapısı içinde bakım masrafı, ve aslında önüne alınca tasarruf sağlayan ikna olmadım buağaç yaprakları üzerinde doğrusal geçer zaten sadece Tel üzerinde gösterimi seri hale getirmek için yapılıyor.

Bu toprak, saman adam bir alternatif karma içilir,exchange diziler düğümü olabilir kademeli ve modül ile güncellenen bucketed olan-pozisyon yüzük.

Neyi kaçırıyorum?

Merkle ağaçları veri eşitleme yaparken transfer miktarını sınırlamak. Genel varsayımlar şunlardır:

1. Ağ I/O yerel g/Ç karma bilgisayar daha pahalı.
2. Sıralanmış tüm anahtar alanı transfer giderek birkaç adım karşılaştırma sınırlayıcı daha pahalı.
3. Anahtar alanlarda benzerlikler daha az farklılıklar var.

Merkle Tree değişimi bu gibi görünecektir:

1. Ağaç kökü ile (bir hash Değeri Listesi) başlatın.
2. Kökeni geçerli düzeyde sağlamaları listesi gönderir.
3. Hedef, kendi ve karşı sağlamaları listesi farklar istekleri farklıdır ağaçlar. Eğer varsa yok farklılıklar, bu isteği iptal edilebilir.
4. Yaprak düğümlerin ulaşılana kadar 2 ve 3 numaralı adımları tekrarlayın.
5. Kökeni sonuç kümesi anahtarlarının değerlerini gönderir.

Normal durumda, anahtar alanlarda eşitleme karmaşıklığı log(N) olacaktır. Ortak anahtarları vardır hiçbir yerde Evet, uçta, operasyon sağlamalarının, O sıralanmış tüm liste Gönderen eşdeğer(N) olacaktır. Bir yazar olarak onları dinamik yapı tarafından Merkle ağaçlar bina ve disk üzerinde sıralanmış form tutma masrafı amorti eder.

Dinamo ya da Cassandra Merkle ağaçlar hakkında konuşamam, ama Rıak-küme içi senkronizasyon (handoff ima ve tamir okumak çoğu durumda yeterli) bunları kullanarak durdurdu. Bazı iç mimari bit değişti sonra sonra tekrar eklemek için planları var.

Rıak hakkında daha fazla bilgi için, e-posta listesine katılmak için teşvik ediyoruz: http://lists.basho.com/mailman/listinfo/riak-users_lists.basho.com