1. 程式人生 > 實用技巧 >MYSQL的連線管理與啟動關閉流程

MYSQL的連線管理與啟動關閉流程

可以將Handle理解成訪問物件的一個“控制程式碼”。垃圾回收時物件可能被移動(物件地址發生改變),通過Handle訪問物件可以對使用者遮蔽垃圾回收細節。

Handle涉及到的相關類的繼承關係如下圖所示。

HotSpot會通過Handle對Oop和某些Klass進行操作。下圖左邊顯示了直接訪問的情況,下圖右邊顯示了間接訪問的情況。

可以看到,當對Oop直接引用時,如果Oop的地址發生變化,那麼所有的引用都要更新,如圖有3處引用,所以都需要更新;當通過Handle對Oop間接引用時,如果Oop的地址發生變化,那麼只需要更新Handle中儲存的對Oop的引用即可。

每個Oop都有一個對應的Handle,這樣通過對應的Handle可直接獲取對應的Oop,不需要進行型別轉換。為了讀者方便閱讀,這裡再次給出了Oop繼承體系,如下圖所示。

可以看到Handle繼承體系與Oop繼承體系類似,實際上也有相應的對應關係,例如通過instanceHandle操作instanceOopDesc,通過objArrayHandle操作objArrayOopDesc。

與Oop類似,Klass也需要通過Handle來間接引用。如下幾個Klass有對應的Handle:

Klass -klassHandle
    InstanceKlass - instanceKlassHandle
ConstantPool - constantPoolHandle
Method - methodHandle

現在假設有個Person類,還有這個類的一個Person物件,那麼可以像下圖這樣理解Handle、Oop與Klass之間的關係:

下面具體看一下Handle的定義,如下:

// Base class for all handles. Provides overloading of frequently
// used operators for ease of use. class Handle VALUE_OBJ_CLASS_SPEC {
private:
oop* _handle; // 可以看到是對oop的封裝 protected:
oop obj() const {
return _handle == NULL ? (oop)NULL : *_handle;
}
oop non_null_obj() const {
assert(_handle != NULL, "resolving NULL handle");
return *_handle;
}
...
}

呼叫obj()或non_null_obj()方法獲取被封裝的oop物件,不過並不會直接呼叫Handle物件的obj()或non_null_obj()物件,而是通過C++的運運算元過載來獲取。Handle類過載了()和->運運算元,如下:

// General access
oop operator () () const {
return obj();
}
oop operator -> () const {
return non_null_obj();
}

可以這樣使用:

oop obj = ...;
Handle h1(obj); // allocate new handle oop obj1 = h1(); // get handle value
h1->print(); // invoking operation on oop  

由於過載了運運算元(),所以h1()會呼叫()運運算元的過載方法,過載方法中呼叫obj()獲取到被封裝的oop物件。過載了運運算元->,所以h1->print()同樣會呼叫oop物件的print()方法。

另外還需要知道,Handle分配在本地執行緒的HandleArea中,這樣在進行垃圾回收時,只需要掃描每個執行緒的HandleArea即可找出控制程式碼引用的活躍物件。每次建立控制程式碼物件時,都會呼叫到Handle類的建構函式,其中一個建構函式如下:

inline Handle::Handle(oop obj) {
if (obj == NULL) {
_handle = NULL;
} else {
HandleArea* ha = Thread::current()->handle_area();
_handle = ha->allocate_handle(obj);
}
}

引數obj就是要通過控制程式碼操作的物件。通過呼叫當前執行緒的handle_area()函式獲取HandleArea,然後呼叫allocate_handle()在HandleArea中分配儲存obj的空間並將obj儲存起來。

每個執行緒都 會有一個_handle_area屬性,定義如下:

// Thread local handle area for allocation of handles within the VM
HandleArea* _handle_area;

在建立執行緒時初始化_handle_area屬性,然後通過handle_area()函式獲取這個屬性的值。 

allocate_handle()函式的實現如下:

oop* real_allocate_handle(oop obj) {
oop* handle = (oop*) Amalloc_4(oopSize);
*handle = obj;
return handle;
}

分配空間並完成obj的儲存操作。 

控制程式碼的釋放要通過HandleMark來完成,不過在介紹HandleMark之前需要介紹一下FHandleArea、Area及Chunk等類的實現,下一篇會詳細分析。

相關文章的連結如下:

1、在Ubuntu 16.04上編譯OpenJDK8的原始碼

2、除錯HotSpot原始碼

3、HotSpot專案結構 

4、HotSpot的啟動過程

5、HotSpot二分模型(1)

6、HotSpot的類模型(2)

7、HotSpot的類模型(3)

8、HotSpot的類模型(4)

9、HotSpot的物件模型(5)

10、HotSpot的物件模型(6)

關注公眾號,有HotSpot原始碼剖析系列文章!