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

Recommandé

Recommandé

Contenu connexe

Tendances

Tendances (20)

Similaire à Behavioral Reflection

Similaire à Behavioral Reflection (20)

Plus de Marcus Denker

Plus de Marcus Denker (20)

Dernier

Dernier (20)

Behavioral Reflection