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
/* 
TEST_HEADER
 id = $Id: //info.ravenbrook.com/project/mps/master/test/function/234.c#3 $
 summary = empty traces (regression test for job004086)
 language = c
 link = testlib.o rankfmt.o
END_HEADER
*/

#include "mpsavm.h"
#include "mpscamc.h"
#include "mpscams.h"
#include "mpscawl.h"
#include "mpsclo.h"
#include "rankfmt.h"
#include "testlib.h"

static void test_pool(void *stack_pointer, mps_pool_class_t pool_class)
{
  mps_arena_t arena;
  mps_pool_t pool;
  mps_thr_t thread;
  mps_root_t root;
  mps_fmt_t format;
  mps_ap_t ap;
  void *addr;

  cdie(mps_arena_create_k(&arena, mps_arena_class_vm(), mps_args_none),
       "create arena");
  cdie(mps_thread_reg(&thread, arena), "register thread");
  cdie(mps_root_create_thread(&root, arena, thread, stack_pointer),
       "create thread");
  cdie(mps_fmt_create_A(&format, arena, &fmtA), "create format");
  MPS_ARGS_BEGIN(args) {
    MPS_ARGS_ADD(args, MPS_KEY_FORMAT, format);
    cdie(mps_pool_create_k(&pool, arena, pool_class, args), "create pool");
  } MPS_ARGS_END(args);
  cdie(mps_ap_create_k(&ap, pool, mps_args_none), "create ap");

  /* First reserve on the allocation point causes the pool to create a
     buffered segment but with no objects yet. */
  cdie(mps_reserve(&addr, ap, MPS_PF_ALIGN), "reserve");

  /* Create a trace and condemn the world, but discover that no
     objects were condemned, so abort the trace. */
  mps_arena_collect(arena);

  /* Collect again to ensure that aborting the trace after condemning
     didn't violate the trace invariants. */
  mps_arena_collect(arena);

  asserts(mps_commit(ap, &addr, MPS_PF_ALIGN), "commit");

  mps_ap_destroy(ap);
  mps_pool_destroy(pool);
  mps_fmt_destroy(format);
  mps_root_destroy(root);
  mps_thread_dereg(thread);
  mps_arena_destroy(arena);
}

static void test(void *stack_pointer)
{
  test_pool(stack_pointer, mps_class_amc());
  test_pool(stack_pointer, mps_class_ams());
  test_pool(stack_pointer, mps_class_awl());
  test_pool(stack_pointer, mps_class_lo());
}

int main(void)
{
 run_test(test);
 pass();
 return 0;
}