Microsoft PowerPoint - aop-intro.ppt

Size: px

Start display at page:

Download "Microsoft PowerPoint - aop-intro.ppt"

しげのぶますはら
6 years ago
Views:

1 概要 AOP 入門増原英彦東京大学大学院総合文化研究科 AOP でやりたいこと AOP でできること現在の状況 AspectJ の紹介応用例他の AOP 言語 SEA フォーラム 2006 年 6 月 1 2 AOP は何をしてくれるか複数のモジュールにちらばる記述 ( 横断的関心事 ) を一まとめにする : 修正デバグレビューを容易にするいつどこでを明文化する AOP は何をしてくれるか複数のモジュールにちらばる記述 ( 横断的関心事 ) を一まとめにする : 修正デバグレビューを容易にするいつどこでを明文化する 3 4 1

2 AOP とは : 具体例例 : 図形エディタの内部のモジュール化モジュール : 図形要素 ( 点線円等 ) 画面命令 ( 生成移動削除 ) など with OO: モジュール = クラス効用拡張修正デバグ範囲の限定 ( 例 : 図形要素の追加 ) ポリシーの明文化アスペクトもモジュール 5 具体例 : 図形エディタディスプレイの定義は図形要素の詳細を知らずにできる図形要素の種類を増やすときの手間が小さい Display figures redraw() draw() x, y getx() gety() moveby(dx,dy) setx(x) sety(y) display(disp) FigElm moveby(dx,dy) display(disp) Line p1, p2 getp1() getp2() moveby(dx, dy) setp1(p1) setp2(p2) display(disp) 6 問題 : 散らばる記述 aka 横断的関心事図形変更時に画面を再描画したい図形を変更している場所は沢山あるモジュールにまとめられない! ほんの一例 x+=dx; y+=dy; this.x = x; this.y=y; Display FigElm figures this.p1=p1; moveby(dx,dy) redraw() display(disp) draw() this.p2=p2; p1.moveby(dx,dy); Line p2.moveby(dx,dy); x, y p1, p2 getx() getp1() gety() getp2() moveby(dx,dy) moveby(dx, dy) setx(x) setp1(p1) sety(y) setp2(p2) display(disp) display(disp) 7 アスペクトによるモジュール化図形要素の定義と再描画が独立 DisplayUpdating figurechange() advice() x+=dx; y+=dy; this.x = x; this.y=y; Display FigElm figures this.p1=p1; moveby(dx,dy) redraw() display(disp) draw() this.p2=p2; p1.moveby(dx,dy); Line p2.moveby(dx,dy); x, y p1, p2 getx() getp1() gety() getp2() moveby(dx,dy) moveby(dx, dy) setx(x) setp1(p1) sety(y) setp2(p2) display(disp) display(disp) 8 2

3 AOP の現状 : 道具 AOP の現状 : 使われ方実用的な処理系が揃いつつある AspectJ, AspectC++ AspectWerkz, JBoss AOP, Spring AOP 開発環境もある AJDT plug-in for Eclipse ライブラリはこれから for more: community aosd.net AOP@Work (IBM developerworks) 3 種の使われ方 [Kiczales] exploration / enforcement auxiliary / infrastructure core / business 状況 : 実験的使用 ~ 実システムでの部分的使用商用システムでも (e.g., IBM SWG) 9 10 AspectJ 言語最も知られている汎用 AOP 言語他のAOP 言語の手本 Java 言語と上位互換開発体勢 : Xerox PARCで開発がスタート ( 90 後 ) Eclipse オープンソース開発 ( 現在 ) 開発環境 : Eclipseプラグイン等バッチコンパイルバイトコード織込 Java ロード時織込 Java 織込と実行 javac Java アスペクトアスペクト javac クラスクラスアスペクト ajc クラス ajc クラス JVM aspectjrt.jar ajc クラス JVM aspectjrt.jar aspectj weaver.jar JVM aspectjrt.jar

4 AspectJ の主要概念 AspectJ の主要概念アスペクト (cf. クラス ) 横断的関心事をまとめる単位アドバイス (cf. メソッド ) 追加的な操作結合点ポイントカットどんなときを決める型間宣言追加的宣言構造動作アスペクトアドバイスポイントカット型間宣言 call(void.setx(int)) call(void.sety(int)) call(void Line.setP1()) call(void Line.setP2()); after() : move() { } void.draw(display d) { } AspectJ の主要概念 : アドバイス AspectJ の主要概念 : ポイントカット追加代替の動作を記述どんな動作の ( ポイントカット ) 前 / 後 / かわりに ( 修飾子 ) 何をするか ( 本体 ) Java の文 move した後は redraw() を呼べ call(void.setx(int)) call(void.sety(int)) call(void Line.setP1()) call(void Line.setP2()); after() : move() { } void.draw(display d) { } 15 何かが起きたときを指定動作の種類 ( メソッド呼出 etc.) シグネチャ合成 call(void.setx(int)) call(void.sety(int)) call(void Line.setP1()) call(void Line.setP2()); after() : move() { } void.draw(display d) { } FigElm.moveby または.setX またはを呼出すとき 16 4

5 AspectJ の主要概念 : 型間宣言 (inter-type declarations) 既存の型に外から宣言を追加既存の型クラスインタフェース追加される宣言メソッドフィールド extends implements 節 declare parent MyTask: implements Runnable; public void MyTask.run() { init(); } call(void.setx(int)) call(void.sety(int)) call(void Line.setP1()) call(void Line.setP2()); FigElmクラスにdraw メソッドを追加 after() : move() { } void.draw(display d) { } MyTask クラスに Runnable を実装 17 Main setx AspectJ の実行モデル : 結合点モデル結合点 this.x=x = メソッド呼出実行フィールド代入などの実行中の動作 ; after() : move() { } void.draw(display d) { } 18 Main setx AspectJ の実行モデル : 結合点モデル Display Updating 結合点とアドバイスのポイントカットが合致 before の本体 ; 本来の結合点 ; after の本体の順に実行 ; after() : move() { } void.draw(display d) { } 19 Main setx AspectJ の実行モデル : around アドバイス proceed Lock Movement 例 : ロックされた図形の移動を禁止本来の結合点になりかわって実行 proceed 結合点の実行を再開 aspect LockMovement { ; void around() : move() { if (! locked()) proceed(); } 20 5

6 ポイントカットの能力 : 横断的な指定 FigElm Line に対する動作をまとめて指定モジュール化! call(void.setx(int)) call(void.sety(int)) call(void Line.setP1()) call(void Line.setP2()); after() : move() { } ポイントカットの能力 : ワイルドカード + 命令規則ワイルドカードによって簡潔に定義できる例 : FigElm とその子クラスにある set で始まる名前のメソッドが呼び出されたとき call(* FigElm+.set*(..)); after() : move() { } ポイントカットの能力 : 様々な条件色々な種類の条件 within(myapp.db..*): DB パッケージ内のみ set(int.x):.x への代入 withincode, execution, get, handler, initialization, static initialization 組み合わせる call(* javax.swing..*(..)) &&!within(myapp.ui..*)): UI パッケージ以外からの Swing 呼出し 23 画面更新の例各図形に表示画面が対応アドバイスは変更される図形から画面を取得して再描画ポイントカットの能力 : 文脈情報 (self) の取得 pointcut move(figelm fig) : ( call(void FigElm+.set*(..))) && target(fig); after(figelm fig) : move(fig) { Display d = fig.getdisp(); d.redraw(fig); } 呼出先のオブジェクト : fig 24 6

7 ポイントカットの能力 : 制御の流れ (cflow) 1 ポイントカットの能力 : 制御の流れ (cflow) 2 p.moveby(2,3); は 3 回 redraw を呼んでしまう setx main sety moveby call(* FigElm+.set*(..)); after() : move() { } class { void moveby(int dx, int dy) { setx(getx()+dx); sety(gety()+dy); } } 呼出スタックを調べられる setx, sety が moveby などから呼出されていないとき setx main sety moveby call(* FigElm+.set*(..)); after() : move() &&!cflowbelow(move()) { } class { void moveby(int dx, int dy) { setx(getx()+dx); sety(gety()+dy); } } 再利用 : 抽象アスペクト AOP の応用例抽象アスペクトどこ = 抽象ポイントカットとして定義を遅らせる動作 = アドバイスに定義する具体アスペクトポイントカットを具体化するだけ abstract aspect AbstractLogging { abstract pointcut log(); after() : log() { ログ取り動作... } aspect DBLogging extends AbstractLogging { pointcut log(): call(* myapp.db..*.*(..)); } Architecture enforcement API IBM SWG 例外処理

8 Architecture Enforcement insurance.ui Architecture Enforcement Modules public aspect ArchitectureEnforcement { insurance.model.listeners insurance.model. insurance.model.validation public pointcut uicall(): (call(* insurance.ui..*(..)) call(insurance.ui..new(..)) &&!call(* java.lang.object.*(..)); insurance.model.impl public pointcut modelcall(): <similar>; persistence insurance.dao insurance.dao.hibernate insurance.dao.inmemory public pointcut modelimplcall() : <similar>;...one per module Architecture Enforcement Modules... public pointcut inui(): within(insurance.ui..*); public pointcut inmodel(): within(insurance.model.*); public pointcut inmodelimpl(): within(insurance.model.impl..*);...one per module Architecture Enforcement Rules declare warning: uicall() &&!inui(): "No calls into the user interface"; declare warning: modelimplcall() &&!inmodelimpl(): "Please use interfaces in insurance.model instead"; declare warning: daocall() &&!(inmodelimpl() inanydao()): "Only model and DAO implementers should use DAO interface"; プログラマブル柔軟性が高い 1 つのツールであらゆるアーキテクチャを扱うのは難しい 32 8

Architecture Enforcement At Work Example: API Scanner IBM SWG で利用されているアスペクト群 30 のプロジェクト / 製品で利用良くない場合を declare warning で検知 1 つのプロジェクト / 製品は他のを使用する環境例 : public だけど外部 I/F ではないメソッドの呼出

dao Example: Exception Management throws throws RuntimeException SIException SIPersistenceException 35 Example: Preliminary Exception Management package insurance.ui; import.

9 Architecture Enforcement At Work Example: API Scanner IBM SWG で利用されているアスペクト群 30 のプロジェクト / 製品で利用良くない場合を declare warning で検知 1 つのプロジェクト / 製品は他のを使用する環境例 : public だけど外部 I/F ではないメソッドの呼出配布しやすいスクリプトにまとめられている 50,000 以上の問題点を発見設計のモジュール性を尊重すれば自由度が上がる将来の製品開発の時間短縮の可能性 insurance.ui insurance.model insurance.dao Example: Exception Management throws throws RuntimeException SIException SIPersistenceException 35 Example: Preliminary Exception Management package insurance.ui; import...; public aspect ExceptionHandling { private static final String title = "Simple Insurance Exception"; Object around() : SystemArchitecture.modelCall() && SystemArchitecture.inUI() &&!within(exceptionhandling) { Object ret = null; try { ret = proceed(); } catch (SIException ex) { MessageDialog.openError(SimpleInsuranceApp.getShell(), title, "Call to "+ thisjoin +" threw exception n n" + ex.getmessage()); } return ret; }} 36 9

10 AOP はどんな場合に使えるのか? いつそれをやるかが単純でない場合特定の動作だけログをとるこのモジュールだけ例外を別扱いかつ規則化したい場合将来の拡張変更のため力ずくで 100 箇所にコードを書くと後で泣くそうでなければ OO で refactoring すべき他の AOP 言語 ( 実用に耐えられそうなもののみ ) Java アプリケーションフレームワーク特徴 : pure Java の記述 ( メタファイルアノテーション ) ライブラリ : 永続化キャッシュ等処理系 : AspectWerkz (BEA) AspectJ と共通化 JBoss AOP Spring AOP AspectJ と共通化? Java 以外 : AspectC まとめ AOPとはモジュール化の手法使えるところから使われている AspectJの紹介結合点ポイントカットアドバイス型間宣言応用例他のAOP 言語 : 共通化が進んでいる 39 10

アスペクトの相互作用を解消するアスペクトの提案

アスペクトの相互作用を解消するアスペクトの提案武山文信千葉滋東京工業大学大学院情報理工学研究科数理計算科学専攻 2009/03/11 武山文信, 千葉滋, アスペクトの相互作用を解消するアスペクトの提案 @PPL2009 in 高山 1/21 アスペクト指向プログラミング (AOP) 横断的関心事をアスペクトとしてモジュール化オブジェクト指向 (OOP) では上手く分離できないクラス階層に