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
117
118
119
120
121
122
|
// -*- rust -*-
// Regression tests for circular_buffer when using a unit
// that has a size that is not a power of two
use std;
import std::option;
import std::_uint;
import std::_vec;
// A 12-byte unit to send over the channel
type record = rec(u32 val1, u32 val2, u32 val3);
// Assuming that the default buffer size needs to hold 8 units,
// then the minimum buffer size needs to be 96. That's not a
// power of two so needs to be rounded up. Don't trigger any
// assertions.
fn test_init() {
let port[record] myport = port();
auto mychan = chan(myport);
let record val = rec(val1=0u32, val2=0u32, val3=0u32);
mychan <| val;
}
// Dump lots of items into the channel so it has to grow.
// Don't trigger any assertions.
fn test_grow() {
let port[record] myport = port();
auto mychan = chan(myport);
let record val = rec(val1=0u32, val2=0u32, val3=0u32);
for each (uint i in _uint::range(0u, 100u)) {
mychan <| val;
}
}
// Don't allow the buffer to shrink below it's original size
fn test_shrink1() {
let port[i8] myport = port();
auto mychan = chan(myport);
mychan <| 0i8;
auto x <- myport;
}
fn test_shrink2() {
let port[record] myport = port();
auto mychan = chan(myport);
let record val = rec(val1=0u32, val2=0u32, val3=0u32);
for each (uint i in _uint::range(0u, 100u)) {
mychan <| val;
}
for each (uint i in _uint::range(0u, 100u)) {
auto x <- myport;
}
}
// Test rotating the buffer when the unit size is not a power of two
fn test_rotate() {
let port[record] myport = port();
auto mychan = chan(myport);
for each (uint i in _uint::range(0u, 100u)) {
auto val = rec(val1=i as u32,
val2=i as u32,
val3=i as u32);
mychan <| val;
auto x <- myport;
assert (x.val1 == i as u32);
assert (x.val2 == i as u32);
assert (x.val3 == i as u32);
}
}
// Test rotating and growing the buffer when
// the unit size is not a power of two
fn test_rotate_grow() {
let port[record] myport = port();
auto mychan = chan(myport);
for each (uint j in _uint::range(0u, 10u)) {
for each (uint i in _uint::range(0u, 10u)) {
let record val = rec(val1=i as u32,
val2=i as u32,
val3=i as u32);
mychan <| val;
}
for each (uint i in _uint::range(0u, 10u)) {
auto x <- myport;
assert (x.val1 == i as u32);
assert (x.val2 == i as u32);
assert (x.val3 == i as u32);
}
}
}
fn main() {
test_init();
test_grow();
test_shrink1();
test_shrink2();
test_rotate();
test_rotate_grow();
}
// Local Variables:
// mode: rust;
// fill-column: 78;
// indent-tabs-mode: nil
// c-basic-offset: 4
// buffer-file-coding-system: utf-8-unix
// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
// End:
|