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
(
resources: [
(
id: "board",
provider: "TestBundle",
),
],
tasks: [
(id: "src", type: "AnytimeSrc"),
(
id: "refiner",
type: "AnytimeRefiner",
anytime: (
time_budget_ms: 5.0,
max_age_ms: 100.0,
quality_target: 0.9,
quality_floor: 0.1,
max_refines: 4,
max_stall: 3,
),
),
(
id: "counter",
type: "AnytimeCounter",
anytime: (max_refines: 2),
resources: {
"scratch": "board.scratch",
},
),
(
id: "sink",
type: "AnytimeSink",
),
(
id: "tail",
type: "AnytimeTail",
kind: task,
anytime: (max_refines: 1),
),
],
cnx: [
(
src: "src",
dst: "refiner",
msg: "u32",
),
(
src: "refiner",
dst: "counter",
msg: "u32",
),
(
src: "counter",
dst: "sink",
msg: "u32",
),
(
src: "counter",
dst: "tail",
msg: "u32",
),
],
)