In a multi-threaded C++ app, do I need a mutex to protect a simple boolean?
Asked Answered
C

5

20

I have a multi-threaded C++ app which does 3D rendering with the OpenSceneGraph library. I'm planning to kick off OSG's render loop as a separate thread using boost::threads, passing a data structure containing shared state in to the thread. I'm trying to avoid anything too heavyweight (like mutexes) for synchronization, as the render loop needs to be pretty tight, and OSG itself tries to avoid having to ever lock. Most of the shared state is set before the thread is started, and never changed. I do have some data that does need to be changed, which I am planning to double-buffer. However, I have a simple boolean for signaling the thread to suspend rendering, and later resume rendering, and another to kill it. In both cases the app thread sets the bool, and the render thread only reads it. Do I need to synchronize access to these bools? As far as I can tell, the worse thing that could happen is the the render loop continues on for an extra frame before suspending or quitting.

Cattalo answered 21/10, 2008 at 18:23 Comment(0)
C
19

In C++11 and later, which has standards-defined concurrency, use std::atomic<bool> for this purpose. From http://en.cppreference.com/w/cpp/atomic/atomic:

If one thread writes to an atomic object while another thread reads from it, the behavior is well-defined (see memory model for details on data races).


The following old answer may have been true at some time in the past with some compilers and some operating environments, but it should not be relied upon today:

You're right, in this case you won't need to synchronise the bools. You should declare them volatile though, to ensure that the compiler actually reads them from memory each time, instead of caching the previous read in a thread (that's a simplified explanation, but it should do for this purpose).

The following question has more information about this: C++ Thread, shared data

Consequence answered 21/10, 2008 at 18:25 Comment(9)
That's not what 'volatile' actually does by the spec, though. MSVC is a bit more forgiving of lazy programmers, but GCC certainly will happily optimize, reschedule, and otherwise mangle your 'volatile' memory accesses.Calcareous
IIRC, per the spec, 'volatile' means the compiler must assume the variable can change at any time outside of the application's control. So if the compiler is correct, 'volatile' should give the desired effect.Amenity
No, 'volatile' only has meaning on memory mapped to device I/O registers. Anything else is unspecified, and is not obeyed by GCC with higher optimizations.Calcareous
My understanding is that conforming C++ implementations must re-evaluate volatile variables after any sequence point, which imposes very specific restrictions on the compiler. That said, GCC may certainly not be a conforming compiler for C++, and/or my understanding could be wrong.Amenity
That's true but not useful. The access to the volatile object must have been evaluated, but C++ has nothing to say about whether a write from another thread is visible to your thread, because C++ has nothing to say about threads. You must consult your compiler/thread documentation, or use C++0x.Gascony
So for example the C++ spec does not require that on systems with a non-coherent cache, volatile accesses cause cache synchronisation, only that the access (to cache) isn't moved across a sequence point. Compilers might be friendly, and do cache sync on volatile access. Or might not.Gascony
volatile does not prevent read / write re-ordering. VC++ 2005/8 seems to do this correctly, by adding additional meaning to the keyword volatile in the same way Java 5 does. GCC on the other hand will definitely re-order things.Coeval
As of today, 2017 (9 years later).. This answer is completely wrong. More precisely, its been wrong since 2011.Kallman
@WhiZTiM: Thanks for pointing this out, I've updated the answer.Consequence
P
8

Why not simply use an interlocked variable?

Pedicular answered 21/10, 2008 at 18:26 Comment(2)
Is there no overhead using those?Rhines
Then that's why it's better using plain bool, it's way simpler and faster.Rhines
S
4

As for C++11 and later it is finally threads-aware and clearly states that modifying a bool (or other non-atomic variable) in one thread and accessing it at the same time in another one is undefined behavior. In you case using std::atomic<bool> should be enough to make your program correct, saving you from using locks.
Do not use volatile. It has nothing to do with threads. For more discussion look at Can I read a bool variable in a thread without mutex?

Sternutation answered 18/12, 2017 at 13:40 Comment(0)
M
3

I don't think you need a fully fledged mutex here -- though the render thread will need to busy wait in the 'suspended' state if you aren't using a synchronization object that supports a wait primitive.

You should look into using the various interlocked exchange primitives though (InterlockedExchange under Windows). Not because read/writes from the bool are non-atomic, but to ensure that there are no weird behaviours the compiler reordering memory accesses on a single thread.

Midinette answered 21/10, 2008 at 18:27 Comment(0)
B
1

This thread has a little more info and discussion on thread-safety, especially for simple data types:

How can I create a thread-safe singleton pattern in Windows?

Boman answered 21/10, 2008 at 18:35 Comment(0)

© 2022 - 2024 — McMap. All rights reserved.