One of the biggest challenges of thread-management begins when the threads share non-const data
Data race and critical section
In the context of threads using shared data, you often hear the expressions race condition and critical section. But, what's that?
- Data Race
- A data race is a state, in which at least two threads access a shared data at the same time, and at least one of the threads is a writer.
- Critical Section
- A critical section is a section of the code, which not more than one thread should access at any point in time.
-
In case the program has a race condition, the program behaviour is undefined. To say it differently, anything can happen.
A nice way to visualize a race condition is to let a few threads write to std::cout. std::cout is the shared object (output stream), that should be protected from simultaneous access by multiple threads.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
// coutUnsynchronized.cpp
#include <chrono>
#include <iostream>
#include <thread>
class Worker{
public:
Worker(std::string n):name(n){};
void operator() (){
for (int i= 1; i <= 3; ++i){
// begin work
std::this_thread::sleep_for(std::chrono::milliseconds(200));
// end work
std::cout << name << ": " << "Work " << i << " done !!!" << std::endl;
}
}
private:
std::string name;
};
int main(){
std::cout << std::endl;
std::cout << "Boss: Let's start working.\n\n";
std::thread herb= std::thread(Worker("Herb"));
std::thread andrei= std::thread(Worker(" Andrei"));
std::thread scott= std::thread(Worker(" Scott"));
std::thread bjarne= std::thread(Worker(" Bjarne"));
std::thread andrew= std::thread(Worker(" Andrew"));
std::thread david= std::thread(Worker(" David"));
herb.join();
andrei.join();
scott.join();
bjarne.join();
andrew.join();
david.join();
std::cout << "\n" << "Boss: Let's go home." << std::endl;
std::cout << std::endl;
}
|
The boss assigns three work packages (lines 11 - 17) to each of its six workers (lines 32 - 36). When a worker is done with its work package it screams out loudly to the boss (line 16). When the boss has gotten notifications from all workers, it sends them home (line 45).
What a mess!

The same mess the next day. The workers scream out loudly. Totally unsynchronized.

-
The first solution is a mutex. A mutex ensures, that each thread exclusively accesses the shared variable std::cout.
A side note: std::cout is thread-safe
- The C++11 standard guarantees, that you must not protect the single characters, written to std::cout. Each character will atomically be written. Of course, it is possible, that more output statements like in the example will interleave. But that is only an optical issue. The program is well defined. The remark is valid for all input and output streams.
-
Mutex
Mutex stands for mutual exclusion. It ensures, that only one thread can access a critical section.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
// coutSynchronized.cpp
#include <chrono>
#include <iostream>
#include <mutex>
#include <thread>
std::mutex coutMutex;
class Worker{
public:
Worker(std::string n):name(n){};
void operator() (){
for (int i= 1; i <= 3; ++i){
// begin work
std::this_thread::sleep_for(std::chrono::milliseconds(200));
// end work
coutMutex.lock();
std::cout << name << ": " << "Work " << i << " done !!!" << std::endl;
coutMutex.unlock();
}
}
private:
std::string name;
};
int main(){
std::cout << std::endl;
std::cout << "Boss: Let's start working." << "\n\n";
std::thread herb= std::thread(Worker("Herb"));
std::thread andrei= std::thread(Worker(" Andrei"));
std::thread scott= std::thread(Worker(" Scott"));
std::thread bjarne= std::thread(Worker(" Bjarne"));
std::thread andrew= std::thread(Worker(" Andrew"));
std::thread david= std::thread(Worker(" David"));
herb.join();
andrei.join();
scott.join();
bjarne.join();
andrew.join();
david.join();
std::cout << "\n" << "Boss: Let's go home." << std::endl;
std::cout << std::endl;
|
The key difference to the first example are the lines 19 to 21. By invoking the methods coutMutex.lock() and coutMutex.unlock(), you define the exclusive section. This section can only be accessed by at most a single thread. The access to std::cout is synchronized and the mess becomes harmony.

What's next?
Mutexes have a lot of issues, which I will discuss in the next post. (Proofreader Alexey Elymanov)
Thanks a lot to my Patreon Supporters: Matt Braun, Roman Postanciuc, Tobias Zindl, Marko, G Prvulovic, Reinhold Dröge, Abernitzke, Frank Grimm, Sakib, Broeserl, António Pina, Sergey Agafyin, Андрей Бурмистров, Jake, GS, Lawton Shoemake, Animus24, Jozo Leko, John Breland, espkk, Wolfgang Gärtner, Louis St-Amour, Stephan Roslen, Venkat Nandam, Jose Francisco, Douglas Tinkham, Kuchlong Kuchlong, Avi Kohn, Robert Blanch, Truels Wissneth, Kris Kafka, Mario Luoni, Neil Wang, Friedrich Huber, lennonli, Pramod Tikare Muralidhara, Peter Ware, Tobi Heideman, Daniel Hufschläger, Red Trip, Alexander Schwarz, and Tornike Porchxidze.
Thanks in particular to Jon Hess, Lakshman, Christian Wittenhorst, Sherhy Pyton, Dendi Suhubdy, Sudhakar Belagurusamy, and Richard Sargeant.
My special thanks to Embarcadero 
Seminars
I'm happy to give online-seminars or face-to-face seminars world-wide. Please call me if you have any questions.
Bookable (Online)
Deutsch
English
Standard Seminars
Here is a compilation of my standard seminars. These seminars are only meant to give you a first orientation.
New
Contact Me
- Tel.: +49 7472 917441
- Mobil: +49 152 31965939
- Mail: This email address is being protected from spambots. You need JavaScript enabled to view it.
- German Seminar Page: www.ModernesCpp.de
- English Seminar Page: www.ModernesCpp.net
Modernes C++,

Comments
experienced studying your web site. She came to understand
a good number of issues, including what it is like to possess a very effective coaching heart to have the mediocre ones clearly understand specified impossible subject matter.
You truly did more than visitors' desires. Thank you for delivering the warm and friendly, dependable, informative not to mention unique tips on that topic to Jane.
it. Look advanced to more added agreeable from you!
By the way, how could we communicate?
thanks for providing these statistics.
RSS feed for comments to this post