気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
88 usersがブックマーク
7
7
CockroachDB から覗く形式手法の世界 #JTF2021w / July Tech Festa 2021 winter
88 users
speakerdeck.com/ytaka23
speakerdeck.com/ytaka23
記事へのコメント7件
- 注目コメント
- 新着コメント
sh19910711
"TLA+ > Temporal Logic of Actions / 今、分散 DB 界で TLA+ が熱い > DynamoDB: AWS での最初の採用、後に S3 などにも横展開。「設計をデバッグする」と表現し浸透を図る"
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
CockroachDB から覗く形式手法の世界 #JTF2021w / July Tech Festa 2021 winter
July Tech Festa 2021 winter で使用したスライドです。 バグのない分散システムの設計は果たして可能で... July Tech Festa 2021 winter で使用したスライドです。 バグのない分散システムの設計は果たして可能でしょうか？ この問いに対する一つの答えとして、CockroachDB では形式手法ツール TLA+ を用いて分散トランザクションの正しさを担保しています。 形式手法はシステムの挙動を数学的に解析する技法で、「ノードが特定のタイミングで故障した場合にのみ発生するバグ」といった再現困難な問題を確実に検出することができます。 本講演では、CockroachDB の事例を通して、形式手法が実世界で活用されている様子をお伝えします。 イベント概要：https://techfesta.connpass.com/event/193966/ ブログ記事：https://ccvanishing.hateblo.jp/entry/2021/01/24/185819 録画：https:/
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
speakerdeck.com/ytaka23
speakerdeck.com/ytaka23
speakerdeck.com/ytaka23
speakerdeck.com/ytaka23
zenn.dev/necscat
openai.com
ta-nishi.hatenablog.com
pc.watch.impress.co.jp
www.itmedia.co.jp
levtech.jp
xtech.nikkei.com
levtech.jp
thebridge.jp
www.jstage.jst.go.jp
www.jstage.jst.go.jp
2021/01/24 リンク