As you may already know that once an object is created, it’s just a series of bytes in the heap. You may be curious about how exactly Java objects look like in the memory?
1. Fields
Here is an example of an object layout for class “Base”(B). This class does not have any method. We will see how methods are laid out in memory later in the post.
If we have another class “Derived”(D) extending this “Base” class. The memory layout would look like the following:
Child object has the same memory layout as parent objects, except that it needs more space to place the newly added fields. The benefit of this layout is that a pointer of type B pointing at a D object still sees the B object at the beginning. Therefore, operations done on a D object through the B reference guaranteed to be safe, and there is no need to check what B points at dynamically.
2. Methods
Following the same logic, the method can be put at the beginning of the objects.
However, this approach is not efficient. If a class has many methods(e.g. M), then each object must have O(M) pointers set. In addition, each object needs to have space for O(M) pointers. Those make creating objects slower and objects bigger.
The optimization approach is to create a virtual function table (or vtable) which is an array of pointers to the member function implementations for a particular class. Create a single instance of the vtable for each class and make each object store a pointer to the vtable.
This is the optimized approach.
* The above are my notes for Standford compilers lectures which has very good animation.
References:
1. Stanford Compilers Lectures
2. JVM
Big O Notation
Was going smooth until I reached that “O(M)” thing, are you so much in a hurry you couldn’t give it a proper name?! What is this O(M) supposed to mean ?!
You’re right. I was wondering if there’s an entity with the name A.
Thanks for the article.
“The benefit of this layout is that A pointer” – that should be a lower case A, not a capital, right?
nice article
nice article, where is object type information stored? Would it be in the frame stack
nice
Is the optimized approach being used now?