blob: 5ddcbdcdc2c78d45d3993945cdbbb6dd4c244874 (
plain)
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
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
|
/* -----------------------------------------------------------------------------
*
* (c) The GHC Team, 1998-2009
*
* External Storage Manger Interface
*
* ---------------------------------------------------------------------------*/
#ifndef SM_STORAGE_H
#define SM_STORAGE_H
BEGIN_RTS_PRIVATE
/* -----------------------------------------------------------------------------
Initialisation / De-initialisation
-------------------------------------------------------------------------- */
void initStorage(void);
void exitStorage(void);
void freeStorage(void);
/* -----------------------------------------------------------------------------
Storage manager state
-------------------------------------------------------------------------- */
extern bdescr * pinned_object_block;
INLINE_HEADER rtsBool
doYouWantToGC( void )
{
return (alloc_blocks >= alloc_blocks_lim);
}
/* for splitting blocks groups in two */
bdescr * splitLargeBlock (bdescr *bd, nat blocks);
/* -----------------------------------------------------------------------------
Generational garbage collection support
recordMutable(StgPtr p) Informs the garbage collector that a
previously immutable object has
become (permanently) mutable. Used
by thawArray and similar.
updateWithIndirection(p1,p2) Updates the object at p1 with an
indirection pointing to p2. This is
normally called for objects in an old
generation (>0) when they are updated.
updateWithPermIndirection(p1,p2) As above but uses a permanent indir.
-------------------------------------------------------------------------- */
/*
* Storage manager mutex
*/
#if defined(THREADED_RTS)
extern Mutex sm_mutex;
#endif
#if defined(THREADED_RTS)
#define ACQUIRE_SM_LOCK ACQUIRE_LOCK(&sm_mutex);
#define RELEASE_SM_LOCK RELEASE_LOCK(&sm_mutex);
#define ASSERT_SM_LOCK() ASSERT_LOCK_HELD(&sm_mutex);
#else
#define ACQUIRE_SM_LOCK
#define RELEASE_SM_LOCK
#define ASSERT_SM_LOCK()
#endif
INLINE_HEADER void
recordMutableGen(StgClosure *p, nat gen_no)
{
bdescr *bd;
bd = generations[gen_no].mut_list;
if (bd->free >= bd->start + BLOCK_SIZE_W) {
bdescr *new_bd;
new_bd = allocBlock();
new_bd->link = bd;
bd = new_bd;
generations[gen_no].mut_list = bd;
}
*bd->free++ = (StgWord)p;
}
INLINE_HEADER void
recordMutableGenLock(StgClosure *p, nat gen_no)
{
ACQUIRE_SM_LOCK;
recordMutableGen(p,gen_no);
RELEASE_SM_LOCK;
}
INLINE_HEADER void
recordMutable(StgClosure *p)
{
bdescr *bd;
ASSERT(closure_MUTABLE(p));
bd = Bdescr((P_)p);
if (bd->gen_no > 0) recordMutableGen(p, bd->gen_no);
}
INLINE_HEADER void
recordMutableLock(StgClosure *p)
{
ACQUIRE_SM_LOCK;
recordMutable(p);
RELEASE_SM_LOCK;
}
/* -----------------------------------------------------------------------------
The write barrier for MVARs
-------------------------------------------------------------------------- */
void dirty_MVAR(StgRegTable *reg, StgClosure *p);
/* -----------------------------------------------------------------------------
Nursery manipulation
-------------------------------------------------------------------------- */
void resetNurseries ( void );
void resizeNurseries ( nat blocks );
void resizeNurseriesFixed ( nat blocks );
lnat countNurseryBlocks ( void );
/* -----------------------------------------------------------------------------
Stats 'n' DEBUG stuff
-------------------------------------------------------------------------- */
extern ullong total_allocated;
lnat calcAllocated (void);
lnat calcLiveBlocks (void);
lnat calcLiveWords (void);
lnat countOccupied (bdescr *bd);
lnat calcNeeded (void);
HsInt64 getAllocations (void);
#if defined(DEBUG)
void memInventory (rtsBool show);
void checkSanity (void);
nat countBlocks (bdescr *);
void checkNurserySanity (step *stp);
#endif
/* ----------------------------------------------------------------------------
Storage manager internal APIs and globals
------------------------------------------------------------------------- */
#define END_OF_STATIC_LIST ((StgClosure*)1)
void move_TSO (StgTSO *src, StgTSO *dest);
extern StgClosure * caf_list;
extern StgClosure * revertible_caf_list;
END_RTS_PRIVATE
#endif /* SM_STORAGE_H */
|
