CからRustへの構造保持翻訳Oxidizeの技術資料
Lifting the Preprocessor with Oxidize: Structure-Preserving C-to-Rust Translation (Technical Report)
この論文をやさしく読む
ひとことで言うと
CのマクロをRustのマクロとして残す翻訳器Oxidizeについて、論文本体に収めきれない実装・評価資料を集めた技術報告。
何に役立つ？
翻訳器の仕組み、評価に使ったコードの版、比較手法の設定を確認し、結果を追試・検討する際に役立つ。
この研究の面白いところ
マクロを展開して消す通常の方針とは異なり、開発者が記した抽象化を翻訳後にも保持する点と、その型付けの詳細を公開している。
どこまで分かった？
要旨は報告に含まれる資料の一覧を示すもので、性能上の追加負荷の数値や安全なRustへの到達を示してはいない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
この技術報告は、EuroSys 2027に向けた論文「Oxidizeによるプリプロセッサーの持ち上げ：構造を保持するCからRustへの翻訳」（DOI 10.1145/3842654.3848533）に付随する。Oxidizeは、Cのマクロを展開して消すのではなくRustのマクロとして残すCからRustへの翻訳器であり、翻訳後のコードにも開発者が書いた抽象化を保持する。 この報告には、元の論文が引用するものの紙幅に収まらなかった資料をまとめる。具体的には、翻訳器の中間表現、処理段階の構造とバックエンドの出力、補助トレイトと汎用キャストマクロを用いたマクロの型付けの詳細、評価対象とした九つのCコードベースの入手元と固定した版、コードベースごとのマクロ数と分類方法を含む。さらに、構造を保持する翻訳から安全なRustへ進むための計画、性能上の追加負荷の調査とその方法、LLMを使う比較手法の設定とプロンプトも収録する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-24（UTC）
- 最新改訂
- 2026-09-24 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-24 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
This technical report accompanies our EuroSys 2027 paper "Lifting the Preprocessor with Oxidize: Structure-Preserving C-to-Rust Translation" (DOI 10.1145/3842654.3848533). Oxidize is a C-to-Rust translator that retains C macros as Rust macros instead of expanding them away, so that the translated code keeps the abstractions its developers wrote. The report collects material the paper cites but has no room for: the translator's intermediate representation, pass structure and back-end emission; the details of macro typing through helper traits and the generic cast macro; the sources and pinned revisions of the nine evaluated C codebases; the per-codebase macro population and how macros are attributed to classes; a roadmap from structure-preserving translation toward safe Rust; the performance overhead study and its methodology; and the configuration and prompt used for the LLM-based baselines.
著者のコメント
11 pages. Technical report accompanying the EuroSys 2027 paper, DOI 10.1145/3842654.3848533
arXiv ID: 2609.30062 ／ 要約の誤りについて