towards a full multiple inheritance virtual machine
play

Towards a Full Multiple-Inheritance Virtual Machine Roland - PowerPoint PPT Presentation

Jan 18, 2023 •410 likes •709 views

Towards a Full Multiple-Inheritance Virtual Machine Roland Ducournau & Floral Morandat LIRMM the University of Montpellier & CNRS MASPEGHI/ICOOOLPS10 Maribor, June 22, 2010 R. Ducournau & F. Morandat (LIRMM) Multiple

  1. Towards a Full Multiple-Inheritance Virtual Machine Roland Ducournau & Floréal Morandat LIRMM the University of Montpellier & CNRS MASPEGHI/ICOOOLPS’10 Maribor, June 22, 2010 R. Ducournau & F. Morandat (LIRMM) Multiple Inheritance Virtual Machine June 22, 2010 1 / 22

  2. Plan Plan Context and Motivations 1 Virtual Machine Principle 2 Experiments 3 Conclusion and prospects 4 R. Ducournau & F. Morandat (LIRMM) Multiple Inheritance Virtual Machine June 22, 2010 2 / 22

  3. Context and Motivations Plan Context and Motivations 1 Virtual Machine Principle 2 Experiments 3 Conclusion and prospects 4 R. Ducournau & F. Morandat (LIRMM) Multiple Inheritance Virtual Machine June 22, 2010 3 / 22

  4. Context and Motivations Motivations (1/2) Why be afraid of multiple inheritance? from the semantic standpoint (so-called conflicts); ◮ this is another story... from the efficiency standpoint. ◮ my point today. Alternatives to multiple inheritance multiple subtyping ( Java ); mixins/traits ( Scala ). They are supposed to improve both aspects. R. Ducournau & F. Morandat (LIRMM) Multiple Inheritance Virtual Machine June 22, 2010 4 / 22

  5. Context and Motivations Motivations (1/2) Why be afraid of multiple inheritance? from the semantic standpoint (so-called conflicts); ◮ this is another story... from the efficiency standpoint. ◮ my point today. Alternatives to multiple inheritance multiple subtyping ( Java ); mixins/traits ( Scala ). They are supposed to improve both aspects. R. Ducournau & F. Morandat (LIRMM) Multiple Inheritance Virtual Machine June 22, 2010 4 / 22

  6. Context and Motivations Motivations (2/2) Our position this improvement is illusory, interfaces are as inefficient as full multiple inheritance (the only possible improvement involves attribute access) Our project designing a virtual machine for full multiple inheritance, as efficient as Java or .Net systems. Possible target language: think of Scala without class/trait distinction. R. Ducournau & F. Morandat (LIRMM) Multiple Inheritance Virtual Machine June 22, 2010 5 / 22

  7. Context and Motivations Context Implementation of OO mechanisms method invocation, attribute access, subtype testing. Modern runtime systems static typing, dynamic class loading, adaptive compilers. Consequences code optimization based on temporary CWA, possible recompilations when assumptions are questioned. R. Ducournau & F. Morandat (LIRMM) Multiple Inheritance Virtual Machine June 22, 2010 6 / 22

  8. Context and Motivations Context Implementation of OO mechanisms method invocation, attribute access, subtype testing. Modern runtime systems static typing, dynamic class loading, adaptive compilers. Consequences code optimization based on temporary CWA, possible recompilations when assumptions are questioned. R. Ducournau & F. Morandat (LIRMM) Multiple Inheritance Virtual Machine June 22, 2010 6 / 22

  9. Context and Motivations Objectives Design and simulation before hard coding design of ◮ an object-oriented implementation, ◮ a collection of optimizations, ◮ a (re)compilation protocol, simulation and assessment ◮ of the recompilation cost ◮ of various optimizations, ◮ on real class hierarchies. focus on multiple-inheritance effects ◮ we do not consider (yet) other optimizations R. Ducournau & F. Morandat (LIRMM) Multiple Inheritance Virtual Machine June 22, 2010 7 / 22

  10. Virtual Machine Principle Plan Context and Motivations 1 Virtual Machine Principle 2 Experiments 3 Conclusion and prospects 4 R. Ducournau & F. Morandat (LIRMM) Multiple Inheritance Virtual Machine June 22, 2010 8 / 22

  11. Virtual Machine Principle Principle Object representation incremental, definitive object representation based on perfect class hashing, Code sequences for OO mechanisms single-subtyping code for constant-position sites, = class-typed invocations in Java perfect-hashing code for variable-position sites. ≈ interface-typed invocations in Java Compilation and recompilation protocol computes the object representation, selects the appropriate code generation, decides method recompilations. R. Ducournau & F. Morandat (LIRMM) Multiple Inheritance Virtual Machine June 22, 2010 9 / 22

  12. Virtual Machine Principle Object representation (1/3) A A Single-subtyping implementation methods/attributes introduced by a given class are grouped, superclasses are ordered, the superclass order is a prefix of the subclass order, invariable positions. R. Ducournau & F. Morandat (LIRMM) Multiple Inheritance Virtual Machine June 22, 2010 10 / 22

  13. Virtual Machine Principle Object representation (1/3) A A A A B A B Single-subtyping implementation methods/attributes introduced by a given class are grouped, superclasses are ordered, the superclass order is a prefix of the subclass order, invariable positions. R. Ducournau & F. Morandat (LIRMM) Multiple Inheritance Virtual Machine June 22, 2010 10 / 22

  14. Virtual Machine Principle Object representation (1/3) A A A A A A B B A A B B C A B C Single-subtyping implementation methods/attributes introduced by a given class are grouped, superclasses are ordered, the superclass order is a prefix of the subclass order, invariable positions. R. Ducournau & F. Morandat (LIRMM) Multiple Inheritance Virtual Machine June 22, 2010 10 / 22

  15. Virtual Machine Principle Object representation (2/3) Multiple subtyping and dynamic loading methods/attributes introduced by a given class are grouped, superclasses are ordered, the prefix condition does not hold for all direct superclasses but it can hold for at least one superclass, invariable positions when the prefix condition holds, the superclass order depends on the class loading order. On a single-inheritance hierarchy the same layout as the single-subtyping implementation. ⇒ the multiple-inheritance overhead might concern only the multiple-inheritance cases R. Ducournau & F. Morandat (LIRMM) Multiple Inheritance Virtual Machine June 22, 2010 11 / 22

  16. Virtual Machine Principle Object representation (3/3) A A D satisfies the prefix condition wrt B not C , C has variable positions, C -typed invocations must be recompiled. R. Ducournau & F. Morandat (LIRMM) Multiple Inheritance Virtual Machine June 22, 2010 12 / 22

  17. Virtual Machine Principle Object representation (3/3) A A A A A B B D satisfies the prefix condition wrt B not C , C has variable positions, C -typed invocations must be recompiled. R. Ducournau & F. Morandat (LIRMM) Multiple Inheritance Virtual Machine June 22, 2010 12 / 22

  18. Virtual Machine Principle Object representation (3/3) A A A A A A A A B B B B C A C D satisfies the prefix condition wrt B not C , C has variable positions, C -typed invocations must be recompiled. R. Ducournau & F. Morandat (LIRMM) Multiple Inheritance Virtual Machine June 22, 2010 12 / 22

  19. Virtual Machine Principle Object representation (3/3) A A A A A A A A A A A B B B B B B C C A A C C D A B C D D satisfies the prefix condition wrt B not C , C has variable positions, C -typed invocations must be recompiled. R. Ducournau & F. Morandat (LIRMM) Multiple Inheritance Virtual Machine June 22, 2010 12 / 22

  20. Virtual Machine Principle Compilation Protocol (1/2) Code generation single-subtyping code for ◮ root -invocations, ie methods introduced by the root class, ◮ self -invocations, ie receiver typed by the current class, when this class has an invariable position (so far), perfect-hashing code for ◮ self -invocations with variable-position classes, ◮ non- self -invocations. Possible recompilations for self -invocations of invariable-position attributes/methods, each class maintains the list of methods to recompile when its attribute/method group is moved. R. Ducournau & F. Morandat (LIRMM) Multiple Inheritance Virtual Machine June 22, 2010 13 / 22

  21. Virtual Machine Principle Compilation Protocol (2/2) At class loading greedy optimization for ◮ selecting a preferred direct superclass (for prefix condition) (possibly different for attributes and methods) ◮ computing the superclass order(s) update of the group positions of superclasses (not in the prefix) ⇒ newly moved groups (lazy) method (re)compilation ◮ newly loaded ◮ already compiled but invoking newly moved attributes/methods R. Ducournau & F. Morandat (LIRMM) Multiple Inheritance Virtual Machine June 22, 2010 14 / 22

  22. Experiments Plan Context and Motivations 1 Virtual Machine Principle 2 Experiments 3 Conclusion and prospects 4 R. Ducournau & F. Morandat (LIRMM) Multiple Inheritance Virtual Machine June 22, 2010 15 / 22

  23. Experiments Random class loading simulation Statistics on class hierarchy Number of classes, methods and attributes, methods that contain self -invocations, method/attribute invocation sites, root/self/other invocation sites. Statistics on random class loading Worst-case (ie maximum or minimum) number of classes, methods and attributes with variable/invariable positions, optimized/unoptimized invocation sites, method compilations and recompilations. R. Ducournau & F. Morandat (LIRMM) Multiple Inheritance Virtual Machine June 22, 2010 16 / 22

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Multiple Inheritance Multiple Inheritance Some object oriented languages allow a class to

Multiple Inheritance Multiple Inheritance Some object oriented languages allow a class to

Multiple Inheritance Multiple Inheritance Some object oriented languages allow a class to inherit from more than one unrelated class. This is called multiple inheritance and is different from the multi-level inheritance in this

556 views • 13 slides
Multiple inheritance Multiple inheritance Can derive a class from more than one base class

Multiple inheritance Multiple inheritance Can derive a class from more than one base class

Multiple inheritance Multiple inheritance Can derive a class from more than one base class e.g., class Appliance; class Radio : virtual public Appliance; class AlarmClock : virtual public Appliance; class ClockRadio : public Radio,

492 views • 16 slides
Programming in Scala Mixin inheritance Summer 2008 1 The very short history of multiple

Programming in Scala Mixin inheritance Summer 2008 1 The very short history of multiple

Programming in Scala Mixin inheritance Summer 2008 1 The very short history of multiple inheritance C++ had multiple Person inheritance Java removed it Mostly due to diamond- Woman Director inheritance problem.

685 views • 31 slides
TDDE18 & 726G77 Inheritance and polymorphism Introduction to inheritance Inheritance

TDDE18 & 726G77 Inheritance and polymorphism Introduction to inheritance Inheritance

TDDE18 & 726G77 Inheritance and polymorphism Introduction to inheritance Inheritance allows us to write functionality once instead of multiple times for multiple classes. We can reference a group of classes class Rectangle { class

1.72k views • 57 slides
Inheritance Inheritance How inheritance works Inheritance Design I h it D i

Inheritance Inheritance How inheritance works Inheritance Design I h it D i

Contents Basic Inheritance Why inheritance Inheritance Inheritance How inheritance works Inheritance Design I h it D i Protected members Exploring different Constructors and destructors inheritance structure

1.28k views • 11 slides
How C++ Works 1 Overview Constructors and destructors Virtual functions Single

How C++ Works 1 Overview Constructors and destructors Virtual functions Single

How C++ Works 1 Overview Constructors and destructors Virtual functions Single inheritance Multiple inheritance RTTI Templates Exceptions Operator Overloading Motivation There are lot of myths about

564 views • 31 slides
A Virtual Machine Supporting Multiple Statechart Extensions Thomas Huining Feng Supervisor:

A Virtual Machine Supporting Multiple Statechart Extensions Thomas Huining Feng Supervisor:

SVM (Statechart Virtual Machine) A Virtual Machine Supporting Multiple Statechart Extensions Thomas Huining Feng Supervisor: Prof. Hans Vangheluwe MSDL, McGill http://msdl.cs.mcgill.ca/people/tfeng/ hfeng2@cs.mcgill.ca Introduction The goal

478 views • 16 slides
Requirements & Promises of Functions Advertised Requirements (Pre-Condition)

Requirements & Promises of Functions Advertised Requirements (Pre-Condition)

11. Inheritance: Proper Inheritance, Multiple Inheritance Public Inheritance should model is-a B publicly inherits ( is-a ) from A This means: every object of type B is also an object A of type A anything that is true of

237 views • 9 slides
Advanced C++ Topics Inheritance Virtual methods and late binding Friend classes and

Advanced C++ Topics Inheritance Virtual methods and late binding Friend classes and

Advanced C++ Topics Inheritance Virtual methods and late binding Friend classes and methods Class templates Overloaded operators Iterators EECS 268 Programming II 1 Inheritance Revisited Inheritance is useful to

630 views • 44 slides
TDDE18 & 726G77 Multilevel and Multiple inheritance Different kind of inheritance

TDDE18 & 726G77 Multilevel and Multiple inheritance Different kind of inheritance

TDDE18 & 726G77 Multilevel and Multiple inheritance Different kind of inheritance Multilevel In C++ you can derive a class from a base class but you can also derive a class from the derived class. This form of inheritance is known as

802 views • 55 slides
Inheritance Inheritance Introduction Three different kinds of inheritance Chapter 15

Inheritance Inheritance Introduction Three different kinds of inheritance Chapter 15

Overview Inheritance Inheritance Introduction Three different kinds of inheritance Chapter 15 Changing an inherited member function & additional topics More Inheritance Details Polymorphism Motivating Example: Employee

406 views • 24 slides
And Even More and More C++ Fundamentals of Computer Science Outline C++ Classes

And Even More and More C++ Fundamentals of Computer Science Outline C++ Classes

And Even More and More C++ Fundamentals of Computer Science Outline C++ Classes Friendship Inheritance Multiple Inheritance Polymorphism Virtual Members Abstract Base Classes File Input/Output Friendship Friend

364 views • 14 slides
Cla lass hierarcies inheritance method overriding super multiple inheritance Call

Cla lass hierarcies inheritance method overriding super multiple inheritance Call

Cla lass hierarcies inheritance method overriding super multiple inheritance Call lling methods of a cla lass X.py class X: def set_x(self, x): If an object obj of class C has a self.x = x method method , then usually you

624 views • 17 slides
Cla lass hierarcies inheritance method overriding super multiple inheritance Call

Cla lass hierarcies inheritance method overriding super multiple inheritance Call

Cla lass hierarcies inheritance method overriding super multiple inheritance Call lling methods of a cla lass X.py class X: def set_x(self, x): If an object obj of class C has a self.x = x method method , then usually you

534 views • 19 slides
Virtual Machines What is a Virtual Machine? Java Virtual Machine (Application Virtualization)

Virtual Machines What is a Virtual Machine? Java Virtual Machine (Application Virtualization)

Virtual Machines What is a Virtual Machine? Java Virtual Machine (Application Virtualization) Software to simulate hardware Independent Separate Use one piece of hardware to simulate many computers Topics What are

519 views • 22 slides
Empirical Assessment of C ++ -like Implementations for Multiple Inheritance Floral Morandat

Empirical Assessment of C ++ -like Implementations for Multiple Inheritance Floral Morandat

Empirical Assessment of C ++ -like Implementations for Multiple Inheritance Floral Morandat Roland Ducournau LIRMM The University of Montpellier & CNRS MASPEGHI/ICOOOLPS10, June 2115, 2010, Maribor Slovenia Outline

967 views • 49 slides
Article 8 Paediatric Regulation Interpretation of pharmaceutical form Presented by:

Article 8 Paediatric Regulation Interpretation of pharmaceutical form Presented by:

Article 8 Paediatric Regulation Interpretation of pharmaceutical form Presented by: Thomas Girard Regulatory Affairs An agency of the European Union Article 8 Reg. (EC) No 1901/ 2006 In the case of authorised medicinal products

369 views • 12 slides
Global Generic Resources Jacob Winter October 16, 2007 Forward-Looking Statements TODAYS

Global Generic Resources Jacob Winter October 16, 2007 Forward-Looking Statements TODAYS

Global Generic Resources Jacob Winter October 16, 2007 Forward-Looking Statements TODAYS PRESENTATION CONTAINS FORWARD LOOKING STATEMENTS WHICH EXPRESS THE CURRENT BELIEFS AND EXPECTATIONS OF MANAGEMENT. SUCH STATEMENTS ARE BASED ON CURRENT

321 views • 11 slides
Best wishes and warmest children and youth Evidence-based drug prevention regards from Mr. Y.

Best wishes and warmest children and youth Evidence-based drug prevention regards from Mr. Y.

09/12/2019 Prevention that WORKS! Healthy and safe development of children and youth Prevention that WORKS! Healthy and safe development of Best wishes and warmest children and youth Evidence-based drug prevention regards from Mr. Y.

836 views • 44 slides
Results of the 2014 Kentucky Incentives for Prevention (KIP) Survey for Boyle County Data

Results of the 2014 Kentucky Incentives for Prevention (KIP) Survey for Boyle County Data

Results of the 2014 Kentucky Incentives for Prevention (KIP) Survey for Boyle County Data presented here are the combined results of Boyle County and Danville Independents participation in the 2014 Kentucky Incentives for Data Source

666 views • 51 slides
planning and Business Property Relief Mini Powwow with Octopus Key risks and important

planning and Business Property Relief Mini Powwow with Octopus Key risks and important

This presentation is for professional advisers and paraplanners only. Not to be relied upon by retail investors. A paraplanners guide to estate planning and Business Property Relief Mini Powwow with Octopus Key risks and important

417 views • 40 slides
(2) (4) (A) (C) (D) ( 3 ) (B) Rate of tax on Rate of tax on Adjusted taxable

(2) (4) (A) (C) (D) ( 3 ) (B) Rate of tax on Rate of tax on Adjusted taxable

Vermont Estate Tax Table - Computation of Estate Tax Liability 2015 Federal Unified Rate Schedule (1) (2) (4) (A) (C) (D) ( 3 ) (B) Rate of tax on Rate of tax on Adjusted taxable Adjusted taxable Tax on amount in Taxable

505 views • 8 slides
HEI HEIR PROPER ER TY TY Robe ber t t Za Zabawa, Tuskegee egee University versity THE

HEI HEIR PROPER ER TY TY Robe ber t t Za Zabawa, Tuskegee egee University versity THE

HEI HEIR PROPER ER TY TY Robe ber t t Za Zabawa, Tuskegee egee University versity THE SITUATION However, landownership has been a privilege denied, stolen and lost for many rural communities in the South. 18,000,000 15,961,506

639 views • 48 slides
Inheritance in Python Thomas Schwarz, SJ Inheritance Sometimes, classes have other classes as

Inheritance in Python Thomas Schwarz, SJ Inheritance Sometimes, classes have other classes as

Inheritance in Python Thomas Schwarz, SJ Inheritance Sometimes, classes have other classes as components: Clients have addresses Class Client has a field of type Class Address Sometimes, classes expand other classes Example:

622 views • 29 slides

More recommend