OxyMake: A Formally-Specified, Content-Addressable Workflow Engine
OxyMakeは、信頼性の低いファイルの更新タイムスタンプをコンテンツ指向のBLAKE3ハッシュに置き換えることで、堅牢なマシン間キャッシュを実現し、既存のMake形式のパイプラインとの互換性を維持しつつ不要な再実行を排除する、形式仕様に基づいた単一バイナリのRust製ワークフローエンジンです。
原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。 免責事項の全文を読む
あなたは、大規模で数日間にわたる料理コンテストの運営責任者だと想像してください。あなたには、生の食材を最終的なご馳走へと変えるためのレシピ本（ワークフロー）があります。
昔は、料理長（GNU Makeや初期のSnakemakeのようなワークフローエンジン）は、非常に単純なルールに基づいて、料理を再調理するかどうかを判断していました。それは、**「材料の瓶に付いている時計が変わったか？」**というルールでした。
これは、ファイルの「最終更新日時」をチェックすることに似ています。しかし、このルールには欠陥がありました。
- 誤報（False Alarm）: 材料を新しいキッチンにコピーしたり、バックアップから復元したりすると、中身の食材は全く同じでも、瓶のタイムスタンプが新しくなってしまいます。古い料理長は、新しい時刻を見てパニックに陥り、食事全体を一から作り直してしまい、何時間もの時間とエネルギーを無駄にします。
- サイレント・フェイラー（Silent Failure）: 逆に、瓶の中身を入れ替えたのに、瓶のラベル（タイムスタンプ）を変えなかった場合、料理長は古い時刻を見て「問題ない」と判断し、中身が古くなって腐っていることに気づかず、そのまま提供してしまいます。
OxyMakeは、この問題を解決するために作られた、極めてスマートな新しいキッチンエンジンです。時計を見る代わりに、OxyMakeは**「食べ物の味を確かめる（中身を確認する）」**のです。
OxyMakeの仕組みを、シンプルな概念に分解して説明します。
1. 「味見」（コンテンツ・アドレス可能キャッシュ）
「最後にいつ触れられたか？」と聞く代わりに、OxyMakeは**「これは何でできているのか？」**と問いかけます。
OxyMakeは、あらゆる材料、あらゆる工程、そして使われるすべての道具に対して、独自の「指紋」（暗号化ハッシュ）を作成します。
- もし材料を新しいキッチンにコピーしても、指紋は変わりません。OxyMakeはそれを見て、「作り直す必要はない。すでに完璧な料理がある」と判断します。
- もしトマトをジャガイモに入れ替えたら、指紋は即座に変わります。OxyMakeはすぐに違いを察知し、変更が必要な部分だけを調理します。
これにより、「空振りの再実行（すでに持っているものをわざわざ作る時間の浪費）」と「サイレント・ステイル出力（ラベルが古いため、腐った料理を出してしまうこと）」の両方を排除します。
2. 「設計図 vs 実装」（三層グラフ構造）
OxyMakeは、建築家、建設業者、そして現場監督のように、3つのレイヤーで思考します。
- 設計図（RuleGraph）: これはあなたのレシピ本です。抽象的です。「すべての野菜に対してスープを作る」と書いてありますが、まだどの野菜を使うかは決まっていません。
- 構築計画（JobGraph）: OxyMakeはこの設計図を取り込み、展開します。「よし、人参、ジャガイモ、玉ねぎがある。ということは、3種類の特定のスープを作る必要がある」と判断します。調理を開始する前に、何をすべきかを正確に把握します。
- 建設現場（ExecGraph）: これは現在進行中の実際の調理です。どの鍋が沸騰しているか、どの鍋が完成したか、あるいはどの鍋が焦げてしまったかを追跡します。
OxyMakeは（数秒という極めて短い時間で）すべてを事前に計画するため、手順を一つずつ進めながら考える他のエンジンよりも、何千ものステップがある巨大なレシピをはるかに速く処理できます。
3. 「ボス不在」のキッチン（デーモンレス実行）
ほとんどのワークフローエンジンは、24時間体制でキッチンを見守る中央の「ボス」コンピュータ（デーモン）を必要とします。もしボスがクラッシュすれば、キッチンは止まってしまいます。
Oxy-Makeは違います。それは、いつでもキッチンに出入りできる独立した料理人たちのチームのようなものです。
- 協調的な取り決め（Cooperative Claiming）: もし2人の料理人が同じ鍋を掴もうとした場合、丁寧なハンドシェイク・プロトコルによって、どちらが調理するかを決定します。
- 単一障害点の不在: もし一人の料理人が去ったり、そのコンピュータがクラッシュしたりしても、他のメンバーがその穴を埋めます。キッチンを動かし続けるために中央のマネージャーを必要としません。
4. 「万能翻訳機」（ポリグロット実行）
普通のキッチンでは、特定のナイフや特定の言語しか使えないかもしれません。しかし、OxyMakeはポリグロット（多言語話者）です。
- レシピは TOML（シンプルでクリーンなテキスト形式）で書くことができます。これは人間にとって読みやすく、コンピュータにとっても瞬時に理解できる形式です。
- しかし、実際の調理は Python, R, Shell script, または Julia で行うことができます。OxyMakeは、料理人がどの言語を話しているかは気にしません。ただ材料を渡し、完成した料理を受け取るだけです。
5. 「誠実な台帳」（再現性）
OxyMakeは、厳格で変更不可能な日記（ox.lock という名前のロックファイル）を記録します。
- どのような材料が使われ、レシピが何と指示し、最終的な料理がどのような味であったかを正確に記録します。
- たとえ5年後に、全く別のコンピュータでこのキッチンに戻ってきたとしても、OxyMakeはその日記を見てこう言えます。「はい、もしこの通りに進めば、全く同じ結果が得られます」。
- さらに、料理人たちの「ハンドシェイク・プロトコル」が安全であることを証明するために、形式手法（TLA+）を用いて、2人の料理人が同時に同じ料理を作ったり、互いの邪魔をしたりしないことを数学的に証明しています。
トレードオフ：スピード vs 安全性
この論文は、一つのデメリットについても非常に正直です。
- コールドスタート（初回起動）: レシピを初めて実行する場合、指紋を作るためにすべての材料を「味見（ハッシュ化）」しなければならないため、OxyMakeは従来のエンジンよりもわずかに遅くなります。
- ウォームラン（再実行）: しかし、一度それを終えてしまえば（あるいは別のコンピュータで実行する場合）、OxyMakeは圧倒的に速く、かつ遥かに信頼性が高いのです。古いエンジンはタイムスタンプに惑わされてすべてを再調理してしまうことがありますが、OxyMakeは指紋が一致していれば、調理工程を完全にスキップします。
まとめ
OxyMakeは、タイムスタンプに基づいて推測することをやめ、データの実際の内容を確認するワークフローエンジンです。高速なモダン言語（Rust）で構築されており、中央のボスを必要とせず、あらゆる工程の正確で監査可能な記録を保持します。これは、何度も繰り返し実行されるワークフローにおいて、初期設定のわずかな時間を、スピード、安全性、および信頼性の大きな向上と引き換えにするものです。
自分の分野の論文に埋もれていませんか？
研究キーワードに一致する最新の論文のダイジェストを毎日受け取りましょう——技術要約付き、あなたの言語で。