Behavioral Reflection

Metaprogramming and Reflection Behavioral Reflection Universit ät Bern Marcus Denker Hasso-Plattner-Institut Potsdam Software Architecture Group Prof. Dr. Robert Hirschfeld http://www.swa.hpi.uni-potsdam.de WS 2006/2007

Topics Covered ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Objects

Outline ,[object Object],[object Object],[object Object],[object Object]

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

Reflection in Squeak ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Can we do better? ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Sub-Method Abstraction ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Squeak VM ,[object Object],[object Object],[object Object],[object Object],[object Object]

CompiledMethods ,[object Object],Number of temps, literals... Array of all Literal Objects Pointer to Source (Number methodDict at: #asInteger) inspect (Number>>#asInteger) inspect Trailer Bytecode Literals Header

Squeak Bytecode ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Editing Bytecode ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

ByteSurgeon ,[object Object],[object Object],[object Object],[object Object],[Main Source] Marcus Denker, Stéphane Ducasse and Éric Tanter. Runtime Bytecode Transformation for Smalltalk. Journal of Computer Languages, Systems and Structures, vol. 32, no. 2-3.

Examples ,[object Object],[object Object],[object Object],InstrCounter reset. Example instrument: [:instr | InstrCounter increase] InstrCounter reset. Example instrumentSend: [:instr|InstrCounter increase] (Example>>#aMethod) instrumentSend: [:send | Transcript show: send selector printString]

Transformations ,[object Object],[object Object],(Example>>#aMethod) instrumentSend: [ :send | send insertAfter: ’ [ I nstrCounter increase ]’ (Example>>#aMethod) instrumentSend: [:send | send insertAfter: ‘ T ranscript show: ’ , send selector printString].

Meta Variables ,[object Object],[object Object],[object Object],[object Object],Example instrumentSend: [:s | s insertAfter: ‘ L ogger logSendTo: <meta: #receiver>‘]

ByteSurgeon ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Partial Reflection: Reflex ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Geppetto ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[Main Source] David R öthlisberger , Marcus Denker and Éric Tanter. Unanticipated Partial Behavioral Reflection: Adapting Applications at runtime . to appear

Example ,[object Object],[object Object],[object Object],[object Object],[object Object]

Towards a Solution ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Solution with Reflection ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Profiler: Hookset + Link Hookset allExecs := Hookset new. allExecs inPackage: ’Wiki’; operation: MethodEval. profile := Link id: #profiler hookset: allExecs metaobject: Profiler new. profile control: Control around. Link

Profiler: Protocol profile callDescriptor: (CallDescriptor selector: #profileMethod:in:withArguments: parameters:{ Parameter selector. Parameter self. Parameter arguments.} passingMode: PassingMode plain). Protocol Install / Retract profile install. profile uninstall.

Solving the Problem: Caching ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Cache: Hookset and Link toughWorks := Hookset new. toughWorks inClass: Worker; inMethod: #toughWork:; operation: MethodEval. Hookset: Link: cache := Link id: #cache hookset: toughWorks metaobject: Cache new. cache control: Control around. cache callDescriptor:(CallDescriptor selector: #cacheFor: parameters: {Parameter arg1} passingMode: PassingMode plain).

Geppetto ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Future Work ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Conclusion ,[object Object],[object Object],[object Object],[object Object],[object Object]

Conclusion ,[object Object],[object Object],[object Object],[object Object],[object Object],Questions?

Behavioral Reflection

Recommended

Recommended

More Related Content

What's hot

What's hot (20)

Similar to Behavioral Reflection

Similar to Behavioral Reflection (20)

More from Marcus Denker

More from Marcus Denker (20)

Recently uploaded

Recently uploaded (20)

Behavioral Reflection