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
|
/**************************************************************************/
/* */
/* OCaml */
/* */
/* KC Sivaramakrishnan, Indian Institute of Technology, Madras */
/* Stephen Dolan, University of Cambridge */
/* */
/* Copyright 2015 Indian Institute of Technology, Madras */
/* Copyright 2015 University of Cambridge */
/* */
/* All rights reserved. This file is distributed under the terms of */
/* the GNU Lesser General Public License version 2.1, with the */
/* special exception on linking described in the file LICENSE. */
/* */
/**************************************************************************/
#ifndef CAML_SHARED_HEAP_H
#define CAML_SHARED_HEAP_H
#ifdef CAML_INTERNALS
#include "config.h"
#include "roots.h"
#include "domain.h"
#include "misc.h"
#include "gc_stats.h"
CAMLextern atomic_uintnat caml_compactions_count;
struct caml_heap_state;
struct pool;
struct caml_heap_state* caml_init_shared_heap(void);
void caml_teardown_shared_heap(struct caml_heap_state* heap);
value* caml_shared_try_alloc(struct caml_heap_state*,
mlsize_t, tag_t, reserved_t);
/* Copy the domain-local heap stats into a heap stats sample. */
void caml_collect_heap_stats_sample(
struct caml_heap_state* local,
struct heap_stats *sample);
/* Add the global orphaned heap stats into an accumulator. */
void caml_accum_orphan_heap_stats(struct heap_stats *acc);
uintnat caml_heap_size(struct caml_heap_state*);
uintnat caml_top_heap_words(struct caml_heap_state*);
uintnat caml_heap_blocks(struct caml_heap_state*);
void caml_compact_heap(caml_domain_state* domain_state,
int participating_count,
caml_domain_state** participants);
void caml_shared_unpin(value v);
/* always readable by all threads
written only by a single thread during STW periods */
typedef uintnat status;
struct global_heap_state {
status MARKED, UNMARKED, GARBAGE;
};
extern struct global_heap_state caml_global_heap_state;
/* CR mshinwell: ensure this matches [Emitaux] */
enum {NOT_MARKABLE = 3 << HEADER_COLOR_SHIFT};
Caml_inline int Has_status_hd(header_t hd, status s) {
return Color_hd(hd) == s;
}
Caml_inline int Has_status_val(value v, status s) {
return Has_status_hd(Hd_val(v), s);
}
Caml_inline header_t With_status_hd(header_t hd, status s) {
return Hd_with_color(hd, s);
}
Caml_inline int is_garbage(value v) {
return Has_status_val(v, caml_global_heap_state.GARBAGE);
}
Caml_inline int is_unmarked(value v) {
return Has_status_val(v, caml_global_heap_state.UNMARKED);
}
Caml_inline int is_marked(value v) {
return Has_status_val(v, caml_global_heap_state.MARKED);
}
Caml_inline int is_not_markable(value v) {
return Has_status_val(v, NOT_MARKABLE);
}
void caml_redarken_pool(struct pool*, scanning_action, void*);
intnat caml_sweep(struct caml_heap_state*, intnat);
void caml_cycle_heap_from_stw_single(void);
/* must be called on each domain
(after caml_cycle_heap_from_stw_single) */
void caml_cycle_heap(struct caml_heap_state*);
/* Heap invariant verification (for debugging) */
void caml_verify_heap_from_stw(caml_domain_state *domain);
#ifdef DEBUG
/* [is_garbage(v)] returns true if [v] is a garbage value */
int is_garbage (value);
#endif
#endif /* CAML_INTERNALS */
#endif /* CAML_SHARED_HEAP_H */
|
