2011-10-08 Paul Thomas <pault@gcc.gnu.org>
[official-gcc.git] / libgo / runtime / malloc.h
blob3e813bbde8c4aa433d70bf859ae1b81e361ac2b3
1 // Copyright 2009 The Go Authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style
3 // license that can be found in the LICENSE file.
5 // Memory allocator, based on tcmalloc.
6 // http://goog-perftools.sourceforge.net/doc/tcmalloc.html
8 // The main allocator works in runs of pages.
9 // Small allocation sizes (up to and including 32 kB) are
10 // rounded to one of about 100 size classes, each of which
11 // has its own free list of objects of exactly that size.
12 // Any free page of memory can be split into a set of objects
13 // of one size class, which are then managed using free list
14 // allocators.
16 // The allocator's data structures are:
18 // FixAlloc: a free-list allocator for fixed-size objects,
19 // used to manage storage used by the allocator.
20 // MHeap: the malloc heap, managed at page (4096-byte) granularity.
21 // MSpan: a run of pages managed by the MHeap.
22 // MCentral: a shared free list for a given size class.
23 // MCache: a per-thread (in Go, per-M) cache for small objects.
24 // MStats: allocation statistics.
26 // Allocating a small object proceeds up a hierarchy of caches:
28 // 1. Round the size up to one of the small size classes
29 // and look in the corresponding MCache free list.
30 // If the list is not empty, allocate an object from it.
31 // This can all be done without acquiring a lock.
33 // 2. If the MCache free list is empty, replenish it by
34 // taking a bunch of objects from the MCentral free list.
35 // Moving a bunch amortizes the cost of acquiring the MCentral lock.
37 // 3. If the MCentral free list is empty, replenish it by
38 // allocating a run of pages from the MHeap and then
39 // chopping that memory into a objects of the given size.
40 // Allocating many objects amortizes the cost of locking
41 // the heap.
43 // 4. If the MHeap is empty or has no page runs large enough,
44 // allocate a new group of pages (at least 1MB) from the
45 // operating system. Allocating a large run of pages
46 // amortizes the cost of talking to the operating system.
48 // Freeing a small object proceeds up the same hierarchy:
50 // 1. Look up the size class for the object and add it to
51 // the MCache free list.
53 // 2. If the MCache free list is too long or the MCache has
54 // too much memory, return some to the MCentral free lists.
56 // 3. If all the objects in a given span have returned to
57 // the MCentral list, return that span to the page heap.
59 // 4. If the heap has too much memory, return some to the
60 // operating system.
62 // TODO(rsc): Step 4 is not implemented.
64 // Allocating and freeing a large object uses the page heap
65 // directly, bypassing the MCache and MCentral free lists.
67 // The small objects on the MCache and MCentral free lists
68 // may or may not be zeroed. They are zeroed if and only if
69 // the second word of the object is zero. The spans in the
70 // page heap are always zeroed. When a span full of objects
71 // is returned to the page heap, the objects that need to be
72 // are zeroed first. There are two main benefits to delaying the
73 // zeroing this way:
75 // 1. stack frames allocated from the small object lists
76 // can avoid zeroing altogether.
77 // 2. the cost of zeroing when reusing a small object is
78 // charged to the mutator, not the garbage collector.
80 // This C code was written with an eye toward translating to Go
81 // in the future. Methods have the form Type_Method(Type *t, ...).
83 typedef struct MCentral MCentral;
84 typedef struct MHeap MHeap;
85 typedef struct MSpan MSpan;
86 typedef struct MStats MStats;
87 typedef struct MLink MLink;
89 enum
91 PageShift = 12,
92 PageSize = 1<<PageShift,
93 PageMask = PageSize - 1,
95 typedef uintptr PageID; // address >> PageShift
97 enum
99 // Computed constant. The definition of MaxSmallSize and the
100 // algorithm in msize.c produce some number of different allocation
101 // size classes. NumSizeClasses is that number. It's needed here
102 // because there are static arrays of this length; when msize runs its
103 // size choosing algorithm it double-checks that NumSizeClasses agrees.
104 NumSizeClasses = 61,
106 // Tunable constants.
107 MaxSmallSize = 32<<10,
109 FixAllocChunk = 128<<10, // Chunk size for FixAlloc
110 MaxMCacheListLen = 256, // Maximum objects on MCacheList
111 MaxMCacheSize = 2<<20, // Maximum bytes in one MCache
112 MaxMHeapList = 1<<(20 - PageShift), // Maximum page length for fixed-size list in MHeap.
113 HeapAllocChunk = 1<<20, // Chunk size for heap growth
115 // Number of bits in page to span calculations (4k pages).
116 // On 64-bit, we limit the arena to 16G, so 22 bits suffices.
117 // On 32-bit, we don't bother limiting anything: 20 bits for 4G.
118 #if __SIZEOF_POINTER__ == 8
119 MHeapMap_Bits = 22,
120 #else
121 MHeapMap_Bits = 20,
122 #endif
125 // A generic linked list of blocks. (Typically the block is bigger than sizeof(MLink).)
126 struct MLink
128 MLink *next;
131 // SysAlloc obtains a large chunk of zeroed memory from the
132 // operating system, typically on the order of a hundred kilobytes
133 // or a megabyte. If the pointer argument is non-nil, the caller
134 // wants a mapping there or nowhere.
136 // SysUnused notifies the operating system that the contents
137 // of the memory region are no longer needed and can be reused
138 // for other purposes. The program reserves the right to start
139 // accessing those pages in the future.
141 // SysFree returns it unconditionally; this is only used if
142 // an out-of-memory error has been detected midway through
143 // an allocation. It is okay if SysFree is a no-op.
145 // SysReserve reserves address space without allocating memory.
146 // If the pointer passed to it is non-nil, the caller wants the
147 // reservation there, but SysReserve can still choose another
148 // location if that one is unavailable.
150 // SysMap maps previously reserved address space for use.
152 void* runtime_SysAlloc(uintptr nbytes);
153 void runtime_SysFree(void *v, uintptr nbytes);
154 void runtime_SysUnused(void *v, uintptr nbytes);
155 void runtime_SysMap(void *v, uintptr nbytes);
156 void* runtime_SysReserve(void *v, uintptr nbytes);
158 // FixAlloc is a simple free-list allocator for fixed size objects.
159 // Malloc uses a FixAlloc wrapped around SysAlloc to manages its
160 // MCache and MSpan objects.
162 // Memory returned by FixAlloc_Alloc is not zeroed.
163 // The caller is responsible for locking around FixAlloc calls.
164 // Callers can keep state in the object but the first word is
165 // smashed by freeing and reallocating.
166 struct FixAlloc
168 uintptr size;
169 void *(*alloc)(uintptr);
170 void (*first)(void *arg, byte *p); // called first time p is returned
171 void *arg;
172 MLink *list;
173 byte *chunk;
174 uint32 nchunk;
175 uintptr inuse; // in-use bytes now
176 uintptr sys; // bytes obtained from system
179 void runtime_FixAlloc_Init(FixAlloc *f, uintptr size, void *(*alloc)(uintptr), void (*first)(void*, byte*), void *arg);
180 void* runtime_FixAlloc_Alloc(FixAlloc *f);
181 void runtime_FixAlloc_Free(FixAlloc *f, void *p);
184 // Statistics.
185 // Shared with Go: if you edit this structure, also edit extern.go.
186 struct MStats
188 // General statistics.
189 uint64 alloc; // bytes allocated and still in use
190 uint64 total_alloc; // bytes allocated (even if freed)
191 uint64 sys; // bytes obtained from system (should be sum of xxx_sys below, no locking, approximate)
192 uint64 nlookup; // number of pointer lookups
193 uint64 nmalloc; // number of mallocs
194 uint64 nfree; // number of frees
196 // Statistics about malloc heap.
197 // protected by mheap.Lock
198 uint64 heap_alloc; // bytes allocated and still in use
199 uint64 heap_sys; // bytes obtained from system
200 uint64 heap_idle; // bytes in idle spans
201 uint64 heap_inuse; // bytes in non-idle spans
202 uint64 heap_objects; // total number of allocated objects
204 // Statistics about allocation of low-level fixed-size structures.
205 // Protected by FixAlloc locks.
206 uint64 stacks_inuse; // bootstrap stacks
207 uint64 stacks_sys;
208 uint64 mspan_inuse; // MSpan structures
209 uint64 mspan_sys;
210 uint64 mcache_inuse; // MCache structures
211 uint64 mcache_sys;
212 uint64 buckhash_sys; // profiling bucket hash table
214 // Statistics about garbage collector.
215 // Protected by stopping the world during GC.
216 uint64 next_gc; // next GC (in heap_alloc time)
217 uint64 pause_total_ns;
218 uint64 pause_ns[256];
219 uint32 numgc;
220 bool enablegc;
221 bool debuggc;
223 // Statistics about allocation size classes.
224 struct {
225 uint32 size;
226 uint64 nmalloc;
227 uint64 nfree;
228 } by_size[NumSizeClasses];
231 extern MStats mstats
232 __asm__ ("libgo_runtime.runtime.MemStats");
235 // Size classes. Computed and initialized by InitSizes.
237 // SizeToClass(0 <= n <= MaxSmallSize) returns the size class,
238 // 1 <= sizeclass < NumSizeClasses, for n.
239 // Size class 0 is reserved to mean "not small".
241 // class_to_size[i] = largest size in class i
242 // class_to_allocnpages[i] = number of pages to allocate when
243 // making new objects in class i
244 // class_to_transfercount[i] = number of objects to move when
245 // taking a bunch of objects out of the central lists
246 // and putting them in the thread free list.
248 int32 runtime_SizeToClass(int32);
249 extern int32 runtime_class_to_size[NumSizeClasses];
250 extern int32 runtime_class_to_allocnpages[NumSizeClasses];
251 extern int32 runtime_class_to_transfercount[NumSizeClasses];
252 extern void runtime_InitSizes(void);
255 // Per-thread (in Go, per-M) cache for small objects.
256 // No locking needed because it is per-thread (per-M).
257 typedef struct MCacheList MCacheList;
258 struct MCacheList
260 MLink *list;
261 uint32 nlist;
262 uint32 nlistmin;
265 struct MCache
267 MCacheList list[NumSizeClasses];
268 uint64 size;
269 int64 local_cachealloc; // bytes allocated (or freed) from cache since last lock of heap
270 int64 local_objects; // objects allocated (or freed) from cache since last lock of heap
271 int64 local_alloc; // bytes allocated (or freed) since last lock of heap
272 int64 local_total_alloc; // bytes allocated (even if freed) since last lock of heap
273 int64 local_nmalloc; // number of mallocs since last lock of heap
274 int64 local_nfree; // number of frees since last lock of heap
275 int64 local_nlookup; // number of pointer lookups since last lock of heap
276 int32 next_sample; // trigger heap sample after allocating this many bytes
277 // Statistics about allocation size classes since last lock of heap
278 struct {
279 int64 nmalloc;
280 int64 nfree;
281 } local_by_size[NumSizeClasses];
285 void* runtime_MCache_Alloc(MCache *c, int32 sizeclass, uintptr size, int32 zeroed);
286 void runtime_MCache_Free(MCache *c, void *p, int32 sizeclass, uintptr size);
287 void runtime_MCache_ReleaseAll(MCache *c);
289 // An MSpan is a run of pages.
290 enum
292 MSpanInUse = 0,
293 MSpanFree,
294 MSpanListHead,
295 MSpanDead,
297 struct MSpan
299 MSpan *next; // in a span linked list
300 MSpan *prev; // in a span linked list
301 MSpan *allnext; // in the list of all spans
302 PageID start; // starting page number
303 uintptr npages; // number of pages in span
304 MLink *freelist; // list of free objects
305 uint32 ref; // number of allocated objects in this span
306 uint32 sizeclass; // size class
307 uint32 state; // MSpanInUse etc
308 byte *limit; // end of data in span
311 void runtime_MSpan_Init(MSpan *span, PageID start, uintptr npages);
313 // Every MSpan is in one doubly-linked list,
314 // either one of the MHeap's free lists or one of the
315 // MCentral's span lists. We use empty MSpan structures as list heads.
316 void runtime_MSpanList_Init(MSpan *list);
317 bool runtime_MSpanList_IsEmpty(MSpan *list);
318 void runtime_MSpanList_Insert(MSpan *list, MSpan *span);
319 void runtime_MSpanList_Remove(MSpan *span); // from whatever list it is in
322 // Central list of free objects of a given size.
323 struct MCentral
325 Lock;
326 int32 sizeclass;
327 MSpan nonempty;
328 MSpan empty;
329 int32 nfree;
332 void runtime_MCentral_Init(MCentral *c, int32 sizeclass);
333 int32 runtime_MCentral_AllocList(MCentral *c, int32 n, MLink **first);
334 void runtime_MCentral_FreeList(MCentral *c, int32 n, MLink *first);
336 // Main malloc heap.
337 // The heap itself is the "free[]" and "large" arrays,
338 // but all the other global data is here too.
339 struct MHeap
341 Lock;
342 MSpan free[MaxMHeapList]; // free lists of given length
343 MSpan large; // free lists length >= MaxMHeapList
344 MSpan *allspans;
346 // span lookup
347 MSpan *map[1<<MHeapMap_Bits];
349 // range of addresses we might see in the heap
350 byte *bitmap;
351 uintptr bitmap_mapped;
352 byte *arena_start;
353 byte *arena_used;
354 byte *arena_end;
356 // central free lists for small size classes.
357 // the union makes sure that the MCentrals are
358 // spaced 64 bytes apart, so that each MCentral.Lock
359 // gets its own cache line.
360 union {
361 MCentral;
362 byte pad[64];
363 } central[NumSizeClasses];
365 FixAlloc spanalloc; // allocator for Span*
366 FixAlloc cachealloc; // allocator for MCache*
368 extern MHeap runtime_mheap;
370 void runtime_MHeap_Init(MHeap *h, void *(*allocator)(uintptr));
371 MSpan* runtime_MHeap_Alloc(MHeap *h, uintptr npage, int32 sizeclass, int32 acct);
372 void runtime_MHeap_Free(MHeap *h, MSpan *s, int32 acct);
373 MSpan* runtime_MHeap_Lookup(MHeap *h, void *v);
374 MSpan* runtime_MHeap_LookupMaybe(MHeap *h, void *v);
375 void runtime_MGetSizeClassInfo(int32 sizeclass, uintptr *size, int32 *npages, int32 *nobj);
376 void* runtime_MHeap_SysAlloc(MHeap *h, uintptr n);
377 void runtime_MHeap_MapBits(MHeap *h);
379 void* runtime_mallocgc(uintptr size, uint32 flag, int32 dogc, int32 zeroed);
380 int32 runtime_mlookup(void *v, byte **base, uintptr *size, MSpan **s);
381 void runtime_gc(int32 force);
382 void runtime_markallocated(void *v, uintptr n, bool noptr);
383 void runtime_checkallocated(void *v, uintptr n);
384 void runtime_markfreed(void *v, uintptr n);
385 void runtime_checkfreed(void *v, uintptr n);
386 int32 runtime_checking;
387 void runtime_markspan(void *v, uintptr size, uintptr n, bool leftover);
388 void runtime_unmarkspan(void *v, uintptr size);
389 bool runtime_blockspecial(void*);
390 void runtime_setblockspecial(void*);
391 void runtime_purgecachedstats(M*);
393 enum
395 // flags to malloc
396 FlagNoPointers = 1<<0, // no pointers here
397 FlagNoProfiling = 1<<1, // must not profile
398 FlagNoGC = 1<<2, // must not free or scan for pointers
401 void runtime_Mprof_Init(void);
402 void runtime_MProf_Malloc(void*, uintptr);
403 void runtime_MProf_Free(void*, uintptr);
404 void runtime_MProf_Mark(void (*scan)(byte *, int64));
406 // Malloc profiling settings.
407 // Must match definition in extern.go.
408 enum {
409 MProf_None = 0,
410 MProf_Sample = 1,
411 MProf_All = 2,
413 extern int32 runtime_malloc_profile;
415 typedef struct Finalizer Finalizer;
416 struct Finalizer
418 Finalizer *next; // for use by caller of getfinalizer
419 void (*fn)(void*);
420 void *arg;
421 const struct __go_func_type *ft;
424 Finalizer* runtime_getfinalizer(void*, bool);