分散Javaプログラムのための アペクト指向言語.pptVIP

SWoPP2003, Matsue 分散 Java プログラムのためのアスペクト指向言語 西澤無我(東工大, CREST) 千葉滋(東工大, CREST) 本研究は 分散プログラミング支援ツールの開発 分散プログラムのモジュール化を促進 モジュール化は、プログラムの可読性の向上 プログラムをメンテナンスし易くなる DJcutter の提案 Java 用のアスペクト指向プログラミング言語 既存の技術ではモジュール化ができない処理 横断的関心事 オブジェクト指向技術では異なるモジュール間にまたがってしまう処理 横断的関心事が存在する分散プログラムの例 分散化した observer パターン 　　Subject と observer が異なるクラス?ホストに存在 分散化した observer パターン グループ図形エディタの説明 分散化した observer パターン- モジュール化の困難さ 2 種類の横断的関心事 異なるクラス間を横断する関心事（AspectJ で対応可） 異なるホスト間を横断する関心事 分散版では… Observer 複数のScreen オブジェクトが各ホストに存在する Subject Point, Line オブジェクトの複製が各ホストに存在する（編集中の図形の情報のコピーが各ホストに存在） 異なるクラス間の横断的関心事 クラス図 異なるクラス間の横断的関心事のモジュール化 アスペクト指向技術(AOP) 横断的関心事をアスペクトと呼ばれるモジュールに分離する技術 AspectJ 汎用的な Java 用 AOP 言語 異なるクラス間の横断的関心事のモジュール化は可能 しかし、異なるホスト間の横断的関心事のモジュール化は困難 AspectJ によるモジュール化 AspectJ の言語仕様 Join point プログラム実行中の基本要素 例: メソッド呼び出し、メソッド実行、フィールドアクセス Advice 定義 散らばってしまうコードの断片 Before, after, around Pointcut 記述 Advice を実行する join point の指定 Pointcut 指定子 target, call Pointcut 引数: advice に渡す join point の情報 異なるホスト間の横断的関心事- 遠隔ホスト上の observer AspectJ は苦手 Subject の状態の変更を、すべてのホストのスクリーンに遠隔呼び出しで通知 異なるホスト間の横断的関心事- 散らばる advice 各ホストに Point や Line の複製を配置すると 各ホストに advice が散らばる 各 advice 内では、各ホスト上の Screen の遠隔参照（ポインタ）のコピーを保持していなければならない 散らばった advice の問題 各ホスト上に散った複数の advice が一つの関心事を実装 プログラミング上好ましくない 全 Screen の遠隔参照（ポインタ）を全 advice 間で共有 コピーを配布 一貫性の管理が面倒 集中管理 一部の advice は proxy?? Proxy の定義は単純だが面倒 DJcutter の提案 AspectJ の言語仕様を拡張 遠隔ホスト上の join point を pointcut できる 遠隔ホスト上のプログラム実行が join point に達したら advice を呼び出す Advice が分散しない DJcutter による分散 observer パターンのモジュール化 言語仕様 (1)- Pointcut 記述 AspectJ のサブセットをサポート Within(Type) それぞれのホスト上に存在する Type クラス内の全ての join point を指定 Target(Id) Id と同じ型を引数にとる join point を全て指定 Args(Id, …) Ids と同じ型を引数にとる join point を指定 Call(Signature) Sigunature に一致しているメソッド呼び出しを指定 言語仕様 (2)- Advice 定義 AspectJ と同様の機能をサポート Before 選択した join point の直前に advice を実行 After 選択した join point の直後に advice を実行 Around 選択した join point 自体に代わり advice を実行 拡張：　組み込み変数 $remotehost Advice を呼び出した join point の存在するホスト名を String 型で表す 言語仕様(3)- アスペクトフィールド