[論文レビュー] Prototyping CLP(FD) Tracers: a Trace Model and an Experimental Validation Environment

Ludovic Langevine, Pierre Deransart+2 more|ArXiv.org|Nov 16, 2001

Logic, programming, and type systems参考文献 17被引用数 6

ひとこと要約

本稿では、8段階の操作的意味論に基づき、CLP(FD)制約解決のための形式的でプラットフォームに依存しないトレースモデルを提案する。このモデルは、微細な実行トレースを生成するために、拡張されたメタインタプリタを用いて実装されている。このモデルにより、下位のソルバに依存しない汎用的なデバッグツールを構築可能となり、実験的検証により、検索木、ドメインの変化、制約伝搬といった重要な視覚化が可能であることが示された。

ABSTRACT

Developing and maintaining CLP programs requires visualization and explanation tools. However, existing tools are built in an ad hoc way. Therefore porting tools from one platform to another is very difficult. We have shown in previous work that, from a fine-grained execution trace, a number of interesting views about logic program executions could be generated by trace analysis. In this article, we propose a trace model for constraint solving by narrowing. This trace model is the first one proposed for CLP(FD) and does not pretend to be the ultimate one. We also propose an instrumented meta-interpreter in order to experiment with the model. Furthermore, we show that the proposed trace model contains the necessary information to build known and useful execution views. This work sets the basis for generic execution analysis of CLP(FD) programs.

研究の動機と目的

• 既存のアドホックな実装によるCLP(FD)プログラムにおける標準化・再利用可能なデバッグツールの不足に対処すること。
• 制約解決のための形式的で汎用的なトレースモデルを定義することで、プラットフォームに依存しない実行解析を可能にすること。
• 一貫したトレース形式から複数のデバッグツールを構築する基盤を提供すること。
• 拡張されたメタインタプリタとトレースアナライザーのプロトタイプを用いて、トレースモデルを実証すること。
• 検索木、ドメインの変化といった基本的なデバッグビュー（例：検索木、Sボックス、ドメインの変化）がトレースから再構築可能であることを示すこと。

提案手法

• 既存の形式的体系に基づき、制御フェーズと伝搬フェーズを分離した、CLP(FD)狭小化のための8段階の操作的意味論を定義する。
• 「ポート」と「属性」を用いて、制約の作成、伝搬、ラベリング、ドメイン更新といった重要なイベントを捕らえるトレースモデルを設計する。
• 定義されたトレースモデルに従ってイベントをログ記録する拡張されたメタインタプリタを実装し、実際のソルバの振る舞いを模倣する。
• Opium風のPrologベースのトレースアナライザーを用いて、トレースからビューを抽出・フォーマットし、ツールに依存しない解析を可能にする。
• トレースデータから既知のデバッグビュー（例：検索木、Sボックス、ドメインの変化）を再現することで、モデルの妥当性を検証する。
• 将来的なツールやインタラクティブデバッグ機能をサポートできるように、トレース形式の拡張性を確保する。

実験結果

リサーチクエスチョン

• RQ1 CLP(FD)制約解決のための形式的で、プラットフォームに依存しないトレースモデルを定義可能か？ すべての必要な実行詳細を捉えられるか？
• RQ2 そのようなトレースモデルを、意味的正確性を保持しつつ、効率的なトレース生成を可能にする方法で実装できるか？
• RQ3 既存のデバッグツール（例：検索木可視化ツール、ドメイン変化ビュアー）が、提案されたトレース形式からどの程度再構築可能か？
• RQ4 インタラクティブデバッグやトレースされた実行パスの選択的再実行をサポートするためのメカニズムは何か？
• RQ5 汎用的なトレースモデルにより、異なるCLP(FD)プラットフォーム間でデバッグツールを開発する際の作業の重複を削減できるか？

主な発見

• 提案されたトレースモデルは、CLP(FD)実行に必要なすべての主要なイベント（制約の作成、伝搬、ラベリング、ドメインの更新）を的確に捉えている。
• 拡張されたメタインタプリタは、操作的意味論と整合的で、実際のトレーサーの検証にも使用可能な意味的正確なトレースを生成している。
• トレース形式は、検索木、ドメインの変化、制約伝搬といった既知のデバッグビューの再構築を可能としており、既存のツールを用いて実証された。
• Prologベースのトレースアナライザーにより、トレースデータの効率的で高水準のフィルタリングとフォーマットが可能となり、1つのトレースから複数のツールを構築できる。
• モデルは拡張可能であり、将来的な強化（例：インタラクティブデバッグ、複数アナライザーの連携）をサポートしているが、後者については未解決の課題のままである。
• このアプローチにより、ソルバープラットフォームに依存しないツール開発が可能となり、CHIP、CLAIRE、GNU Prologなどのシステム間で作業の重複が削減され、再利用性が向上した。