Josh. Java. AspectJ weave. 2 AspectJ. Josh Javassist[1] Javassist Java. AspectJ[3, 4] Java. AspectJ. weave. weave. weave. weave. weaver 1.

Transcription

1 Josh Java Aspect Weaver weaver 1 AspectJ Java AspectJ Java weave AspectJ weave Josh weave Javassist weave 1 weaver 1 AspectJ[3, 4] 1 Java AspectJ Java weave Java AspectJ weave Josh Josh Java weave weave AspectJ Tokyo Institute of Technology, Faculty of Science Doctral Program in Engineering, University of Tsukuba Graduate School of Information Science and Engineering, Tokyo Institute of Technology weave Java Josh weave weave Josh Javassist[1] Javassist Java Javassist weave AspectJ 3 Josh AspectJ AspectJ AspectJ 1.0 1

2 2.1 weave AspectJ 1 Java AspectJ 1.0 Java AspectJ Java Java Java Java 2.2 AspectJ AspectJ AspectJ AspectJ 2 AspectJ Java AspectJ 1 AspectJ 2 Introduction AspectJ introduction introduction ( 1) private int Point.newfield; ( 2) public Point.setX(int newx) { this.x = newx; AspectJ ( 1) Point private int newfield ( 2) Point public setx(int newx) 2

3 Advice join point join point join point pointcut pointcut ( 3) call(int Point.getX()) ( 4) set(int Point.x) ( 3) Point int getx ( 4) Point int x pointcut pointcut ( 5) pointcut mysetx() : set(int Point.x); mysetx pointcut pointcut Advice pointcut Advice 3 pointcut before after aroundadvice advice : pointcut { advice ( 6) before() : call(int Point.getX()) { System.out.println ("after getx"); ( 7) after() : mysetx() {System.out.println("set x"); ( 6) Point int getx() pointcut ( 7) mysetx pointcut pointcut mysetx pointcut 2.3 AspectJ AspectJ Java weave AspectJ weave weave ( 1) weave weave weave 3 Josh AspectJ 2 Josh 3.1 weave Josh Java weave Java AspectJ weave weave Josh 3

4 aspect AspectJ weaved bytecode weaver java source weaved source 1: AspectJ java source local disk Josh partial aspect weaver bytecode weaved bytecode 2: Josh weave weave jar weave Josh Addistant[10] weave weave weave Josh 4

5 Josh weaver Java weaver Javassist join point 2 weave 3.2 Josh Javassist weave 1. introduction ( A) public int Point.newPlus(int a, int b) { return a + b; 2. advice ( B) before():call(int Point.getX()) {System.out.println("before"); Josh Java Josh Josh ( A) introduction public class DummyJosh { public int newplus(int a, int b){ return a + b; ( A) ( C) public Point.newPrintX() { System.out.println ("x = " + x); introduciton public class DummyJosh { public newprintx() { System.out.println("x = " + x); x ( Point ) Point public class DummyJosh { public newprintx() { System.out.println("x = " + x); public int x; public int y; public int getx() { return 0; public setx(int newx) { return; 5

6 Point x,y getx(),setx(int newx) Javassist Advice 3.3 Josh weaver addconstructor(..) addfield(..) addinterface(..) addmethod(..) setsueprclass(..) Josh weaver Javassist Javassist Javassist weave weave 2 ( 1) private int Point.newfield; ( 6) before() : call(int Point.getX()) {System.out.println("before"); weave Introduction Introduction 2 Josh Javassist 1 CtClass (compile-time Class) ( 1) ClassPool pool = ClassPool.getDefault(); CtClass ctpoint = pool.get("point"); ClassPool CtClass CtClass CtClass introduction javassist.ctfield CtField CtMethod Java API Field Method ( 1) introduction 1: Introduction CtClass CtField ctfield = new CtField(CtClass.intType, "newfield", ctpoint); ctpoint.addfield(ctfield); ctpoint Point CtClass Advice Advice pointcut 2 Javassist advice javassist.codeconverter join point join point advice insertbeforemethod(..) redirectmetodcall(..) replacefieldread(..) replacenew(..) 2: CodeConverter 6

7 ( 6) insertbeforemethod(ctmethod origin, Ct- Method before) origin before before {System.out.println( before ); CtMethod origin Point Javassist before before Josh before Point Javassist before CtMethod ( 6) advice Code- Converter ctpoint Point CtClass CodeConverter converter = new CodeConverter(); converter.insertbeforemethod (origin, before); ctpoint.instrument(converter); CodeConverter instrument() Josh advice CodeConverter CodeConverter insrument weave ( 6) advice Javassist weave advice Javassist join point join point advice 3.4 weave Josh Sun Blade 1000(Ultra SPARC III 750MHz 2 CPU Solaris 8), JVM Sun JDK1.3.1 HotSpot TM Client VM Sun JDK javac 3 weave 3 Introduction 1000 introduction 20Advices 20 advice advice CodeConverter instrument CodeConverter advice pointcut pointcut pointcut 1 long Advice advice advice 1 pointcut load time of class 20Advices 20 advice Josh advice 7

8 160 execution time [msec] Advice 1 long Advice Introduction load time of class size of class file [KByte] 3: weave introduction msec AspectJ weave weave 2500msec Josh Josh MixJuice MixJuice[7] Java introduction MixJuice join point advice 4.2 MultiJava MultiJava[8] Java open classes symmetric multiple dispatch open classes introduction MuliJava 4.3 Binary Component Adaptation Binary Component Adaptation(BCA)[5] Java BCA introduction 8

9 BCA delta-file Java Java Virtual Machine(JVM) delta-file BCA JVM 5 AspectJ weave Josh Josh weave weave Javassist weave weave weave Josh advice Overview of AspectJ, In ECOOP 2001 Object- Oriented Programming [5] Ralph Keller and Urs Hölzle, Binary Component Adaptation, In ECOOP 1998 Object-Oriented Programming, LNCS 1445, pp [6] Günter Kniesel and Pascal Costanza, JMangler A Framework for Load-Time Transformation of Java Class Files, In IEEE Workshop on Source Code Analysis and Manipulation(SCAM), November 2001 [7],,,, AIST01-J , [8] Curtis Clifton, Gary T.Leavens, Craig Chambers and Todd Millistein, MultiJava: Modular Open Classes and Symmetric Multiple Dispatch for Java, In Proceedings of OOPSLA 2000, SIGPLAN Notices, Vol.35, No.10, pp , [9] 2001 oo2001 pp [10] Michiaki Tatsubori, Toshiyuki Sasaki, Shigeru Chiba and Kozo Itano, A Bytecode Translator for Distributed Execution of Legacy Java Software, In Proceedings of ECOOP 2001, LNCS 2072, ECOOP 2001 Object Oriented Programming, pp , Springer verlag, 2001 [1] Shigeru Chiba, Load-time Structural Reflection in Java, In ECOOP 2000 Object-Oriented Programming, LNCS 1850, pp , [2] Java pp [3] Gregor Kiczals, John Lamping, Anurag Mendhekar, Chris Maeda,Cristin Lopes, Jean-Marc Loingtier, and John Irwin, Aspect-Oriented Programming, In ECOOP 97 Object-Oriented Programming, LNCS 1241, pp , [4] Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, and William G.Griswold, An 9