...
You can create that instance using lazy initialization, which means that the instance is not created when the class loads , but when it is first used.
Noncompliant Code Example
When the getter method is called by two threads or classes simultaneously can lead in , multiple instances of the singleton Singleton class might result if you neglect to use synchronization, which is a common mistake that happens with that implementation.
Code Block | ||
---|---|---|
| ||
public class MySingleton { private static MySingleton _instance; private MySingleton() { // construct object . . . // private constructor prevents instantiation by outside callers } // lazy initialization //error, no synchronization on method public static MySingleton getInstance() { if (_instance==null) { _instance = new MySingleton(); } return _instance; } // Remainder of class definition . . . } |
Noncompliant Code Example
Multiple instances can be created even if you add a synchronized(this)
block to the constructor call.
Code Block | ||
---|---|---|
| ||
// Also an error, synchronization does not prevent // two calls of constructor. public static MySingleton getInstance() { if (_instance==null) { synchronized (MySingleton.class) { _instance = new MySingleton(); } } return _instance; } |
Compliant Solution
To avoid that, make the getInstance()
a synchronized method.
Code Block | ||
---|---|---|
| ||
public class MySingleton { private static MySingleton _instance; private MySingleton() { // construct object . . . // private constructor prevents instantiation by outside callers } // lazy initialization public static synchronized MySingleton getInstance() { if (_instance==null) { _instance = new MySingleton(); } return _instance; } // Remainder of class definition . . . } |
By applying Applying a static modifier to the getInstance()
method which returns the Singleton , allows the method to be accessed subsequently (after the initial call) without creating a new object.
Noncompliant Code Example
Anther solution for Singletons to be thread-safe is the double-checked locking. It is not guaranteed to work because compiler optimizations can make the assignment of the new Singleton object before all its fields are initialized.
Code Block | ||
---|---|---|
| ||
// double-checked locking public static MySingleton getInstance() { if (_instance==null) { synchronized (MySingleton.class) { if (_instance==null) { _instance = new MySingleton(); } } } } |
Compliant Solution
It is still possible to create a copy of the Singleton object by cloning it using the Objectobject's clone method, which violates the Singleton Design Pattern's objective. To prevent that you need to override the Objectobject's clone method, which throws a CloneNotSupportedException exception.
...
See MSC05-J. Make your classes non Cloneable unless required for more details about restricting the clone()
method.
Risk Assessment
Using lazy initialization of a Singleton without synchronizing the getInstance()method may lead in to multiple instances.
Rule | Severity | Likelihood | Remediation Cost | Priority | Level |
---|---|---|---|---|---|
CON33-J | low | unlikely | medium | P2 | L3 |
Automated Detection
TODO
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
References
Wiki Markup |
---|
\[[JLS 05|AA. Java References#JLS 05]\] [Chapter 17, Threads and Locks|http://java.sun.com/docs/books/jls/third_edition/html/memory.html] |
...