higepon https://blog.hatena.ne.jp/higepon/ higepon blog https://higepon.hatenablog.com/ erlang id:kibayos さんの PDF「構造化オーバレイの一貫性保証」 に書かれている Skip Graph の一貫性保証の例を読み解く。 http://live-e.naist.jp/sensor_overlay/3/doc/yoshida.pdf （PDF） 探索処理は任意のタイミングで実行可能 資料 P14 。 Join は下位レベルから上位へ Remove は上位レベルから下位へ なので上位から下位に検索する処理には影響がないとの事。 直感的に理解できなかったので具体例を考える。 各レベルでの処理は atomic であると仮定する。 以下のような初期状態の Skip Graph に対して… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhigepon.hatenablog.com%2Fentry%2F20091013%2F1255424867" title=" Skip Graph の concurrent JOIN を考える - その1 - higepon blog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2009-10-13 18:07:47 rich https://higepon.hatenablog.com/entry/20091013/1255424867 1.0 100%