首先,Java中synchronized可以實現對物件加互斥鎖。
其次,我們來聊一聊synchronized互斥鎖的實現原理。Java虛擬機器中,synchronized支援的同步方法和同步語句都是使用monitor來實現的。每個物件都與一個monitor相關聯,當一個執行緒執行到一個monitor監視下的程式碼塊中的第一個指令時,該執行緒必須在引用的物件上獲得一個鎖,這個鎖是monitor實現的。在HotSpot虛擬機器中,monitor是由ObjectMonitor實現,使用C++編寫實現,具體程式碼在HotSpot虛擬機器原始碼ObjectMonitor.hpp檔案中。
檢視原始碼會發現,主要的屬性有_count(記錄該執行緒獲取鎖的次數)、_recursions(鎖的重入次數)、_owner(指向持有ObjectMonitor物件的執行緒)、_WaitSet(處於wait狀態的執行緒集合)、_EntryList(處於等待鎖block狀態的執行緒佇列)。
當併發執行緒執行synchronized修飾的方法或語句塊時,先進入_EntryList中,當某個執行緒獲取到物件的monitor後,把monitor物件中的_owner變數設定為當前執行緒,同時monitor物件中的計數器_count加1,當前執行緒獲取同步鎖成功。
當synchronized修飾的方法或語句塊中的執行緒呼叫wait()方法時,當前執行緒將釋放持有的monitor物件,monitor物件中的_owner變數賦值為null,同時,monitor物件中的_count值減1,然後當前執行緒進入_WaitSet集合中等待被喚醒。
首先,Java中synchronized可以實現對物件加互斥鎖。
其次,我們來聊一聊synchronized互斥鎖的實現原理。Java虛擬機器中,synchronized支援的同步方法和同步語句都是使用monitor來實現的。每個物件都與一個monitor相關聯,當一個執行緒執行到一個monitor監視下的程式碼塊中的第一個指令時,該執行緒必須在引用的物件上獲得一個鎖,這個鎖是monitor實現的。在HotSpot虛擬機器中,monitor是由ObjectMonitor實現,使用C++編寫實現,具體程式碼在HotSpot虛擬機器原始碼ObjectMonitor.hpp檔案中。
檢視原始碼會發現,主要的屬性有_count(記錄該執行緒獲取鎖的次數)、_recursions(鎖的重入次數)、_owner(指向持有ObjectMonitor物件的執行緒)、_WaitSet(處於wait狀態的執行緒集合)、_EntryList(處於等待鎖block狀態的執行緒佇列)。
當併發執行緒執行synchronized修飾的方法或語句塊時,先進入_EntryList中,當某個執行緒獲取到物件的monitor後,把monitor物件中的_owner變數設定為當前執行緒,同時monitor物件中的計數器_count加1,當前執行緒獲取同步鎖成功。
當synchronized修飾的方法或語句塊中的執行緒呼叫wait()方法時,當前執行緒將釋放持有的monitor物件,monitor物件中的_owner變數賦值為null,同時,monitor物件中的_count值減1,然後當前執行緒進入_WaitSet集合中等待被喚醒。