-
- いいね！0
hisayuki
@hisayuki_mori
@H__Goro_ サンプルはToDoリストだけどReact + Netlify function + FaunaDBっていう構成を作ってる♪ 大体形になってきたから、出来上がったらQiita乗せるね〜😊
2020-02-17 00:05:54
Carpe Diem
@hodahgi
Chaos Mesh・Dancing with Kubernetes' Chaos qiita.com/iwantodisappea… ChaosMeshは分散型データベースTiDBと共にPingCAPさんによりカオスエンジニアリングテストツールとして開発されているが、当初は現在のようなサービスメッシュでもそもそもKubernetes上に乗っかるツールでもなかったという話。
2020-02-17 00:30:54
こば -Koba as a DB engineer-
@tzkb
CockroachDBのトランザクション高速化のブログ、ほんと難解で読みながら寝落ちした。頭の良い人達が考えることは凄いっすわ。
2020-02-18 01:40:49
_
@apstndb
@tzkb この記事も下記の記述を見ると、 external consistency が linearizability を含むとは限らないという表現には見えます。 >While Spanner provides linearizability, CockroachDB’s external consistency guarantee is by default only serializability
2020-02-18 23:26:22
_
@apstndb
@tzkb よく見ると >provides for a particularly strong guarantee of external consistency known as “linearizability.” の表現もちょっと含みがある感じがありますね
2020-02-18 23:57:34
_
@apstndb
@tzkb 読み直しは必要でも upper bound までに終わることが分かっているから中止ではないのかと思いました >Transactions reading constantly updated data from many nodes might be forced to restart multiple times, though never for longer than the upper bound, nor more than one time per node.
2020-02-19 00:07:05
id
@ido_kara_deru
@apstndb @tzkb 私的にもexternal consistencyは定義的に半順序のように見えるので、全順序であるlinearizabilityと同じというのには違和感があります（DB何も分からないのにExternal Consistencyと聞いて首を突っ込む人）
2020-02-19 00:34:53
_
@apstndb
@ido_kara_deru @tzkb >external consistencyは定義的に半順序のように見える の定義はどの定義を指しているのかがやや気になっています
2020-02-19 00:38:37
_
@apstndb
ところで Living Without Atomic Clocks の記事にあった "CockroachDB sometimes waits before reads." のあたりの挙動はドキュメント中だと Read refreshing にあたるのかな cockroachlabs.com/docs/stable/ar…
2020-02-19 00:56:08
_
@apstndb
ところで Cockroach DB の公式の記述の方では transaction restart(read refreshing) が出てくるようだけど、それが使っているはずの HLC の論文だとどこに相当するのかが今の所あまりよく分かっていない cockroachlabs.com/docs/stable/ar… cse.buffalo.edu/tech-reports/2…
2020-02-19 01:01:48
id
@ido_kara_deru
@apstndb @tzkb この前教えていただいたこちらです。ある操作が完了した後で始まった別の操作とあるので、部分的に被っている操作は対象外なのかなと。 先々週末調べたときは同じ定期をしてる英語文献もあったように思うのですが、今探したら見つかりませんでした。 qiita.com/kumagi/items/3…
2020-02-19 01:02:03
_
@apstndb
HLC の論文、 HLC で TrueTime を置き換えれば wait が必要なくてハッピーみたいな感じで終わっているけどそんなことはないように見えるし、 トレードオフについて書いてある HybridTime の論文の方が信憑性があるような気がしてしまった
2020-02-19 01:03:15
_
@apstndb
@ido_kara_deru @tzkb この記事の解釈の元ネタがどこにあるのかが分からないので私はちょっと判断を保留しているんですよね。下記の記述は external consistency だと条件が違うような。 >複数のクライアント(ユーザと呼んでも良い)から同時に一つのオブジェクトにアクセスしにくる、という文脈がまず最初にある。
2020-02-19 01:05:13
id
@ido_kara_deru
@apstndb @tzkb リンクのSpanner論文に定義の元ネタがありました。また、Database Internalsの12章にも同じ定義がありました(この論文の引用?)。 本にはExternal ConsistencyがLinearizationと同等のリアルタイム性を持つと記載があり、結局よく分かりません... static.googleusercontent.com/media/research… pic.twitter.com/gtxTqzJOgO
2020-02-19 02:11:53
拡大
id
@ido_kara_deru
@apstndb @tzkb External Consistencyだけ条件が違うというのが、これだけ他と違ってSerializabilityを満たす前提ということだとしたら、私的にもそのように感じます。Database Internalを見るとExternal Consistencyが直列化も行っているようにも見えますが...
2020-02-19 02:16:11
_
@apstndb
@ido_kara_deru @tzkb Spanner の論文だと external consistency 自体の参考文献は存在せず、[20] として参照されているのはあくまで下の linearizability の論文なんですよね。なので external consistency の定義自体の実在がまだ確認できていないという気持ちでした。 cs.brown.edu/~mph/HerlihyW9…
2020-02-19 02:19:04
_
@apstndb
@ido_kara_deru @tzkb この Gifford による1981年の論文が external consistency の初出に見えるけど、そこから上の定義を説明できる記述がまだ見つかっていないんですよね。 cloud.google.com/spanner/docs/t… pdfs.semanticscholar.org/fafa/ebf830bc9…
2020-02-19 02:22:14
_
@apstndb
@ido_kara_deru @tzkb Database Internals の13章はおっしゃるとおり Spanner の論文からそのまま解説している感じですしね…
2020-02-19 02:26:13
id
@ido_kara_deru
@apstndb @tzkb 私もその定義が上とあってるか分からなくて先程困ってました...。 直列化されたトランザクションの完了順序(external scheduler)とトランザクションの集合を処理するスケジュールが一致というのは、「論理的にも実時間と同じ順序」というkumagiさんの説明に一致するとは思います pic.twitter.com/fluSlLbnxz
2020-02-19 02:40:07
拡大
_
@apstndb
@ido_kara_deru @tzkb この段落だけで話をすると、 tx の始まりではなくて完了しか出てこないから、 Spanner の論文の方の定義と一致するかというとなんだか微妙な気がするんですよね。元々あまりフォーマルに定義されていない印象がある。
2020-02-19 02:47:51
_
@apstndb
@ido_kara_deru @tzkb その前で説明されている Serial Consistency が Serializability と対応するものだと解釈するとそれを満たした時点で並列するものはないものとして扱えるって話だとは思っています。
2020-02-19 02:50:42
_
@apstndb
@ido_kara_deru @tzkb まあとりあえず Gifford81 と Spanner の2つの論文の間を埋める formalize をあまり読んでいないので議論できる材料が足りないということで。私は tx には詳しくないので、これでは分からないということしか分からない。
2020-02-19 02:53:09