blob: b87a32ce0910c530bad3827aacad948ab7dbda1c (
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
|
/* -----------------------------------------------------------------------------
*
* (c) The GHC Team, 1998-2009
*
* External Storage Manger Interface
*
* ---------------------------------------------------------------------------*/
#ifndef SM_STORAGE_H
#define SM_STORAGE_H
#include "Capability.h"
#include "BeginPrivate.h"
/* -----------------------------------------------------------------------------
Initialisation / De-initialisation
-------------------------------------------------------------------------- */
void initStorage(void);
void exitStorage(void);
void freeStorage(rtsBool free_heap);
// Adding more Capabilities later: this function allocates nurseries
// and initialises other storage-related things.
void storageAddCapabilities (nat from, nat to);
/* -----------------------------------------------------------------------------
Storage manager state
-------------------------------------------------------------------------- */
INLINE_HEADER rtsBool
doYouWantToGC( Capability *cap )
{
return (cap->r.rCurrentNursery->link == NULL ||
g0->n_new_large_words >= large_alloc_lim);
}
/* for splitting blocks groups in two */
bdescr * splitLargeBlock (bdescr *bd, nat blocks);
/* -----------------------------------------------------------------------------
Generational garbage collection support
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
/* -----------------------------------------------------------------------------
The write barrier for MVARs
-------------------------------------------------------------------------- */
void dirty_MVAR(StgRegTable *reg, StgClosure *p);
/* -----------------------------------------------------------------------------
Nursery manipulation
-------------------------------------------------------------------------- */
extern nursery *nurseries;
void resetNurseries ( void );
lnat clearNursery ( Capability *cap );
void resizeNurseries ( nat blocks );
void resizeNurseriesFixed ( nat blocks );
lnat countNurseryBlocks ( void );
/* -----------------------------------------------------------------------------
Stats 'n' DEBUG stuff
-------------------------------------------------------------------------- */
lnat updateNurseriesStats (void);
lnat countLargeAllocated (void);
lnat countOccupied (bdescr *bd);
lnat calcNeeded (rtsBool force_major, lnat *blocks_needed);
lnat gcThreadLiveWords (nat i, nat g);
lnat gcThreadLiveBlocks (nat i, nat g);
lnat genLiveWords (generation *gen);
lnat genLiveBlocks (generation *gen);
lnat calcLiveBlocks (void);
lnat calcLiveWords (void);
/* ----------------------------------------------------------------------------
Storage manager internal APIs and globals
------------------------------------------------------------------------- */
extern bdescr *exec_block;
#define END_OF_STATIC_LIST ((StgClosure*)1)
void move_STACK (StgStack *src, StgStack *dest);
extern StgClosure * caf_list;
extern StgClosure * revertible_caf_list;
#include "EndPrivate.h"
#endif /* SM_STORAGE_H */
|
