Raftとは？ 仕組みから考える得意なこと苦手なこと/What is Raft? Strengths and Weaknesses Based on Its Mechanism

2024/06/13 19 users

-- 追記-- > termの説明で「今のリーダーが何代目のリーダーかを表す」と書かれていますが、あるterm内でリーダーが1人も選出されないことがあるので、termで何代目のリーダーかは表せなくないですか？ https://x.com/11Takanori/status/1801212885873602681 termは必ずしもリーダーを示すものではなく、また票割れや投... 続きを読む

Raft + Redis な内製Redisサーバの紹介 - Mirrativ Tech Blog

2022/11/01 43 users Mirrativ パタ 未読 redis 前回

こんにちは ハタ です。 Mirrativのインフラ内で実際に開発・運用している内製のRedisサーバについてお話したいなと思っています。 前回の記事 は、今回紹介する内製Redisサーバで起きたメモリリーク対策に関するお話しとなっておりますので、もし未読であればあわせて読んでいただければと思います。 今回はなぜ Redis ... 続きを読む

分散合意アルゴリズム Raft を TLA+ で検証する - 俺の Colimit を越えてゆけ

2020/06/28 6 users インストール 作成 検証方法

はじめに 分散合意アルゴリズム Raft とは 分散合意アルゴリズムとは Raft の特徴 Raft が満たす性質 Election Safety Leader Append-Only Log Matching Leader Completeness State Machine Safety TLA+ とは TLA+ による Raft の形式的仕様 TLA+ による Raft の検証方法 TLA+ Toolbox のインストール 新規 Spec の作成 ... 続きを読む

半年で500万DLを達成したイカダ生活サバイバル『Raft』2018年に早期アクセス販売へ。オンラインCo-opにも対応 | AUTOMATON

2017/09/06 14 users AUTOMATON interactive パブリッシング

スウェーデンのインディーデベロッパーRedbeet Interactiveは9月5日、『 Raft 』の早期アクセス販売を2018年に開始する旨を発表した。Steamの ストアページ は公開済みで、対象プラットフォームはWindows。パブリッシングはAxolot Gamesが担当する。 本作は2016年12月、 itch.io にてプロトタイプが無料公開された1人称視点のイカダ生活サバイバルゲー... 続きを読む

イカダで生活するサバイバルゲーム『Raft』のプロトタイプが公開中。漂流ゴミを漁りサメの脅威から身を守れ | AUTOMATON

2017/01/04 19 users AUTOMATON いかだ 背びれ 海面 itch.io

手製のイカダに乗って海洋のど真ん中を漂流するサバイバルゲーム『 Raft 』。そのプロトタイプ版が itch.io （Windows/Mac/Linux）にて公開されている。見渡す限りの水平線、海面にちらつくサメの背びれ、手元に残されたのはロープに結びつけたフックのみ。そんなロマンあふれる設定もあってか、開発者の ブログ によると12月中旬に公開されてから一週間で10万ダウンロードを達成したという... 続きを読む