Extending Rotor with Structural Reflection to support Reflective Languages

Adaptiveness and Adaptability ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Introduction

Dynamic Languages ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Introduction

Pros and Cons ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Introduction

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Я Rotor Introduction

Contents ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Reflection ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Reflection

Extending Rotor’s Reflection ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Reflection

Structural Reflective Facilities ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Structural Reflection in Rotor

Python Example class Point : "Constructor" def __init__ (self, x, y): self.x=x self.y=y "Move Method" def move (self, relx, rely): self.x=self.x+relx self.y=self.y+rely "Draw Method" def draw (self): print "(" +str(self.x)+ "," +str(self.y)+ ")" point=Point(1,2) point.draw() # (1,2) # Modify attributes of # a single object point.z=3 print point.z # 3 # Modify methods of # a single object def draw3D (self): print "(" +str(self.x)+ "," +str(self.y)+ "," +str(self.z)+ ")" point.draw3D=draw3D point.draw3D() # (1,2,3) # Modify methods of a class def getX (self): return self.x Point.getX=getX print point.getX() # 1 Structural Reflection in Rotor

Conceptual Problems ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Structural Reflection in Rotor

Prototype-Based OO Comp. Model ,[object Object],[object Object],Point x,y:Integer draw() move(x,y:Integer) p:Point x=245 y=-23 Class-based model Prototype-based model inheritance Prototype Cloning Point pointPrototype p Trait object Prototype object Structural Reflection in Rotor ,[object Object],[object Object],[object Object],Method implementation move Method implementation draw 0 y 0 x -23 y 245 x

Overcoming to Schema Evolution ,[object Object],[object Object],draw method implementation move method implementation x 12 y 0 x 0 y 0 x 1 y 2 p1 p2 Point pointPrototype Structural Reflection in Rotor z 3 ,[object Object],distance method ,[object Object],rotate method implementation ,[object Object]

Structural Reflection in Rotor ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Structural Reflection in Rotor

Architecture ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Structural Reflection in Rotor Compilation MSIL Я Rotor Operating System Execution Interaction Interaction C# Python Reflective C# Statically typed language (legacy code) Statically and Dynamically typed language Dynamically typed language

BCL Interface ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Implementation

Sample Code Fragment (BCL) ,[object Object],Implementation RuntimeStructuralFieldInfo rsfi= new RuntimeStructuralFieldInfo( "z", typeof ( int ),3, FieldAttributes.Public); Structural.addField(point,rsfi); // field addition (object) // * Draw3D is the MethodInfo of a new method generated by // means of the System.Reflection.Emit namespace Structural.addMethod(point,draw3D); // method addition (object) Object[] pars={}; // method invocation (object method) Structural.invoke(point,draw3D.ReturnType, "draw3D",pars); // * getX is another MethodInfo Structural.addMethod( typeof (Point),getX); // add class method Console.WriteLine(Structural.invoke( point, getX.ReturnType, "getX", pars ); rsfi = new RuntimeStructuralFieldInfo( "isShowing", typeof ( bool ), false , FieldAttributes.Public); Structural.addField( typeof (Point), rsfi); // add class field

Extension of IL Semantics ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Implementation

Implementation Details ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Implementation

Reflective Primitives Assessment ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Assessment

Reflective Primitives Assessment ,[object Object],[object Object],Assessment 0 200 400 600 800 1000 1200 1 3 5 7 9 11 13 15 17 19 ActivePython CPython Я Rotor 0 20000 40000 IronPython 1,2 Object attribute addition 3,4 Class attribute addition 5,6 Object attribute deletion 7,8 Class attribute deletion 9,10 Object attribute access 11,12 Class attribute access 13 Object method addition 14 Class method addition 15,16 Object method invocation 17 Class method invocation 18 Object method deletion 19 Class method deletion Jython

The cost of Adaptiveness ,[object Object],[object Object],[object Object],[object Object],Assessment Rotor Я Rotor 0% 20% 40% 60% 80% 100% int arithmetic double arithmetic long arithmetic trigonometric io array exception hashmap hashmaps heapsort vector matrix loops StringBuilder

The cost of Adaptiveness (II) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Assessment

Benefits of JIT Compilation ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Assessment 0% 20% 40% 60% 80% 100% int arith. double arith. long arith. trigonometric io array exception hashmap hashmaps heapsort vector matrix loops StringBuilder CPython Features included in the Python PL Я Rotor

Major Conclusions ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Conclusions

Extending Rotor with Structural Reflection to support Reflective Languages

Recommended

Recommended

More Related Content

What's hot

What's hot (20)

Viewers also liked

Viewers also liked (9)

Similar to Extending Rotor with Structural Reflection to support Reflective Languages

Similar to Extending Rotor with Structural Reflection to support Reflective Languages (20)

Recently uploaded

Recently uploaded (20)

Extending Rotor with Structural Reflection to support Reflective Languages