跳至主要内容

Singleton and Synchronization

Why synchronized in singleton

I will describe what I encounter to convince you it is really needed to do so.
I have the Class A in the Thread-use:

Singleton s1 = Singleton.getInstance();
synchronized(s1){
    while (!B.ready){
        s1.wait();
    }
    // read from singleton
}

Then Class B in Thread-readData:

// notice the volatile
static volatile boolean ready = false;
Singleton s2 = Singleton.getInstance();
synchronized(s2){
    // read data than write to singleton
    ready = true;
    s2.notify();
}

Then Singleton:
public static Singleton getInstance() {
    if(instance == null) {
        instance = new Singleton();
    }
    return instance;
}

This getInstance() is not synchronized now. If the first thread enter the if clause first, then the second thread get the cpu also enter it (if clause) when the instance are still null, so they create two Singleton and return separately. As a result, the s1 and s2 point to the different objects which causes a deadlock, i.e. makes the wait and notify not working any more.

Simple Synchronization

private static Singleton instance;

public static synchronized Singleton getInstance() {
    if(instance == null) {
        instance = new Singleton();
    }
    return instance;
}
// or
public static Singleton getInstance() {
    synchronized (Singleton.class) {
        if(instance == null) {
            instance = new Singleton();
        }
    }
    return instance;
}

More Solutions

You may complain that above solution always need to acquire lock to proceed which may be not very efficient. But And at SO1, there shows two more ways to do so.

First is with the enum:
public enum Singleton {
    SINGLE;
    public void myMethod(){  
    }
}

Another one is to utilize classLoader which is synchronized, so we can eliminate explicit synchronization.

public class MySingleton {

     private static class Loader {
         static MySingleton INSTANCE = new MySingleton();
     }

     private MySingleton () {}

     public static MySingleton getInstance() {
         return Loader.INSTANCE;
     }
}

Even though we don't need acquire lock here, we should notice that through many optimizations of JVM, we have reach the point when no contended lock is not so expensive and should not be deemed as a very evil demon to kill. Readbility is much more important.

A somewhat complicated way -- double checked locking, which should avoid to be used, because it's much more easier to write wrong than correctly. And we can always use previous provided way if we need lazy initialization and don't always to acquire lock first.




Written with StackEdit.

评论

此博客中的热门博文

Spring Boot: Customize Environment

Spring Boot: Customize Environment Environment variable is a very commonly used feature in daily programming: used in init script used in startup configuration used by logging etc In Spring Boot, all environment variables are a part of properties in Spring context and managed by Environment abstraction. Because Spring Boot can handle the parse of configuration files, when we want to implement a project which uses yml file as a separate config file, we choose the Spring Boot. The following is the problems we met when we implementing the parse of yml file and it is recorded for future reader. Bind to Class Property values can be injected directly into your beans using the @Value annotation, accessed via Spring’s Environment abstraction or bound to structured objects via @ConfigurationProperties. As the document says, there exists three ways to access properties in *.properties or *.yml : @Value : access single value Environment : can access multi

Elasticsearch: Join and SubQuery

Elasticsearch: Join and SubQuery Tony was bothered by the recent change of search engine requirement: they want the functionality of SQL-like join in Elasticsearch! “They are crazy! How can they think like that. Didn’t they understand that Elasticsearch is kind-of NoSQL 1 in which every index should be independent and self-contained? In this way, every index can work independently and scale as they like without considering other indexes, so the performance can boost. Following this design principle, Elasticsearch has little related supports.” Tony thought, after listening their requirements. Leader notice tony’s unwillingness and said, “Maybe it is hard to do, but the requirement is reasonable. We need to search person by his friends, didn’t we? What’s more, the harder to implement, the more you can learn from it, right?” Tony thought leader’s word does make sense so he set out to do the related implementations Application-Side Join “The first implementation

Implement isdigit

It is seems very easy to implement c library function isdigit , but for a library code, performance is very important. So we will try to implement it and make it faster. Function So, first we make it right. int isdigit ( char c) { return c >= '0' && c <= '9' ; } Improvements One – Macro When it comes to performance for c code, macro can always be tried. #define isdigit (c) c >= '0' && c <= '9' Two – Table Upper version use two comparison and one logical operation, but we can do better with more space: # define isdigit(c) table[c] This works and faster, but somewhat wasteful. We need only one bit to represent true or false, but we use a int. So what to do? There are many similar functions like isalpha(), isupper ... in c header file, so we can combine them into one int and get result by table[c]&SOME_BIT , which is what source do. Source code of ctype.h : # define _ISbit(bit) (1 << (