跳到主要內容

Effective Java - Use lazy initialization judiciously

Problem

這個Item是在探討使用Lazy initialization的時機與方法，而在多執行緒存取的時，較容易發生問題。如以下程式要初始化一個Singleton物件，但在多執行緒的情況下，Client可能會拿到不是唯一的instance:
public class Singleton {
 
	private static Singleton instance;
 
	public static Singleton get() {
		if( instance == null ) {
			instance = new Singleton();
		}
		return instance;
	}
}

Single-check idiom

第一個方法是基於原本問題的改良，適用於能接受重複初始化，會比問題程式碼效能稍微好一些。
public class Singleton {
 
	private static volatile Singleton instance;
 
	public static Singleton get() {
		Singleton result = instance;
		if( result == null ) {
			result = instance = new Singleton();
		}
		return result;
	}
}
這裡用result local variable的原因，是為了要讓instance變數在已初始化情況下只存取一次；這是由於volatile宣告會強制Thread在使用instance時，去讀取最新的資料。根據作者所說，效能會差1.4倍。

Normal Initialization

在一般情況下，因為JVM ClassLoader載入類別是Thread-Safe，直接使用以下方法就不會有Multi-thread的問題:
private final static Singleton instance = new Singleton();
但如果初始化這個物件的效能成本很大，希望能等到有使用到才初始化，就不適用這種做法。

Synchronized Method

針對要做延遲初始化又要Thread-Safe，我年輕時且目前看到最多人使用的寫法如下:
public synchronized static Singleton get() {
//...
}
這做法的缺點就是在初始化之後，每一個Thread要存取時，都會受到這個synchronized的影響而慢一點。

Double-check idiom

雙重檢查鎖定模式的做法，能解決使用Synchronized Method效能的問題，又能確保只會初始化一次:
public class Singleton {
 
	private static Singleton instance;
 
	public static Singleton get() {
		Singleton result = instance;
		if( result != null ) { // no locking
			return result;
		}
 
		synchronized(Singleton.class) {
			result = instance;
			if( result != null ) { // with locking
				return result;
			}
 
			result = instance = new Singleton();
 
		}
		return result;
	}
}
第一次的instance檢查不會受lock控管，只要在第一次初始化後，就能夠使用；第二次的instance檢查是為了避免Multi-thread情況下，重複初始化的問題。這個方法適用於非static的欄位，我是都以static當例子較簡單。(我的程式碼與effective java有落差，因為我認為書內的程式在with locking的檢查並沒assign instance給result，一定會有問題)

Lazy initialization holder class idiom

Lazy initialization holder class的做法，之前在第二版的時候並沒有特別注意，直到我看Java高併發編程詳解：多線程與架構設計這本書時，才意會到這寫法使用在static欄位初始化會比double-check idiom方式簡單很多。程式碼如下:
public final class Singleton {
	private static class Holder {
		static final Singleton instance = new Singleton();
	}
 
	public static Singleton get() {
		return Holder.instance;
	}
}
這一樣是透過ClassLoader載入Class Thread-Safe的機制，來解決同步存取的問題。目前這是要初始化static欄位的首選。

Enum method

這方法是看Java高併發編程詳解：多線程與架構設計這本書時，有提到透過Enum去解這問題是Effective Java作者力推的方法，在Item89有提及。在這我就稍微說明Enum method的做法:
public enum Singleton {
 
	INSTANCE;
 
	public static Singleton get() {
		return INSTANCE;
	}
}
Enum擁有Thread-safe、只能被初始化一次且不能夠被繼承的特性；缺點就是無法做Lazy initialization，要解決這問題可以與Holder方式結合。但與其這樣，不如使用Holder就好。

Reference:

  1. Effective Java, 3/e, Item 83。
  2. Effective Java, 2/e
  3. Java高併發編程詳解：多線程與架構設計, 汪文君
  4. 雙重檢查鎖定模式
標籤：

留言

張貼留言

這個網誌中的熱門文章

解決RobotFramework從3.1.2升級到3.2.2之後，Choose File突然會整個Hand住的問題

考慮到自動測試環境的維護，我們很久以前就使用java去執行robot framework。前陣子開始處理從3.1.2升級到3.2.2的事情，主要先把明確的runtime語法錯誤與deprecate item處理好，這部分內容可以參考: link 。 直到最近才發現，透過SeleniumLibrary執行Choose File去上傳檔案的動作，會導致測試案例timeout。本篇文章主要分享心路歷程與解決方法，我也送了一條issue給robot framework: link 。 我的環境如下: RobotFramework: 3.2.2 Selenium: 3.141.0 SeleniumLibrary: 3.3.1 Remote Selenium Version: selenium-server-standalone-3.141.59 首先並非所有Choose File的動作都會hang住，有些測試案例是可以執行的，但是上傳一個作業系統ISO檔案一定會發生問題。後來我透過wireshark去比對新舊版本的上傳動作，因為我使用 Remote Selenium ，所以Selenium會先把檔案透過REST API發送到Remote Selenium Server上。從下圖我們可以發現，在3.2.2的最後一個TCP封包，比3.1.2大概少了500個bytes。 於是就開始了我trace code之路。包含SeleniumLibrary產生要送給Remote Selenium Server的request內容，還有HTTP Content-Length的計算，我都確認過沒有問題。 最後發現問題是出在socket API的使用上，就是下圖的這支code: 最後發現可能因為開始使用nio的方式送資料，但沒處理到尚未送完的資料內容，而導致發生問題。加一個loop去做計算就可以解決了。 最後我有把解法提供給robot framework官方，在他們出新的版本之前，我是將改完的_socket.py放在我們自己的Lib底下，好讓我們測試可以正常進行。(shutil.py應該也是為了解某個bug而產生的樣子..)
張貼留言
閱讀完整內容

Show NIC selection when setting the network command with the device option

 Problem  在answer file中設定網卡名稱後，安裝時會停在以下畫面: 所使用的command參數如下: network --onboot = yes --bootproto =dhcp --ipv6 =auto --device =eth1 Diagnostic Result 這樣的參數，以前試驗過是可以安裝完成的。因此在發生這個問題後，我檢查了它的debug console: 從console得知，eth1可能是沒有連接網路線或者是網路太慢而導致的問題。後來和Ivy再三確認，有問題的是有接網路線的網卡，且問題是發生在activate階段: Solution 我想既然有retry應該就有次數或者timeout限制，因此發現在Anaconda的說明文件中( link )，有提到dhcptimeout這個boot參數。看了一些人的使用範例，應該是可以直接串在isolinux.cfg中，如下: default linux ksdevice = link ip =dhcp ks =cdrom: / ks.cfg dhcptimeout = 90 然而我在RHEL/CentOS 6.7與6.8試驗後都無效。 因此我就拿了顯示的錯誤字串，問問Google大師，想找一下Anaconda source code來看一下。最後找到別人根據Anaconda code修改的版本: link ，關鍵在於setupIfaceStruct函式中的setupIfaceStruct與readNetConfig: setupIfaceStruct: 會在dhcp時設定dhcptimeout。 readNetConfig: 在writeEnabledNetInfo將timeout寫入dhclient config中；在wait_for_iface_activation內會根據timeout做retry。 再來從log與code可以得知，它讀取的檔案是answer file而不是boot command line。因此我接下來的測試，就是在answer file的network command上加入dhcptimeout: network --onboot = yes --bootproto =dhcp --ipv6 =auto --device =eth1 --...
張貼留言
閱讀完整內容

Robot Framework - Evaluate該怎麼用?

Evaluate該怎麼用? 前言 Builtin的RobotFramework Library提供了Evaluate Keyword。它所提供的功能是「執行Python描述句」。但實際上到底有什麼用途呢?原本我僅僅拿來將string轉為int的功用，經過一些查詢與試驗，我將心得整理給大家。 Builtin Builtin的function可以參考Library Doc for Evaluate。我以有使用過的function做說明。 數字轉換 Python提供了int、long、float與complex等function讓你可以將字串轉為數字，也可以透過它們做四則運算。首先以字串轉數字為例，我將8設於${num_str}中，再透過Evaluate+int轉為數字。這裡必須注意的是: 「int()中放變數必須以單引號'括起」。否則，假如你設定的數字為08，在轉換int時會出現Syntax Error。 ${num_str} | Set Variable | 8 ${num} | Evaluate | int('${num_str}') 其中int與long的第二個參數為base，這是根據你的input所決定: Comment | num = 9 ${num} | Evaluate | int('11', 8) Comment | num = 11 ${num} | Evaluate | int('11', 10) Comment | num = 17 ${num} | Evaluate | int('11', 16) 其它還有像bin、oct、hex，可以將整數轉為2、8、16進位。 運算 四則運算: 直接將運算子加上即可: ${num} | Evaluate | int('${hour}')*60 + int('${min}') 指數: 可以用pow。以下面兩個例子來說，第一個是2的3次方為8，第二個是2的3次方再mod 7為1。需注意的是: 「傳入值必須是數字不可為字串」。 ${num} | Evaluate | pow(2,3) ${num} | Evaluate | pow(2,3,7) 取最大最小值: 使用max/min，可以選擇丟一個array的方式...
張貼留言
閱讀完整內容