Is this Singleton class thread-safe?

A

Angus

Hello

I have written a singleton class like this:

//---------------------------------------------------------------------------
// Instance
//---------------------------------------------------------------------------
template <typename T>
T * CSingleton<T>::Instance(
) throw()
{
static T inst;
return &inst;
}

Is this thread safe? Could two threads (with cpu context switching)
possibly create more than one instance of the class passed as a
template? Is this possible? If it is I presume I must lock using
mutex or some mechanism before line - static T inst; and just after
it?

Angus
 
D

DJ

Angus napisał(a):
Hello

I have written a singleton class like this:

//---------------------------------------------------------------------------
// Instance
//---------------------------------------------------------------------------
template <typename T>
T * CSingleton<T>::Instance(
) throw()
{
static T inst;
return &inst;
}

Is this thread safe? Could two threads (with cpu context switching)
possibly create more than one instance of the class passed as a
template? Is this possible? If it is I presume I must lock using
mutex or some mechanism before line - static T inst; and just after
it?

It is not thread safe and you must lock it, however mutex lock might
give performace penalty - depends on yours app. There is something
called double-checking locking - google for that - it's well known and
described problem
 
P

Pete Becker

Hello

I have written a singleton class like this:

//---------------------------------------------------------------------------
// Instance
//---------------------------------------------------------------------------
template <typename T>
T * CSingleton<T>::Instance(
) throw()
{
static T inst;
return &inst;
}

Is this thread safe?

The language definition doesn't say, because it doesn't deal with
threads. Check the documentation for your compiler.
 
G

Gianni Mariani

DJ said:
Angus napisał(a):

It is not thread safe and you must lock it, however mutex lock might
give performace penalty - depends on yours app. There is something
called double-checking locking - google for that - it's well known and
described problem


Some compilers do make sure it's thread safe (see G++ past V4).

DCL (double checked locking) is not considered a good thing because it
does not work on all machines - see past articles on
comp.programing.threads.
 
D

DJ

Gianni Mariani napisał(a):
Some compilers do make sure it's thread safe (see G++ past V4).

I am just thinking if you call ::Instace before threads are created in
the app you should be fine as the static object must be created,
shoudn't you ?
DCL (double checked locking) is not considered a good thing because it
does not work on all machines - see past articles on
comp.programing.threads.

true.
 
G

Gianni Mariani

DJ wrote:
....
I am just thinking if you call ::Instace before threads are created in
the app you should be fine as the static object must be created,
shoudn't you ?
Yes.


true.
 
J

James Kanze

I have written a singleton class like this:
//---------------------------------------------------------------------------
// Instance
//---------------------------------------------------------------------------
template <typename T>
T * CSingleton<T>::Instance(
) throw()
{
static T inst;
return &inst;
}
Is this thread safe?

Maybe. You've cut the documentation which states its
requirements, so there's no way to tell.
Could two threads (with cpu context switching) possibly create
more than one instance of the class passed as a template? Is
this possible?

Possibly. It depends on whether two threads have a right to do
this or not.

If you want to allow multiple threads to call Instance without
external locking, you'll probably have to take some precautions
internally.
If it is I presume I must lock using mutex or some mechanism
before line - static T inst; and just after it?

There are other solutions, depending on the context:

-- You could just document that the user must externally
synchronize calls to Instance. If the user needs external
synchronization to use the returned object anyway, this is
perfectly acceptable, and doubtlessly the simplest solution.

-- If you don't need to support multithreading before main is
called, something like:

T* Singleton<T>::eek:urInstance = Singleton<T>::instance() ;

Singleton<T>*
Singleton<T>::instance()
{
return ourInstance == NULL
? new T
: ourInstance ;
}

can be used. This works if (and only if) instance() is
called at least once before threading starts; the
initializer of ourInstance guarantees that it will be called
at least once before main() is entered (in practice, if not
necessarily formally).

This is what I tend to do in generic solutions, or when T is
mainly a read-only object. (Note that this has the
additional advantage that the instance is never destructed,
so you don't run into order of destructor problems either.)

-- If the user absolutly needs external synchronization to use
the object, you can provide it for him, by returning a smart
pointer which reference counts, and whose last instance
unlocks, and grab the lock before starting. Something like:

pthread_mutex_t ourLock = PTHREAD_MUTEX_INITIALIZER ;

struct Unlocker
{
void operator()() {
pthread_mutex_unlock( &ourLock ) ;
}
} ;

boost::shared_ptr< T >
Singleton::instance()
{
pthread_mutex_lock( &ourLock ) ;
static T* theOneAndOnly = NULL ;
if ( theOneAndOnly == NULL ) {
theOneAndOnly = new Singleton ;
}
return boost::shared_ptr< T >( theOneAndOnly,
Unlocker() ) ;
}

Once again, the only lock you've acquired is one that the
user needed anyway.

(I don't think that this solution is appropriate for generic
code, but it seems a nice idea for some special cases.)
 

Ask a Question

Want to reply to this thread or ask your own question?

You'll need to choose a username for the site, which only take a couple of moments. After that, you can post your question and our members will help you out.

Ask a Question

Members online

No members online now.

Forum statistics

Threads
473,968
Messages
2,570,149
Members
46,695
Latest member
StanleyDri

Latest Threads

Top