source: mainline/uspace/lib/cpp/src/__bits/test/future.cpp@ c6f23a7

Last change on this file since c6f23a7 was b57ba05, checked in by Jiří Zárevúcky <zarevucky.jiri@…>, 3 years ago

Update headers in C++ files

  • Property mode set to 100644
File size: 9.5 KB
Line 
1/*
2 * SPDX-FileCopyrightText: 2019 Jaroslav Jindrak
3 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6
7#include <__bits/test/mock.hpp>
8#include <__bits/test/tests.hpp>
9#include <chrono>
10#include <exception>
11#include <future>
12#include <tuple>
13#include <utility>
14
15using namespace std::chrono_literals;
16
17namespace
18{
19 template<class R>
20 auto prepare()
21 {
22 auto res = std::tuple<
23 std::promise<R>, std::future<R>,
24 std::aux::shared_state<R>*
25 >{};
26 std::get<0>(res) = std::promise<R>{};
27 std::get<1>(res) = std::get<0>(res).get_future();
28 std::get<2>(res) = std::get<1>(res).__state();
29
30 return res;
31 }
32}
33
34namespace std::test
35{
36 bool future_test::run(bool report)
37 {
38 report_ = report;
39 start();
40
41 test_future();
42 test_promise();
43 test_future_promise();
44 test_async();
45 test_packaged_task();
46 test_shared_future();
47
48 return end();
49 }
50
51 const char* future_test::name()
52 {
53 return "future";
54 }
55
56 void future_test::test_future()
57 {
58 std::future<int> f1{};
59 test("default constructed invalid", !f1.valid());
60
61 std::future<int> f2{new std::aux::shared_state<int>{}};
62 test("state constructed valid", f2.valid());
63
64 f1 = std::move(f2);
65 test("move assignment source invalid", !f2.valid());
66 test("move assignment destination valid", f1.valid());
67
68 std::future<int> f3{std::move(f1)};
69 test("move construction source invalid", !f1.valid());
70 test("move construction destination valid", f3.valid());
71 }
72
73 void future_test::test_promise()
74 {
75 std::promise<int> p1{};
76 test("default constructed promise has state", p1.__state());
77
78 std::promise<int> p2{};
79 auto* s1 = p1.__state();
80 auto* s2 = p2.__state();
81 p2.swap(p1);
82 std::swap(s1, s2);
83
84 test_eq("swap switches states pt1", s1, p1.__state());
85 test_eq("swap switches states pt2", s2, p2.__state());
86
87 std::promise<int> p3{std::move(p1)};
88 test_eq("move construction state moved", s1, p3.__state());
89 test_eq("move construction source empty", p1.__state(), nullptr);
90
91 p1 = std::move(p3);
92 test_eq("move assignment state move", s1, p1.__state());
93 test_eq("move assignment source empty", p3.__state(), nullptr);
94
95 p1.set_value(42);
96 test("set_value marks state as ready", s1->is_set());
97 test_eq("set_value sets value", s1->get(), 42);
98 }
99
100 void future_test::test_future_promise()
101 {
102 /**
103 * Note: As we currently have no exception
104 * propagation support, we do not test
105 * exceptions here. However, the logic there
106 * is basically identical to that of the value
107 * setting.
108 */
109 auto [p1, f1, s1] = prepare<int>();
110 test_eq("refcount in basic case", s1->refs(), 2);
111
112 p1.set_value(1);
113 test("simple case valid", f1.valid());
114 test_eq("simple case get", f1.get(), 1);
115
116 auto [p2, f2, s2] = prepare<int>();
117 std::thread t2{
118 [&p2](){
119 std::this_thread::sleep_for(20ms);
120 p2.set_value(42);
121 }
122 };
123
124 test_eq("parallel get waits and has correct value", f2.get(), 42);
125
126 auto [p3, f3, s3] = prepare<int>();
127 std::thread t3{
128 [&p3](){
129 std::this_thread::sleep_for(20ms);
130 p3.set_value(42);
131 }
132 };
133
134 f3.wait();
135 test("after wait value is set", s3->is_set());
136 test_eq("after wait value is correct", s3->get(), 42);
137
138 auto [p4, f4, s4] = prepare<int>();
139 std::thread t4{
140 [&p4](){
141 /* p4.set_value_at_thread_exit(42); */
142 }
143 };
144 std::this_thread::sleep_for(10ms); // Let the value be set inside state.
145
146 /* test("shared state marked as ready at thread exit", s4->is_set()); */
147 /* test_eq("value set inside state while in thread", s4->get(), 42); */
148 /* test_eq("value set at thread exit", f4.get(), 42); */
149
150 mock::clear();
151 std::aux::shared_state<std::test::mock>* s5{};
152 {
153 std::promise<std::test::mock> p5{};
154 s5 = p5.__state();
155 test_eq("refcount with just promise", s5->refs(), 1);
156 {
157 auto f5 = p5.get_future();
158 test_eq("refcount after creating future", s5->refs(), 2);
159 }
160 test_eq("refcount after future is destroyed", s5->refs(), 1);
161 test_eq("state not destroyed with future", mock::destructor_calls, 0U);
162 }
163 test_eq("state destroyed with promise", mock::destructor_calls, 1U);
164
165 mock::clear();
166 {
167 std::aux::shared_state<std::test::mock>* s6{};
168 std::future<std::test::mock> f6{};
169 {
170 std::promise<std::test::mock> p6{};
171 s6 = p6.__state();
172 {
173 f6 = p6.get_future();
174 test_eq("move construction only increments refcount once", s6->refs(), 2);
175 }
176 }
177 test_eq("refcount after promise is destroyed", s6->refs(), 1);
178 test_eq("state not destroyed with promise", mock::destructor_calls, 0U);
179 }
180 test_eq("state destroyed with future", mock::destructor_calls, 1U);
181
182 auto [p7, f7, s7] = prepare<int>();
183 auto res7 = f7.wait_for(5ms);
184 test_eq("wait_for timeout", res7, std::future_status::timeout);
185
186 res7 = f7.wait_until(std::chrono::system_clock::now() + 5ms);
187 test_eq("wait_until timeout", res7, std::future_status::timeout);
188
189 std::thread t7{
190 [&p7](){
191 std::this_thread::sleep_for(5ms);
192 p7.set_value(42);
193 }
194 };
195 res7 = f7.wait_for(10ms);
196 test_eq("wait_for ready", res7, std::future_status::ready);
197
198 auto [p8, f8, s8] = prepare<int>();
199 std::thread t8{
200 [&p8](){
201 std::this_thread::sleep_for(5ms);
202 p8.set_value(42);
203 }
204 };
205
206 auto res8 = f8.wait_until(std::chrono::system_clock::now() + 10ms);
207 test_eq("wait_until ready", res8, std::future_status::ready);
208
209 int x{};
210 std::promise<int&> p9{};
211 std::future<int&> f9 = p9.get_future();
212 p9.set_value(x);
213 int& y = f9.get();
214
215 test_eq("reference equal to original", x, y);
216
217 ++x;
218 test_eq("equal after modifying original", x, y);
219
220 ++y;
221 test_eq("equal after modifying reference", x, y);
222 }
223
224 void future_test::test_async()
225 {
226 auto res1 = std::async(
227 [](){
228 return 42;
229 }
230 );
231 test_eq("ret async default policy", res1.get(), 42);
232
233 auto res2 = std::async(
234 std::launch::deferred, [](){
235 return 42;
236 }
237 );
238 test_eq("ret async deferred policy", res2.get(), 42);
239
240 auto res3 = std::async(
241 std::launch::async, [](){
242 return 42;
243 }
244 );
245 test_eq("ret async async policy", res3.get(), 42);
246
247 int x{};
248 auto res4 = std::async(
249 [&x](){
250 x = 42;
251 }
252 );
253
254 res4.get();
255 test_eq("void async", x, 42);
256 }
257
258 void future_test::test_packaged_task()
259 {
260 std::packaged_task<int(int)> pt1{};
261 test("default constructed packaged_task not valid", !pt1.valid());
262
263 pt1 = std::packaged_task<int(int)>{
264 [](int x){
265 return x + 1;
266 }
267 };
268 test("packaged_task default constructed and move assigned valid", pt1.valid());
269
270 auto f1 = pt1.get_future();
271 test("future from valid packaged_task valid", f1.valid());
272
273 pt1(10);
274 test_eq("result stored in future correct", f1.get(), 11);
275
276 std::packaged_task<int()> pt2{
277 [](){
278 return 42;
279 }
280 };
281 auto f2 = pt2.get_future();
282 pt2();
283 test_eq("no argument packaged_task return value correct", f2.get(), 42);
284
285 pt2.reset();
286 test_eq("reset causes refcount decrement", f2.__state()->refs(), 1);
287
288 auto f3 = pt2.get_future();
289 pt2();
290 test_eq("invocation after reset returns correct value", f3.get(), 42);
291 test("reset recreates state", (f2.__state() != f3.__state()));
292 }
293
294 void future_test::test_shared_future()
295 {
296 auto [p1, f1, s1] = prepare<int>();
297 auto sf1 = f1.share();
298
299 test("future invalid after share", !f1.valid());
300 test_eq("shared state moved on share", sf1.__state(), s1);
301 test_eq("no refcount increment on share", s1->refs(), 2);
302
303 {
304 auto sf2 = sf1;
305 test_eq("refcount increment on copy", s1->refs(), 3);
306 test_eq("shared state shared between copies", sf1.__state(), sf2.__state());
307 }
308 test_eq("refcount decrement when copy gets destroyed", s1->refs(), 2);
309
310 auto sf2 = sf1;
311 int res1{}, res2{};
312 std::thread t1{
313 [&](){
314 res1 = sf1.get();
315 }
316 };
317 std::thread t2{
318 [&](){
319 res2 = sf2.get();
320 }
321 };
322
323 std::this_thread::sleep_for(20ms);
324 p1.set_value(42);
325 std::this_thread::sleep_for(20ms);
326 test_eq("first result correct", res1, 42);
327 test_eq("second result correct", res2, 42);
328 }
329}
Note: See TracBrowser for help on using the repository browser.