blob: de860b5db6a86e33938f4b8d44c7d63ffd731b24 (
plain)
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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
|
// -*- C++ -*-
//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is dual licensed under the MIT and the University of Illinois Open
// Source Licenses. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: c++98, c++03, c++11, c++14
#include <experimental/task>
#include "../manual_reset_event.hpp"
#include "../sync_wait.hpp"
#include <optional>
#include <thread>
namespace coro = std::experimental::coroutines_v1;
static bool has_f_executed = false;
static coro::task<void> f()
{
has_f_executed = true;
co_return;
}
static void test_coroutine_executes_lazily()
{
coro::task<void> t = f();
assert(!has_f_executed);
coro::sync_wait(t);
assert(has_f_executed);
}
static std::optional<int> last_value_passed_to_g;
static coro::task<void> g(int a)
{
last_value_passed_to_g = a;
co_return;
}
void test_coroutine_accepts_arguments()
{
auto t = g(123);
assert(!last_value_passed_to_g);
coro::sync_wait(t);
assert(last_value_passed_to_g);
assert(*last_value_passed_to_g == 123);
}
int shared_value = 0;
int read_value = 0;
coro::task<void> consume_async(manual_reset_event& event)
{
co_await event;
read_value = shared_value;
}
void produce(manual_reset_event& event)
{
shared_value = 101;
event.set();
}
void test_async_completion()
{
manual_reset_event e;
std::thread t1{ [&e]
{
sync_wait(consume_async(e));
}};
assert(read_value == 0);
std::thread t2{ [&e] { produce(e); }};
t1.join();
assert(read_value == 101);
t2.join();
}
int main()
{
test_coroutine_executes_lazily();
test_coroutine_accepts_arguments();
test_async_completion();
return 0;
}
|
