But now to the difference between getting the argument by copy or by reference.<\/p>\n
<\/p>\n
std::string s{\"C++11\"<\/span>}\r\n\r\nstd::thread<\/span> t([=]{ std::cout << s << std::endl;});\r\nt.join();\r\n\r\nstd::thread<\/span> t2([&]{ std::cout << s << std::endl;});\r\nt2.detach()\r\n<\/pre>\n<\/div>\n <\/p>\n
Precisely said, it is not the thread that gets the arguments in this example, but the lambda function. But that makes no difference for my argumentation. So the first thread t1 gets its data per copy ([=]<\/span>), and the second thread t2 gets its data by reference ([&]<\/span>).<\/p>\nWhat dangers are hidden in these lines? Thread t2 gets its string s by reference and is afterward detached from the lifetime of its creator. On the one hand, the lifetime of the string is bound to the lifetime of the invocation context, and on the other hand, the lifetime of the global object std::cout<\/span> is bound to the lifetime of the main <\/span>thread. So it may happen that the lifetime of the string s or the lifetime of std::cout<\/span> is shorter than the lifetime of the thread t2. Now we are deep in the area of undefined behavior.<\/p>\n<\/p>\nNot convinced? Let’s have a closer look, what undefined behavior may look like.<\/p>\n
<\/p>\n
<\/p>\n
\n\n\n\n\n 1\r\n 2\r\n 3\r\n 4\r\n 5\r\n 6\r\n 7\r\n 8\r\n 9\r\n10\r\n11\r\n12\r\n13\r\n14\r\n15\r\n16\r\n17\r\n18\r\n19\r\n20\r\n21\r\n22\r\n23\r\n24\r\n25\r\n26\r\n27\r\n28\r\n29\r\n30\r\n31\r\n32\r\n33<\/pre>\n<\/td>\n\n\/\/ threadArguments.cpp<\/span>\r\n\r\n#include <chrono><\/span>\r\n#include <iostream><\/span>\r\n#include <thread><\/span>\r\n\r\nclass<\/span> Sleeper<\/span>{\r\n public:\r\n Sleeper(int<\/span>& i_):i{i_}{};\r\n void<\/span> operator() (int<\/span> k){\r\n for<\/span> (unsigned<\/span> int<\/span> j= 0; j <= 5; ++j){\r\n std::this_thread::sleep_for(std::chrono::milliseconds(100));\r\n i += k;\r\n }\r\n std::cout << std::this_thread::get_id() << std::endl;\r\n }\r\n private:\r\n int<\/span>& i;\r\n};\r\n\r\n\r\nint<\/span> main(){\r\n\r\n std::cout << std::endl;\r\n\r\n int<\/span> valSleeper= 1000;\r\n std::thread<\/span> t(Sleeper(valSleeper),5);\r\n t.detach();\r\n std::cout << \"valSleeper = \"<\/span> << valSleeper << std::endl;\r\n\r\n std::cout << std::endl;\r\n\r\n}\r\n<\/pre>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n <\/p>\n
The question is, which value valSleeper has in line 26 valSleeper<\/span> as a global variable? The thread t gets as a work package a function object of type Sleeper<\/span>, the variable valSleeper<\/span>, and the number 5 (line 27). The crucial observation is that the thread gets valSleeper<\/span> by reference (line 9) and will be detached from the lifetime of the main thread (line 28). Then it will execute the call operator of the function object (lines 10 – 16). This method counts from 0 to 5, sleeps in each iteration 1\/10 of a second, and increments i by k. In the end, it displays its ID on the screen. Following Adam Riese (a German proverb), the result must be 1000 + 6 * 5 = 1030.<\/p>\nBut what happened? Something is going wrong. <\/p>\n
![\"Sleeper\"](\"https:\/\/www.modernescpp.com\/wp-content\/uploads\/2016\/04\/Sleeper.png\")
<\/p>\n
There are two issues. On the one hand, valSleeper<\/span> is 1000; on the other hand, the ID is missing on the console. So, that is undefined behavior. The reason is that the lifetime of the main thread ends before the child thread has performed its calculation or written its ID to std::cout<\/span>.<\/p>\nIn case the main thread waits via t.join()<\/span> until this child thread is done with its work, we get the expected result.<\/p>\n <\/p>\n
\nint<\/span> main(){\r\n\r\n std::cout << std::endl;\r\n\r\n int<\/span> valSleeper= 1000;\r\n std::thread<\/span> t(Sleeper(valSleeper),5);\r\n t.join();\r\n std::cout << \"valSleeper = \"<\/span> << valSleeper << std::endl;\r\n\r\n std::cout << std::endl;\r\n\r\n}\r\n<\/pre>\n<\/div>\n <\/p>\n
![\"Sleeper2\"](\"https:\/\/www.modernescpp.com\/wp-content\/uploads\/2016\/04\/Sleeper2.png\")
<\/p>\n
What’s next?<\/h2>\n
Thinking about the lifetime of the threads is by far not the only issue with threads. Both threads, the main thread and the child thread, share two objects. That is std::cout<\/span> and the variable valSleeper.<\/span> Now, I described the classical recipe for a data race or – to say it differently – for undefined behavior. In the next post<\/a>, I will deal with shared variables between threads. (Proofreader Arne Mertz, Alexey Elymanov<\/strong><\/strong>)<\/p>\n <\/p>\n
<\/p><\/p>\n","protected":false},"excerpt":{"rendered":"
A thread gets its data by copy or by reference. By default, you should use by copy. Why? In case your thread gets its data by reference, you have to be extremely careful about the lifetime of the arguments.<\/p>\n","protected":false},"author":21,"featured_media":4729,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[366],"tags":[],"class_list":["post-4731","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-multithreading"],"_links":{"self":[{"href":"https:\/\/www.modernescpp.com\/index.php\/wp-json\/wp\/v2\/posts\/4731","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.modernescpp.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.modernescpp.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.modernescpp.com\/index.php\/wp-json\/wp\/v2\/users\/21"}],"replies":[{"embeddable":true,"href":"https:\/\/www.modernescpp.com\/index.php\/wp-json\/wp\/v2\/comments?post=4731"}],"version-history":[{"count":0,"href":"https:\/\/www.modernescpp.com\/index.php\/wp-json\/wp\/v2\/posts\/4731\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.modernescpp.com\/index.php\/wp-json\/wp\/v2\/media\/4729"}],"wp:attachment":[{"href":"https:\/\/www.modernescpp.com\/index.php\/wp-json\/wp\/v2\/media?parent=4731"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.modernescpp.com\/index.php\/wp-json\/wp\/v2\/categories?post=4731"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.modernescpp.com\/index.php\/wp-json\/wp\/v2\/tags?post=4731"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}