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
|
/*
TEST_HEADER
id = $Id$
summary = request.dylan.170563 (colour invariant and finalization)
language = c
link = testlib.o rankfmt.o
END_HEADER
*/
#include "testlib.h"
#include "mpscamc.h"
#include "mpsavm.h"
#include "rankfmt.h"
#define genCOUNT (3)
static mps_gen_param_s testChain[genCOUNT] = {
{ 6000, 0.90 }, { 8000, 0.65 }, { 16000, 0.50 } };
mps_arena_t arena;
static void test(void *stack_pointer)
{
mps_pool_t pool;
mps_root_t rootA, rootB;
mps_fmt_t format;
mps_chain_t chain;
mps_addr_t ref;
mps_message_t message;
mps_ap_t ap;
mycell *a, *b;
tag myTag;
long int j;
cdie(mps_arena_create(&arena, mps_arena_class_vm(), mmqaArenaSIZE),
"create arena");
mps_arena_park(arena);
die(mps_root_create_area(&rootA, arena, mps_rank_ambig(), (mps_rm_t)0,
&a, &a + 1, mps_scan_area, NULL), "create root");
die(mps_root_create_area(&rootB, arena, mps_rank_ambig(), (mps_rm_t)0,
&b, &b + 1, mps_scan_area, NULL), "create root");
die(mps_fmt_create_A(&format, arena, &fmtA), "create format");
cdie(mps_chain_create(&chain, arena, genCOUNT, testChain), "chain_create");
die(mmqa_pool_create_chain(&pool, arena, mps_class_amc(), format, chain),
"create pool");
cdie(
mps_ap_create(&ap, pool, mps_rank_exact()),
"create ap");
mps_message_type_enable(arena, mps_message_type_finalization());
b = allocone(ap, 400, 1);
for (j=0; j<1000; j++) {
a = allocone(ap, 400, 1);
setref(a, 0, b);
b = a;
}
a = allocone(ap, 2, 1);
mps_finalize(arena, (mps_addr_t*)&a);
myTag = a->tag;
a = allocone(ap, 4000, 1);
mps_arena_collect(arena);
if (!mps_message_get(&message, arena, mps_message_type_finalization())) {
error("No message on queue!");
}
for (j=0; j<50; j++) {
comment("%d of 50", j);
a = allocdumb(ap, 1024*1024*10, 1);
mps_message_finalization_ref(&ref, arena, message);
mps_arena_park(arena);
a = ref;
comment(" %p", a);
asserts(a->tag == myTag, "Bad reference!");
a = NULL;
ref = NULL;
mps_arena_release(arena);
}
mps_message_discard(arena, message);
mps_arena_park(arena);
mps_root_destroy(rootA);
mps_root_destroy(rootB);
mps_ap_destroy(ap);
mps_pool_destroy(pool);
mps_chain_destroy(chain);
mps_fmt_destroy(format);
mps_arena_destroy(arena);
comment("Destroyed arena.");
}
int main(void)
{
run_test(test);
pass();
return 0;
}
|
