blob: 65d140fc7ea8c9cb9705231a40d763d6be3d3744 (
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
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
|
// Reset and kill a thread process, including nested kills
#include <systemc>
using namespace sc_core;
using std::cout;
using std::endl;
struct M3: sc_module
{
M3(sc_module_name _name)
{
SC_THREAD(ticker);
k = sc_get_current_process_handle();
SC_THREAD(calling);
SC_THREAD(target);
t = sc_get_current_process_handle();
killing_over = false;
}
sc_process_handle t, k;
sc_event ev;
int count;
bool killing_over;
void ticker()
{
for (;;)
{
try {
wait(10, SC_NS);
ev.notify();
}
catch (const sc_unwind_exception& ex) {
// ticker process killed by target
cout << "sc_unwind_exception caught by ticker" << endl;
sc_assert( !ex.is_reset() );
sc_assert( count == 1 );
sc_assert( !killing_over );
throw ex;
}
}
}
void calling()
{
wait(15, SC_NS);
// Target runs at time 10 NS due to notification
sc_assert( count == 1 );
wait(10, SC_NS);
// Target runs again at time 20 NS due to notification
sc_assert( count == 2 );
t.reset();
// Target reset immediately at time 25 NS
sc_assert( count == 0 );
wait(10, SC_NS);
// Target runs again at time 30 NS due to notification
sc_assert( count == 1 );
t.kill();
sc_assert( !killing_over );
killing_over = true;
// Target killed immediately at time 35 NS
sc_assert( t.terminated() ); // FAILS IN PRESENCE OF k.kill(); on line 96
sc_assert( k.terminated() );
sc_stop();
}
void target()
{
cout << "Target called/reset at " << sc_time_stamp() << endl;
count = 0;
for (;;)
{
try {
wait(ev);
cout << "Target awoke at " << sc_time_stamp() << endl;
++count;
}
catch (const sc_unwind_exception& ex) {
cout << "sc_unwind_exception caught by target" << endl;
if (count == 2)
sc_assert( ex.is_reset() );
else if (count == 1)
{
sc_assert( !ex.is_reset() );
sc_assert( !killing_over );
k.kill();
}
else
sc_assert( false );
throw ex;
}
}
}
SC_HAS_PROCESS(M3);
};
int sc_main(int argc, char* argv[])
{
M3 m("m");
sc_start();
return 0;
}
|