2008-12-18 15:42:28 -08:00
|
|
|
// Copyright 2009 The Go Authors. All rights reserved.
|
|
|
|
|
// Use of this source code is governed by a BSD-style
|
|
|
|
|
// license that can be found in the LICENSE file.
|
|
|
|
|
|
|
|
|
|
// See malloc.h for overview.
|
|
|
|
|
//
|
|
|
|
|
// TODO(rsc): double-check stats.
|
|
|
|
|
|
|
|
|
|
#include "runtime.h"
|
2011-12-16 15:33:58 -05:00
|
|
|
#include "arch_GOARCH.h"
|
2008-12-18 15:42:28 -08:00
|
|
|
#include "malloc.h"
|
2010-02-03 16:31:34 -08:00
|
|
|
#include "type.h"
|
2012-06-06 17:20:02 -04:00
|
|
|
#include "typekind.h"
|
2012-10-07 22:05:32 +04:00
|
|
|
#include "race.h"
|
2013-07-17 12:52:37 -04:00
|
|
|
#include "stack.h"
|
2013-08-12 13:47:18 -07:00
|
|
|
#include "../../cmd/ld/textflag.h"
|
2008-12-18 15:42:28 -08:00
|
|
|
|
2013-07-19 17:47:40 +04:00
|
|
|
// Mark mheap as 'no pointers', it does not contain interesting pointers but occupies ~45K.
|
2013-08-29 12:36:59 -07:00
|
|
|
#pragma dataflag NOPTR
|
2013-05-28 22:14:47 +04:00
|
|
|
MHeap runtime·mheap;
|
2014-05-31 19:21:17 -04:00
|
|
|
#pragma dataflag NOPTR
|
2014-07-30 09:01:52 -07:00
|
|
|
MStats runtime·memstats;
|
2012-02-21 22:08:42 -05:00
|
|
|
|
2014-07-30 17:08:33 -07:00
|
|
|
void runtime·cmallocgc(uintptr size, Type *typ, uint32 flag, void **ret);
|
2008-12-18 15:42:28 -08:00
|
|
|
|
|
|
|
|
void*
|
2014-07-29 11:01:02 +04:00
|
|
|
runtime·mallocgc(uintptr size, Type *typ, uint32 flag)
|
2008-12-18 15:42:28 -08:00
|
|
|
{
|
2014-07-30 09:01:52 -07:00
|
|
|
void *ret;
|
2014-02-12 22:36:45 +04:00
|
|
|
|
2014-07-30 09:01:52 -07:00
|
|
|
// Call into the Go version of mallocgc.
|
|
|
|
|
// TODO: maybe someday we can get rid of this. It is
|
|
|
|
|
// probably the only location where we run Go code on the M stack.
|
|
|
|
|
runtime·cmallocgc(size, typ, flag, &ret);
|
|
|
|
|
return ret;
|
2014-02-12 22:36:45 +04:00
|
|
|
}
|
|
|
|
|
|
2009-01-26 17:37:05 -08:00
|
|
|
void*
|
runtime: ,s/[a-zA-Z0-9_]+/runtime·&/g, almost
Prefix all external symbols in runtime by runtime·,
to avoid conflicts with possible symbols of the same
name in linked-in C libraries. The obvious conflicts
are printf, malloc, and free, but hide everything to
avoid future pain.
The symbols left alone are:
** known to cgo **
_cgo_free
_cgo_malloc
libcgo_thread_start
initcgo
ncgocall
** known to linker **
_rt0_$GOARCH
_rt0_$GOARCH_$GOOS
text
etext
data
end
pclntab
epclntab
symtab
esymtab
** known to C compiler **
_divv
_modv
_div64by32
etc (arch specific)
Tested on darwin/386, darwin/amd64, linux/386, linux/amd64.
Built (but not tested) for freebsd/386, freebsd/amd64, linux/arm, windows/386.
R=r, PeterGo
CC=golang-dev
https://golang.org/cl/2899041
2010-11-04 14:00:19 -04:00
|
|
|
runtime·malloc(uintptr size)
|
2009-01-26 17:37:05 -08:00
|
|
|
{
|
2014-07-29 11:01:02 +04:00
|
|
|
return runtime·mallocgc(size, nil, FlagNoInvokeGC);
|
2009-01-26 17:37:05 -08:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
int32
|
2011-02-02 23:03:47 -05:00
|
|
|
runtime·mlookup(void *v, byte **base, uintptr *size, MSpan **sp)
|
2008-12-19 03:13:39 -08:00
|
|
|
{
|
2011-02-02 23:03:47 -05:00
|
|
|
uintptr n, i;
|
2009-02-11 17:54:03 -08:00
|
|
|
byte *p;
|
2008-12-19 03:13:39 -08:00
|
|
|
MSpan *s;
|
|
|
|
|
|
all: remove 'extern register M *m' from runtime
The runtime has historically held two dedicated values g (current goroutine)
and m (current thread) in 'extern register' slots (TLS on x86, real registers
backed by TLS on ARM).
This CL removes the extern register m; code now uses g->m.
On ARM, this frees up the register that formerly held m (R9).
This is important for NaCl, because NaCl ARM code cannot use R9 at all.
The Go 1 macrobenchmarks (those with per-op times >= 10 µs) are unaffected:
BenchmarkBinaryTree17 5491374955 5471024381 -0.37%
BenchmarkFannkuch11 4357101311 4275174828 -1.88%
BenchmarkGobDecode 11029957 11364184 +3.03%
BenchmarkGobEncode 6852205 6784822 -0.98%
BenchmarkGzip 650795967 650152275 -0.10%
BenchmarkGunzip 140962363 141041670 +0.06%
BenchmarkHTTPClientServer 71581 73081 +2.10%
BenchmarkJSONEncode 31928079 31913356 -0.05%
BenchmarkJSONDecode 117470065 113689916 -3.22%
BenchmarkMandelbrot200 6008923 5998712 -0.17%
BenchmarkGoParse 6310917 6327487 +0.26%
BenchmarkRegexpMatchMedium_1K 114568 114763 +0.17%
BenchmarkRegexpMatchHard_1K 168977 169244 +0.16%
BenchmarkRevcomp 935294971 914060918 -2.27%
BenchmarkTemplate 145917123 148186096 +1.55%
Minux previous reported larger variations, but these were caused by
run-to-run noise, not repeatable slowdowns.
Actual code changes by Minux.
I only did the docs and the benchmarking.
LGTM=dvyukov, iant, minux
R=minux, josharian, iant, dave, bradfitz, dvyukov
CC=golang-codereviews
https://golang.org/cl/109050043
2014-06-26 11:54:39 -04:00
|
|
|
g->m->mcache->local_nlookup++;
|
|
|
|
|
if (sizeof(void*) == 4 && g->m->mcache->local_nlookup >= (1<<30)) {
|
2012-06-08 17:35:14 -04:00
|
|
|
// purge cache stats to prevent overflow
|
2013-05-28 22:14:47 +04:00
|
|
|
runtime·lock(&runtime·mheap);
|
all: remove 'extern register M *m' from runtime
The runtime has historically held two dedicated values g (current goroutine)
and m (current thread) in 'extern register' slots (TLS on x86, real registers
backed by TLS on ARM).
This CL removes the extern register m; code now uses g->m.
On ARM, this frees up the register that formerly held m (R9).
This is important for NaCl, because NaCl ARM code cannot use R9 at all.
The Go 1 macrobenchmarks (those with per-op times >= 10 µs) are unaffected:
BenchmarkBinaryTree17 5491374955 5471024381 -0.37%
BenchmarkFannkuch11 4357101311 4275174828 -1.88%
BenchmarkGobDecode 11029957 11364184 +3.03%
BenchmarkGobEncode 6852205 6784822 -0.98%
BenchmarkGzip 650795967 650152275 -0.10%
BenchmarkGunzip 140962363 141041670 +0.06%
BenchmarkHTTPClientServer 71581 73081 +2.10%
BenchmarkJSONEncode 31928079 31913356 -0.05%
BenchmarkJSONDecode 117470065 113689916 -3.22%
BenchmarkMandelbrot200 6008923 5998712 -0.17%
BenchmarkGoParse 6310917 6327487 +0.26%
BenchmarkRegexpMatchMedium_1K 114568 114763 +0.17%
BenchmarkRegexpMatchHard_1K 168977 169244 +0.16%
BenchmarkRevcomp 935294971 914060918 -2.27%
BenchmarkTemplate 145917123 148186096 +1.55%
Minux previous reported larger variations, but these were caused by
run-to-run noise, not repeatable slowdowns.
Actual code changes by Minux.
I only did the docs and the benchmarking.
LGTM=dvyukov, iant, minux
R=minux, josharian, iant, dave, bradfitz, dvyukov
CC=golang-codereviews
https://golang.org/cl/109050043
2014-06-26 11:54:39 -04:00
|
|
|
runtime·purgecachedstats(g->m->mcache);
|
2013-05-28 22:14:47 +04:00
|
|
|
runtime·unlock(&runtime·mheap);
|
2012-06-08 17:35:14 -04:00
|
|
|
}
|
|
|
|
|
|
2013-05-28 22:14:47 +04:00
|
|
|
s = runtime·MHeap_LookupMaybe(&runtime·mheap, v);
|
2010-02-10 21:23:08 -08:00
|
|
|
if(sp)
|
|
|
|
|
*sp = s;
|
2008-12-19 03:13:39 -08:00
|
|
|
if(s == nil) {
|
2009-01-26 17:37:05 -08:00
|
|
|
if(base)
|
|
|
|
|
*base = nil;
|
|
|
|
|
if(size)
|
|
|
|
|
*size = 0;
|
|
|
|
|
return 0;
|
2008-12-19 03:13:39 -08:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
p = (byte*)((uintptr)s->start<<PageShift);
|
|
|
|
|
if(s->sizeclass == 0) {
|
|
|
|
|
// Large object.
|
2009-01-26 17:37:05 -08:00
|
|
|
if(base)
|
|
|
|
|
*base = p;
|
|
|
|
|
if(size)
|
|
|
|
|
*size = s->npages<<PageShift;
|
|
|
|
|
return 1;
|
2008-12-19 03:13:39 -08:00
|
|
|
}
|
|
|
|
|
|
2012-09-24 20:08:05 -04:00
|
|
|
n = s->elemsize;
|
2011-07-18 14:52:57 -04:00
|
|
|
if(base) {
|
|
|
|
|
i = ((byte*)v - p)/n;
|
2009-01-26 17:37:05 -08:00
|
|
|
*base = p + i*n;
|
2011-07-18 14:52:57 -04:00
|
|
|
}
|
2009-01-26 17:37:05 -08:00
|
|
|
if(size)
|
|
|
|
|
*size = n;
|
2010-02-10 00:00:12 -08:00
|
|
|
|
2009-01-26 17:37:05 -08:00
|
|
|
return 1;
|
2008-12-19 03:13:39 -08:00
|
|
|
}
|
|
|
|
|
|
2012-07-01 13:10:01 +04:00
|
|
|
void
|
|
|
|
|
runtime·purgecachedstats(MCache *c)
|
|
|
|
|
{
|
2013-06-06 14:56:50 +04:00
|
|
|
MHeap *h;
|
2013-05-22 22:22:57 +04:00
|
|
|
int32 i;
|
|
|
|
|
|
2011-07-18 14:52:57 -04:00
|
|
|
// Protected by either heap or GC lock.
|
2013-06-06 14:56:50 +04:00
|
|
|
h = &runtime·mheap;
|
2011-07-18 14:52:57 -04:00
|
|
|
mstats.heap_alloc += c->local_cachealloc;
|
|
|
|
|
c->local_cachealloc = 0;
|
|
|
|
|
mstats.nlookup += c->local_nlookup;
|
|
|
|
|
c->local_nlookup = 0;
|
2013-06-06 14:56:50 +04:00
|
|
|
h->largefree += c->local_largefree;
|
|
|
|
|
c->local_largefree = 0;
|
|
|
|
|
h->nlargefree += c->local_nlargefree;
|
|
|
|
|
c->local_nlargefree = 0;
|
|
|
|
|
for(i=0; i<nelem(c->local_nsmallfree); i++) {
|
|
|
|
|
h->nsmallfree[i] += c->local_nsmallfree[i];
|
|
|
|
|
c->local_nsmallfree[i] = 0;
|
2013-05-22 22:22:57 +04:00
|
|
|
}
|
2011-07-18 14:52:57 -04:00
|
|
|
}
|
|
|
|
|
|
2014-01-30 13:28:19 +04:00
|
|
|
// Size of the trailing by_size array differs between Go and C,
|
|
|
|
|
// NumSizeClasses was changed, but we can not change Go struct because of backward compatibility.
|
|
|
|
|
// sizeof_C_MStats is what C thinks about size of Go struct.
|
|
|
|
|
uintptr runtime·sizeof_C_MStats = sizeof(MStats) - (NumSizeClasses - 61) * sizeof(mstats.by_size[0]);
|
2010-12-13 16:22:19 -05:00
|
|
|
|
2011-02-02 23:03:47 -05:00
|
|
|
#define MaxArena32 (2U<<30)
|
|
|
|
|
|
2014-07-30 09:01:52 -07:00
|
|
|
// For use by Go. It can't be a constant in Go, unfortunately,
|
|
|
|
|
// because it depends on the OS.
|
|
|
|
|
uintptr runtime·maxMem = MaxMem;
|
|
|
|
|
|
2008-12-18 15:42:28 -08:00
|
|
|
void
|
runtime: ,s/[a-zA-Z0-9_]+/runtime·&/g, almost
Prefix all external symbols in runtime by runtime·,
to avoid conflicts with possible symbols of the same
name in linked-in C libraries. The obvious conflicts
are printf, malloc, and free, but hide everything to
avoid future pain.
The symbols left alone are:
** known to cgo **
_cgo_free
_cgo_malloc
libcgo_thread_start
initcgo
ncgocall
** known to linker **
_rt0_$GOARCH
_rt0_$GOARCH_$GOOS
text
etext
data
end
pclntab
epclntab
symtab
esymtab
** known to C compiler **
_divv
_modv
_div64by32
etc (arch specific)
Tested on darwin/386, darwin/amd64, linux/386, linux/amd64.
Built (but not tested) for freebsd/386, freebsd/amd64, linux/arm, windows/386.
R=r, PeterGo
CC=golang-dev
https://golang.org/cl/2899041
2010-11-04 14:00:19 -04:00
|
|
|
runtime·mallocinit(void)
|
2008-12-18 15:42:28 -08:00
|
|
|
{
|
2014-03-06 18:34:29 -05:00
|
|
|
byte *p, *p1;
|
|
|
|
|
uintptr arena_size, bitmap_size, spans_size, p_size;
|
2011-02-02 23:03:47 -05:00
|
|
|
extern byte end[];
|
2012-02-24 15:28:51 -05:00
|
|
|
uintptr limit;
|
2013-06-12 18:47:16 +04:00
|
|
|
uint64 i;
|
2014-03-25 13:22:19 -07:00
|
|
|
bool reserved;
|
2011-01-28 15:03:26 -05:00
|
|
|
|
2012-02-09 09:25:10 +11:00
|
|
|
p = nil;
|
2014-03-06 18:34:29 -05:00
|
|
|
p_size = 0;
|
2012-02-09 16:48:52 +11:00
|
|
|
arena_size = 0;
|
|
|
|
|
bitmap_size = 0;
|
2013-05-28 22:04:34 +04:00
|
|
|
spans_size = 0;
|
2014-03-25 13:22:19 -07:00
|
|
|
reserved = false;
|
2013-05-28 22:04:34 +04:00
|
|
|
|
2012-02-09 16:48:52 +11:00
|
|
|
// for 64-bit build
|
|
|
|
|
USED(p);
|
2014-03-06 18:34:29 -05:00
|
|
|
USED(p_size);
|
2012-02-09 16:48:52 +11:00
|
|
|
USED(arena_size);
|
|
|
|
|
USED(bitmap_size);
|
2013-05-28 22:04:34 +04:00
|
|
|
USED(spans_size);
|
2012-02-09 09:25:10 +11:00
|
|
|
|
runtime: ,s/[a-zA-Z0-9_]+/runtime·&/g, almost
Prefix all external symbols in runtime by runtime·,
to avoid conflicts with possible symbols of the same
name in linked-in C libraries. The obvious conflicts
are printf, malloc, and free, but hide everything to
avoid future pain.
The symbols left alone are:
** known to cgo **
_cgo_free
_cgo_malloc
libcgo_thread_start
initcgo
ncgocall
** known to linker **
_rt0_$GOARCH
_rt0_$GOARCH_$GOOS
text
etext
data
end
pclntab
epclntab
symtab
esymtab
** known to C compiler **
_divv
_modv
_div64by32
etc (arch specific)
Tested on darwin/386, darwin/amd64, linux/386, linux/amd64.
Built (but not tested) for freebsd/386, freebsd/amd64, linux/arm, windows/386.
R=r, PeterGo
CC=golang-dev
https://golang.org/cl/2899041
2010-11-04 14:00:19 -04:00
|
|
|
runtime·InitSizes();
|
2011-01-28 15:03:26 -05:00
|
|
|
|
2014-01-24 22:35:11 +04:00
|
|
|
if(runtime·class_to_size[TinySizeClass] != TinySize)
|
|
|
|
|
runtime·throw("bad TinySizeClass");
|
|
|
|
|
|
2013-03-26 14:01:12 -07:00
|
|
|
// limit = runtime·memlimit();
|
|
|
|
|
// See https://code.google.com/p/go/issues/detail?id=5049
|
|
|
|
|
// TODO(rsc): Fix after 1.1.
|
|
|
|
|
limit = 0;
|
2012-02-24 15:28:51 -05:00
|
|
|
|
2011-02-02 23:03:47 -05:00
|
|
|
// Set up the allocation arena, a contiguous area of memory where
|
|
|
|
|
// allocated data will be found. The arena begins with a bitmap large
|
|
|
|
|
// enough to hold 4 bits per allocated word.
|
2012-02-24 15:28:51 -05:00
|
|
|
if(sizeof(void*) == 8 && (limit == 0 || limit > (1<<30))) {
|
2011-01-28 15:03:26 -05:00
|
|
|
// On a 64-bit machine, allocate from a single contiguous reservation.
|
2012-11-13 12:45:08 -05:00
|
|
|
// 128 GB (MaxMem) should be big enough for now.
|
2011-01-28 15:03:26 -05:00
|
|
|
//
|
|
|
|
|
// The code will work with the reservation at any address, but ask
|
2013-06-12 18:47:16 +04:00
|
|
|
// SysReserve to use 0x0000XXc000000000 if possible (XX=00...7f).
|
2012-11-13 12:45:08 -05:00
|
|
|
// Allocating a 128 GB region takes away 37 bits, and the amd64
|
2011-01-28 15:03:26 -05:00
|
|
|
// doesn't let us choose the top 17 bits, so that leaves the 11 bits
|
2012-11-13 12:45:08 -05:00
|
|
|
// in the middle of 0x00c0 for us to choose. Choosing 0x00c0 means
|
2013-06-12 18:47:16 +04:00
|
|
|
// that the valid memory addresses will begin 0x00c0, 0x00c1, ..., 0x00df.
|
2012-11-13 12:45:08 -05:00
|
|
|
// In little-endian, that's c0 00, c1 00, ..., df 00. None of those are valid
|
|
|
|
|
// UTF-8 sequences, and they are otherwise as far away from
|
2013-06-12 18:47:16 +04:00
|
|
|
// ff (likely a common byte) as possible. If that fails, we try other 0xXXc0
|
|
|
|
|
// addresses. An earlier attempt to use 0x11f8 caused out of memory errors
|
|
|
|
|
// on OS X during thread allocations. 0x00c0 causes conflicts with
|
|
|
|
|
// AddressSanitizer which reserves all memory up to 0x0100.
|
2011-01-28 15:03:26 -05:00
|
|
|
// These choices are both for debuggability and to reduce the
|
|
|
|
|
// odds of the conservative garbage collector not collecting memory
|
|
|
|
|
// because some non-pointer block of memory had a bit pattern
|
|
|
|
|
// that matched a memory address.
|
2011-02-02 23:03:47 -05:00
|
|
|
//
|
2012-11-13 12:45:08 -05:00
|
|
|
// Actually we reserve 136 GB (because the bitmap ends up being 8 GB)
|
|
|
|
|
// but it hardly matters: e0 00 is not valid UTF-8 either.
|
2012-02-08 14:39:16 -05:00
|
|
|
//
|
|
|
|
|
// If this fails we fall back to the 32 bit memory mechanism
|
2012-11-13 12:45:08 -05:00
|
|
|
arena_size = MaxMem;
|
2011-02-02 23:03:47 -05:00
|
|
|
bitmap_size = arena_size / (sizeof(void*)*8/4);
|
2013-05-30 17:09:58 +04:00
|
|
|
spans_size = arena_size / PageSize * sizeof(runtime·mheap.spans[0]);
|
2013-06-13 16:02:50 +04:00
|
|
|
spans_size = ROUND(spans_size, PageSize);
|
2013-06-12 18:47:16 +04:00
|
|
|
for(i = 0; i <= 0x7f; i++) {
|
|
|
|
|
p = (void*)(i<<40 | 0x00c0ULL<<32);
|
2014-03-06 18:34:29 -05:00
|
|
|
p_size = bitmap_size + spans_size + arena_size + PageSize;
|
2014-03-25 13:22:19 -07:00
|
|
|
p = runtime·SysReserve(p, p_size, &reserved);
|
2013-06-12 18:47:16 +04:00
|
|
|
if(p != nil)
|
|
|
|
|
break;
|
|
|
|
|
}
|
2012-02-08 14:39:16 -05:00
|
|
|
}
|
|
|
|
|
if (p == nil) {
|
2011-02-02 23:03:47 -05:00
|
|
|
// On a 32-bit machine, we can't typically get away
|
|
|
|
|
// with a giant virtual address space reservation.
|
|
|
|
|
// Instead we map the memory information bitmap
|
|
|
|
|
// immediately after the data segment, large enough
|
|
|
|
|
// to handle another 2GB of mappings (256 MB),
|
|
|
|
|
// along with a reservation for another 512 MB of memory.
|
|
|
|
|
// When that gets used up, we'll start asking the kernel
|
|
|
|
|
// for any memory anywhere and hope it's in the 2GB
|
|
|
|
|
// following the bitmap (presumably the executable begins
|
|
|
|
|
// near the bottom of memory, so we'll have to use up
|
|
|
|
|
// most of memory before the kernel resorts to giving out
|
|
|
|
|
// memory before the beginning of the text segment).
|
|
|
|
|
//
|
|
|
|
|
// Alternatively we could reserve 512 MB bitmap, enough
|
|
|
|
|
// for 4GB of mappings, and then accept any memory the
|
|
|
|
|
// kernel threw at us, but normally that's a waste of 512 MB
|
|
|
|
|
// of address space, which is probably too much in a 32-bit world.
|
|
|
|
|
bitmap_size = MaxArena32 / (sizeof(void*)*8/4);
|
|
|
|
|
arena_size = 512<<20;
|
2013-05-30 17:09:58 +04:00
|
|
|
spans_size = MaxArena32 / PageSize * sizeof(runtime·mheap.spans[0]);
|
2013-05-28 22:04:34 +04:00
|
|
|
if(limit > 0 && arena_size+bitmap_size+spans_size > limit) {
|
2012-02-24 15:28:51 -05:00
|
|
|
bitmap_size = (limit / 9) & ~((1<<PageShift) - 1);
|
|
|
|
|
arena_size = bitmap_size * 8;
|
2013-05-30 17:09:58 +04:00
|
|
|
spans_size = arena_size / PageSize * sizeof(runtime·mheap.spans[0]);
|
2012-02-24 15:28:51 -05:00
|
|
|
}
|
2013-06-13 16:02:50 +04:00
|
|
|
spans_size = ROUND(spans_size, PageSize);
|
2013-05-28 22:04:34 +04:00
|
|
|
|
2011-02-09 15:08:30 -05:00
|
|
|
// SysReserve treats the address we ask for, end, as a hint,
|
|
|
|
|
// not as an absolute requirement. If we ask for the end
|
|
|
|
|
// of the data segment but the operating system requires
|
|
|
|
|
// a little more space before we can start allocating, it will
|
2011-08-31 07:02:46 -04:00
|
|
|
// give out a slightly higher pointer. Except QEMU, which
|
|
|
|
|
// is buggy, as usual: it won't adjust the pointer upward.
|
|
|
|
|
// So adjust it upward a little bit ourselves: 1/4 MB to get
|
|
|
|
|
// away from the running binary image and then round up
|
|
|
|
|
// to a MB boundary.
|
2014-01-29 18:18:46 +04:00
|
|
|
p = (byte*)ROUND((uintptr)end + (1<<18), 1<<20);
|
2014-03-06 18:34:29 -05:00
|
|
|
p_size = bitmap_size + spans_size + arena_size + PageSize;
|
2014-03-25 13:22:19 -07:00
|
|
|
p = runtime·SysReserve(p, p_size, &reserved);
|
2011-02-09 15:08:30 -05:00
|
|
|
if(p == nil)
|
|
|
|
|
runtime·throw("runtime: cannot reserve arena virtual address space");
|
2011-01-28 15:03:26 -05:00
|
|
|
}
|
2014-01-29 18:18:46 +04:00
|
|
|
|
|
|
|
|
// PageSize can be larger than OS definition of page size,
|
|
|
|
|
// so SysReserve can give us a PageSize-unaligned pointer.
|
|
|
|
|
// To overcome this we ask for PageSize more and round up the pointer.
|
2014-03-06 18:34:29 -05:00
|
|
|
p1 = (byte*)ROUND((uintptr)p, PageSize);
|
2011-02-11 14:32:34 -05:00
|
|
|
|
2014-03-06 18:34:29 -05:00
|
|
|
runtime·mheap.spans = (MSpan**)p1;
|
|
|
|
|
runtime·mheap.bitmap = p1 + spans_size;
|
|
|
|
|
runtime·mheap.arena_start = p1 + spans_size + bitmap_size;
|
2013-05-28 22:14:47 +04:00
|
|
|
runtime·mheap.arena_used = runtime·mheap.arena_start;
|
2014-03-06 18:34:29 -05:00
|
|
|
runtime·mheap.arena_end = p + p_size;
|
2014-03-25 13:22:19 -07:00
|
|
|
runtime·mheap.arena_reserved = reserved;
|
2014-03-06 18:34:29 -05:00
|
|
|
|
|
|
|
|
if(((uintptr)runtime·mheap.arena_start & (PageSize-1)) != 0)
|
|
|
|
|
runtime·throw("misrounded allocation in mallocinit");
|
2011-01-28 15:03:26 -05:00
|
|
|
|
|
|
|
|
// Initialize the rest of the allocator.
|
2013-06-10 09:20:27 +04:00
|
|
|
runtime·MHeap_Init(&runtime·mheap);
|
all: remove 'extern register M *m' from runtime
The runtime has historically held two dedicated values g (current goroutine)
and m (current thread) in 'extern register' slots (TLS on x86, real registers
backed by TLS on ARM).
This CL removes the extern register m; code now uses g->m.
On ARM, this frees up the register that formerly held m (R9).
This is important for NaCl, because NaCl ARM code cannot use R9 at all.
The Go 1 macrobenchmarks (those with per-op times >= 10 µs) are unaffected:
BenchmarkBinaryTree17 5491374955 5471024381 -0.37%
BenchmarkFannkuch11 4357101311 4275174828 -1.88%
BenchmarkGobDecode 11029957 11364184 +3.03%
BenchmarkGobEncode 6852205 6784822 -0.98%
BenchmarkGzip 650795967 650152275 -0.10%
BenchmarkGunzip 140962363 141041670 +0.06%
BenchmarkHTTPClientServer 71581 73081 +2.10%
BenchmarkJSONEncode 31928079 31913356 -0.05%
BenchmarkJSONDecode 117470065 113689916 -3.22%
BenchmarkMandelbrot200 6008923 5998712 -0.17%
BenchmarkGoParse 6310917 6327487 +0.26%
BenchmarkRegexpMatchMedium_1K 114568 114763 +0.17%
BenchmarkRegexpMatchHard_1K 168977 169244 +0.16%
BenchmarkRevcomp 935294971 914060918 -2.27%
BenchmarkTemplate 145917123 148186096 +1.55%
Minux previous reported larger variations, but these were caused by
run-to-run noise, not repeatable slowdowns.
Actual code changes by Minux.
I only did the docs and the benchmarking.
LGTM=dvyukov, iant, minux
R=minux, josharian, iant, dave, bradfitz, dvyukov
CC=golang-codereviews
https://golang.org/cl/109050043
2014-06-26 11:54:39 -04:00
|
|
|
g->m->mcache = runtime·allocmcache();
|
2008-12-18 15:42:28 -08:00
|
|
|
}
|
|
|
|
|
|
2011-01-28 15:03:26 -05:00
|
|
|
void*
|
|
|
|
|
runtime·MHeap_SysAlloc(MHeap *h, uintptr n)
|
|
|
|
|
{
|
2014-03-06 18:34:29 -05:00
|
|
|
byte *p, *p_end;
|
|
|
|
|
uintptr p_size;
|
2014-03-25 13:22:19 -07:00
|
|
|
bool reserved;
|
2011-02-02 23:03:47 -05:00
|
|
|
|
2012-03-07 14:21:45 -05:00
|
|
|
if(n > h->arena_end - h->arena_used) {
|
|
|
|
|
// We are in 32-bit mode, maybe we didn't use all possible address space yet.
|
|
|
|
|
// Reserve some more space.
|
|
|
|
|
byte *new_end;
|
|
|
|
|
|
2014-03-06 18:34:29 -05:00
|
|
|
p_size = ROUND(n + PageSize, 256<<20);
|
|
|
|
|
new_end = h->arena_end + p_size;
|
2012-03-07 14:21:45 -05:00
|
|
|
if(new_end <= h->arena_start + MaxArena32) {
|
2014-03-25 13:22:19 -07:00
|
|
|
// TODO: It would be bad if part of the arena
|
|
|
|
|
// is reserved and part is not.
|
|
|
|
|
p = runtime·SysReserve(h->arena_end, p_size, &reserved);
|
|
|
|
|
if(p == h->arena_end) {
|
2012-03-07 14:21:45 -05:00
|
|
|
h->arena_end = new_end;
|
2014-03-25 13:22:19 -07:00
|
|
|
h->arena_reserved = reserved;
|
|
|
|
|
}
|
2014-03-06 18:34:29 -05:00
|
|
|
else if(p+p_size <= h->arena_start + MaxArena32) {
|
|
|
|
|
// Keep everything page-aligned.
|
|
|
|
|
// Our pages are bigger than hardware pages.
|
|
|
|
|
h->arena_end = p+p_size;
|
|
|
|
|
h->arena_used = p + (-(uintptr)p&(PageSize-1));
|
2014-03-25 13:22:19 -07:00
|
|
|
h->arena_reserved = reserved;
|
2014-03-06 18:34:29 -05:00
|
|
|
} else {
|
|
|
|
|
uint64 stat;
|
|
|
|
|
stat = 0;
|
|
|
|
|
runtime·SysFree(p, p_size, &stat);
|
|
|
|
|
}
|
2012-03-07 14:21:45 -05:00
|
|
|
}
|
|
|
|
|
}
|
2011-02-02 23:03:47 -05:00
|
|
|
if(n <= h->arena_end - h->arena_used) {
|
2011-01-28 15:03:26 -05:00
|
|
|
// Keep taking from our reservation.
|
|
|
|
|
p = h->arena_used;
|
2014-03-25 13:22:19 -07:00
|
|
|
runtime·SysMap(p, n, h->arena_reserved, &mstats.heap_sys);
|
2011-01-28 15:03:26 -05:00
|
|
|
h->arena_used += n;
|
2011-02-02 23:03:47 -05:00
|
|
|
runtime·MHeap_MapBits(h);
|
2013-05-28 22:04:34 +04:00
|
|
|
runtime·MHeap_MapSpans(h);
|
2012-11-07 12:48:58 +04:00
|
|
|
if(raceenabled)
|
|
|
|
|
runtime·racemapshadow(p, n);
|
2014-03-06 18:34:29 -05:00
|
|
|
|
|
|
|
|
if(((uintptr)p & (PageSize-1)) != 0)
|
|
|
|
|
runtime·throw("misrounded allocation in MHeap_SysAlloc");
|
2011-01-28 15:03:26 -05:00
|
|
|
return p;
|
|
|
|
|
}
|
2011-02-02 23:03:47 -05:00
|
|
|
|
2012-02-08 14:39:16 -05:00
|
|
|
// If using 64-bit, our reservation is all we have.
|
2014-03-25 13:22:19 -07:00
|
|
|
if(h->arena_end - h->arena_start >= MaxArena32)
|
2011-02-02 23:03:47 -05:00
|
|
|
return nil;
|
|
|
|
|
|
|
|
|
|
// On 32-bit, once the reservation is gone we can
|
|
|
|
|
// try to get memory at a location chosen by the OS
|
|
|
|
|
// and hope that it is in the range we allocated bitmap for.
|
2014-03-06 18:34:29 -05:00
|
|
|
p_size = ROUND(n, PageSize) + PageSize;
|
|
|
|
|
p = runtime·SysAlloc(p_size, &mstats.heap_sys);
|
2011-02-02 23:03:47 -05:00
|
|
|
if(p == nil)
|
|
|
|
|
return nil;
|
|
|
|
|
|
2014-03-06 18:34:29 -05:00
|
|
|
if(p < h->arena_start || p+p_size - h->arena_start >= MaxArena32) {
|
2012-03-07 14:21:45 -05:00
|
|
|
runtime·printf("runtime: memory allocated by OS (%p) not in usable range [%p,%p)\n",
|
|
|
|
|
p, h->arena_start, h->arena_start+MaxArena32);
|
2014-03-06 18:34:29 -05:00
|
|
|
runtime·SysFree(p, p_size, &mstats.heap_sys);
|
2011-02-02 23:03:47 -05:00
|
|
|
return nil;
|
|
|
|
|
}
|
2014-03-06 18:34:29 -05:00
|
|
|
|
|
|
|
|
p_end = p + p_size;
|
|
|
|
|
p += -(uintptr)p & (PageSize-1);
|
2011-02-02 23:03:47 -05:00
|
|
|
if(p+n > h->arena_used) {
|
|
|
|
|
h->arena_used = p+n;
|
2014-03-06 18:34:29 -05:00
|
|
|
if(p_end > h->arena_end)
|
|
|
|
|
h->arena_end = p_end;
|
2011-02-02 23:03:47 -05:00
|
|
|
runtime·MHeap_MapBits(h);
|
2013-05-28 22:04:34 +04:00
|
|
|
runtime·MHeap_MapSpans(h);
|
2012-11-07 12:48:58 +04:00
|
|
|
if(raceenabled)
|
|
|
|
|
runtime·racemapshadow(p, n);
|
2011-02-02 23:03:47 -05:00
|
|
|
}
|
|
|
|
|
|
2014-03-06 18:34:29 -05:00
|
|
|
if(((uintptr)p & (PageSize-1)) != 0)
|
|
|
|
|
runtime·throw("misrounded allocation in MHeap_SysAlloc");
|
2011-02-02 23:03:47 -05:00
|
|
|
return p;
|
2011-01-28 15:03:26 -05:00
|
|
|
}
|
|
|
|
|
|
2013-05-31 10:42:30 +04:00
|
|
|
static struct
|
|
|
|
|
{
|
|
|
|
|
Lock;
|
|
|
|
|
byte* pos;
|
|
|
|
|
byte* end;
|
|
|
|
|
} persistent;
|
|
|
|
|
|
|
|
|
|
enum
|
|
|
|
|
{
|
|
|
|
|
PersistentAllocChunk = 256<<10,
|
|
|
|
|
PersistentAllocMaxBlock = 64<<10, // VM reservation granularity is 64K on windows
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
// Wrapper around SysAlloc that can allocate small chunks.
|
|
|
|
|
// There is no associated free operation.
|
|
|
|
|
// Intended for things like function/type/debug-related persistent data.
|
|
|
|
|
// If align is 0, uses default align (currently 8).
|
|
|
|
|
void*
|
runtime: account for all sys memory in MemStats
Currently lots of sys allocations are not accounted in any of XxxSys,
including GC bitmap, spans table, GC roots blocks, GC finalizer blocks,
iface table, netpoll descriptors and more. Up to ~20% can unaccounted.
This change introduces 2 new stats: GCSys and OtherSys for GC metadata
and all other misc allocations, respectively.
Also ensures that all XxxSys indeed sum up to Sys. All sys memory allocation
functions require the stat for accounting, so that it's impossible to miss something.
Also fix updating of mcache_sys/inuse, they were not updated after deallocation.
test/bench/garbage/parser before:
Sys 670064344
HeapSys 610271232
StackSys 65536
MSpanSys 14204928
MCacheSys 16384
BuckHashSys 1439992
after:
Sys 670064344
HeapSys 610271232
StackSys 65536
MSpanSys 14188544
MCacheSys 16384
BuckHashSys 3194304
GCSys 39198688
OtherSys 3129656
Fixes #5799.
R=rsc, dave, alex.brainman
CC=golang-dev
https://golang.org/cl/12946043
2013-09-06 16:55:40 -04:00
|
|
|
runtime·persistentalloc(uintptr size, uintptr align, uint64 *stat)
|
2013-05-31 10:42:30 +04:00
|
|
|
{
|
|
|
|
|
byte *p;
|
|
|
|
|
|
2013-06-02 01:45:26 +04:00
|
|
|
if(align != 0) {
|
2013-05-31 10:42:30 +04:00
|
|
|
if(align&(align-1))
|
2014-04-21 08:55:23 -07:00
|
|
|
runtime·throw("persistentalloc: align is not a power of 2");
|
2013-05-31 10:42:30 +04:00
|
|
|
if(align > PageSize)
|
|
|
|
|
runtime·throw("persistentalloc: align is too large");
|
|
|
|
|
} else
|
|
|
|
|
align = 8;
|
|
|
|
|
if(size >= PersistentAllocMaxBlock)
|
runtime: account for all sys memory in MemStats
Currently lots of sys allocations are not accounted in any of XxxSys,
including GC bitmap, spans table, GC roots blocks, GC finalizer blocks,
iface table, netpoll descriptors and more. Up to ~20% can unaccounted.
This change introduces 2 new stats: GCSys and OtherSys for GC metadata
and all other misc allocations, respectively.
Also ensures that all XxxSys indeed sum up to Sys. All sys memory allocation
functions require the stat for accounting, so that it's impossible to miss something.
Also fix updating of mcache_sys/inuse, they were not updated after deallocation.
test/bench/garbage/parser before:
Sys 670064344
HeapSys 610271232
StackSys 65536
MSpanSys 14204928
MCacheSys 16384
BuckHashSys 1439992
after:
Sys 670064344
HeapSys 610271232
StackSys 65536
MSpanSys 14188544
MCacheSys 16384
BuckHashSys 3194304
GCSys 39198688
OtherSys 3129656
Fixes #5799.
R=rsc, dave, alex.brainman
CC=golang-dev
https://golang.org/cl/12946043
2013-09-06 16:55:40 -04:00
|
|
|
return runtime·SysAlloc(size, stat);
|
2013-05-31 10:42:30 +04:00
|
|
|
runtime·lock(&persistent);
|
|
|
|
|
persistent.pos = (byte*)ROUND((uintptr)persistent.pos, align);
|
|
|
|
|
if(persistent.pos + size > persistent.end) {
|
runtime: account for all sys memory in MemStats
Currently lots of sys allocations are not accounted in any of XxxSys,
including GC bitmap, spans table, GC roots blocks, GC finalizer blocks,
iface table, netpoll descriptors and more. Up to ~20% can unaccounted.
This change introduces 2 new stats: GCSys and OtherSys for GC metadata
and all other misc allocations, respectively.
Also ensures that all XxxSys indeed sum up to Sys. All sys memory allocation
functions require the stat for accounting, so that it's impossible to miss something.
Also fix updating of mcache_sys/inuse, they were not updated after deallocation.
test/bench/garbage/parser before:
Sys 670064344
HeapSys 610271232
StackSys 65536
MSpanSys 14204928
MCacheSys 16384
BuckHashSys 1439992
after:
Sys 670064344
HeapSys 610271232
StackSys 65536
MSpanSys 14188544
MCacheSys 16384
BuckHashSys 3194304
GCSys 39198688
OtherSys 3129656
Fixes #5799.
R=rsc, dave, alex.brainman
CC=golang-dev
https://golang.org/cl/12946043
2013-09-06 16:55:40 -04:00
|
|
|
persistent.pos = runtime·SysAlloc(PersistentAllocChunk, &mstats.other_sys);
|
2013-05-31 10:42:30 +04:00
|
|
|
if(persistent.pos == nil) {
|
|
|
|
|
runtime·unlock(&persistent);
|
|
|
|
|
runtime·throw("runtime: cannot allocate memory");
|
|
|
|
|
}
|
|
|
|
|
persistent.end = persistent.pos + PersistentAllocChunk;
|
|
|
|
|
}
|
|
|
|
|
p = persistent.pos;
|
|
|
|
|
persistent.pos += size;
|
|
|
|
|
runtime·unlock(&persistent);
|
runtime: account for all sys memory in MemStats
Currently lots of sys allocations are not accounted in any of XxxSys,
including GC bitmap, spans table, GC roots blocks, GC finalizer blocks,
iface table, netpoll descriptors and more. Up to ~20% can unaccounted.
This change introduces 2 new stats: GCSys and OtherSys for GC metadata
and all other misc allocations, respectively.
Also ensures that all XxxSys indeed sum up to Sys. All sys memory allocation
functions require the stat for accounting, so that it's impossible to miss something.
Also fix updating of mcache_sys/inuse, they were not updated after deallocation.
test/bench/garbage/parser before:
Sys 670064344
HeapSys 610271232
StackSys 65536
MSpanSys 14204928
MCacheSys 16384
BuckHashSys 1439992
after:
Sys 670064344
HeapSys 610271232
StackSys 65536
MSpanSys 14188544
MCacheSys 16384
BuckHashSys 3194304
GCSys 39198688
OtherSys 3129656
Fixes #5799.
R=rsc, dave, alex.brainman
CC=golang-dev
https://golang.org/cl/12946043
2013-09-06 16:55:40 -04:00
|
|
|
if(stat != &mstats.other_sys) {
|
|
|
|
|
// reaccount the allocation against provided stat
|
|
|
|
|
runtime·xadd64(stat, size);
|
|
|
|
|
runtime·xadd64(&mstats.other_sys, -(uint64)size);
|
|
|
|
|
}
|
|
|
|
|
return p;
|
2013-05-31 10:42:30 +04:00
|
|
|
}
|
|
|
|
|
|
2008-12-19 03:13:39 -08:00
|
|
|
// Runtime stubs.
|
|
|
|
|
|
|
|
|
|
void*
|
runtime: ,s/[a-zA-Z0-9_]+/runtime·&/g, almost
Prefix all external symbols in runtime by runtime·,
to avoid conflicts with possible symbols of the same
name in linked-in C libraries. The obvious conflicts
are printf, malloc, and free, but hide everything to
avoid future pain.
The symbols left alone are:
** known to cgo **
_cgo_free
_cgo_malloc
libcgo_thread_start
initcgo
ncgocall
** known to linker **
_rt0_$GOARCH
_rt0_$GOARCH_$GOOS
text
etext
data
end
pclntab
epclntab
symtab
esymtab
** known to C compiler **
_divv
_modv
_div64by32
etc (arch specific)
Tested on darwin/386, darwin/amd64, linux/386, linux/amd64.
Built (but not tested) for freebsd/386, freebsd/amd64, linux/arm, windows/386.
R=r, PeterGo
CC=golang-dev
https://golang.org/cl/2899041
2010-11-04 14:00:19 -04:00
|
|
|
runtime·mal(uintptr n)
|
2010-03-23 20:48:23 -07:00
|
|
|
{
|
2014-07-29 11:01:02 +04:00
|
|
|
return runtime·mallocgc(n, nil, 0);
|
2008-12-19 03:13:39 -08:00
|
|
|
}
|
|
|
|
|
|
2013-05-27 11:29:11 +04:00
|
|
|
static void*
|
2014-07-29 11:01:02 +04:00
|
|
|
cnew(Type *typ, intgo n)
|
2012-10-21 17:41:32 -04:00
|
|
|
{
|
2013-05-27 11:29:11 +04:00
|
|
|
if(n < 0 || (typ->size > 0 && n > MaxMem/typ->size))
|
|
|
|
|
runtime·panicstring("runtime: allocation size out of range");
|
2014-07-29 11:01:02 +04:00
|
|
|
return runtime·mallocgc(typ->size*n, typ, typ->kind&KindNoPointers ? FlagNoScan : 0);
|
2012-10-21 17:41:32 -04:00
|
|
|
}
|
|
|
|
|
|
2013-05-27 11:29:11 +04:00
|
|
|
// same as runtime·new, but callable from C
|
|
|
|
|
void*
|
|
|
|
|
runtime·cnew(Type *typ)
|
|
|
|
|
{
|
2014-07-29 11:01:02 +04:00
|
|
|
return cnew(typ, 1);
|
2013-05-27 11:29:11 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
void*
|
|
|
|
|
runtime·cnewarray(Type *typ, intgo n)
|
|
|
|
|
{
|
2014-07-29 11:01:02 +04:00
|
|
|
return cnew(typ, n);
|
2013-05-27 11:29:11 +04:00
|
|
|
}
|
|
|
|
|
|
2014-07-30 09:01:52 -07:00
|
|
|
static void
|
|
|
|
|
setFinalizer(Eface obj, Eface finalizer)
|
|
|
|
|
{
|
2010-02-03 16:31:34 -08:00
|
|
|
byte *base;
|
|
|
|
|
uintptr size;
|
|
|
|
|
FuncType *ft;
|
2012-09-24 14:58:34 -04:00
|
|
|
int32 i;
|
|
|
|
|
uintptr nret;
|
2010-02-08 21:41:54 -08:00
|
|
|
Type *t;
|
2013-07-29 19:43:08 +04:00
|
|
|
Type *fint;
|
|
|
|
|
PtrType *ot;
|
2013-08-14 14:54:31 -04:00
|
|
|
Iface iface;
|
2010-02-10 00:00:12 -08:00
|
|
|
|
2010-02-03 16:31:34 -08:00
|
|
|
if(obj.type == nil) {
|
runtime: ,s/[a-zA-Z0-9_]+/runtime·&/g, almost
Prefix all external symbols in runtime by runtime·,
to avoid conflicts with possible symbols of the same
name in linked-in C libraries. The obvious conflicts
are printf, malloc, and free, but hide everything to
avoid future pain.
The symbols left alone are:
** known to cgo **
_cgo_free
_cgo_malloc
libcgo_thread_start
initcgo
ncgocall
** known to linker **
_rt0_$GOARCH
_rt0_$GOARCH_$GOOS
text
etext
data
end
pclntab
epclntab
symtab
esymtab
** known to C compiler **
_divv
_modv
_div64by32
etc (arch specific)
Tested on darwin/386, darwin/amd64, linux/386, linux/amd64.
Built (but not tested) for freebsd/386, freebsd/amd64, linux/arm, windows/386.
R=r, PeterGo
CC=golang-dev
https://golang.org/cl/2899041
2010-11-04 14:00:19 -04:00
|
|
|
runtime·printf("runtime.SetFinalizer: first argument is nil interface\n");
|
2011-10-06 18:42:51 +03:00
|
|
|
goto throw;
|
2010-02-03 16:31:34 -08:00
|
|
|
}
|
2014-07-29 11:01:02 +04:00
|
|
|
if((obj.type->kind&KindMask) != KindPtr) {
|
runtime: ,s/[a-zA-Z0-9_]+/runtime·&/g, almost
Prefix all external symbols in runtime by runtime·,
to avoid conflicts with possible symbols of the same
name in linked-in C libraries. The obvious conflicts
are printf, malloc, and free, but hide everything to
avoid future pain.
The symbols left alone are:
** known to cgo **
_cgo_free
_cgo_malloc
libcgo_thread_start
initcgo
ncgocall
** known to linker **
_rt0_$GOARCH
_rt0_$GOARCH_$GOOS
text
etext
data
end
pclntab
epclntab
symtab
esymtab
** known to C compiler **
_divv
_modv
_div64by32
etc (arch specific)
Tested on darwin/386, darwin/amd64, linux/386, linux/amd64.
Built (but not tested) for freebsd/386, freebsd/amd64, linux/arm, windows/386.
R=r, PeterGo
CC=golang-dev
https://golang.org/cl/2899041
2010-11-04 14:00:19 -04:00
|
|
|
runtime·printf("runtime.SetFinalizer: first argument is %S, not pointer\n", *obj.type->string);
|
2010-02-03 16:31:34 -08:00
|
|
|
goto throw;
|
|
|
|
|
}
|
2013-12-17 14:18:58 -08:00
|
|
|
ot = (PtrType*)obj.type;
|
2014-01-24 22:35:11 +04:00
|
|
|
// As an implementation detail we do not run finalizers for zero-sized objects,
|
|
|
|
|
// because we use &runtime·zerobase for all such allocations.
|
|
|
|
|
if(ot->elem != nil && ot->elem->size == 0)
|
2013-12-17 14:18:58 -08:00
|
|
|
return;
|
2014-04-02 10:19:28 +04:00
|
|
|
// The following check is required for cases when a user passes a pointer to composite literal,
|
|
|
|
|
// but compiler makes it a pointer to global. For example:
|
|
|
|
|
// var Foo = &Object{}
|
|
|
|
|
// func main() {
|
|
|
|
|
// runtime.SetFinalizer(Foo, nil)
|
|
|
|
|
// }
|
|
|
|
|
// See issue 7656.
|
|
|
|
|
if((byte*)obj.data < runtime·mheap.arena_start || runtime·mheap.arena_used <= (byte*)obj.data)
|
|
|
|
|
return;
|
2011-02-02 23:03:47 -05:00
|
|
|
if(!runtime·mlookup(obj.data, &base, &size, nil) || obj.data != base) {
|
2014-01-24 22:35:11 +04:00
|
|
|
// As an implementation detail we allow to set finalizers for an inner byte
|
|
|
|
|
// of an object if it could come from tiny alloc (see mallocgc for details).
|
|
|
|
|
if(ot->elem == nil || (ot->elem->kind&KindNoPointers) == 0 || ot->elem->size >= TinySize) {
|
2014-04-02 10:19:28 +04:00
|
|
|
runtime·printf("runtime.SetFinalizer: pointer not at beginning of allocated block (%p)\n", obj.data);
|
2014-01-24 22:35:11 +04:00
|
|
|
goto throw;
|
|
|
|
|
}
|
2010-02-03 16:31:34 -08:00
|
|
|
}
|
|
|
|
|
if(finalizer.type != nil) {
|
2014-03-26 15:11:36 +04:00
|
|
|
runtime·createfing();
|
2011-10-06 18:42:51 +03:00
|
|
|
if(finalizer.type->kind != KindFunc)
|
|
|
|
|
goto badfunc;
|
2010-02-03 16:31:34 -08:00
|
|
|
ft = (FuncType*)finalizer.type;
|
2013-07-29 19:43:08 +04:00
|
|
|
if(ft->dotdotdot || ft->in.len != 1)
|
|
|
|
|
goto badfunc;
|
|
|
|
|
fint = *(Type**)ft->in.array;
|
2013-08-14 14:54:31 -04:00
|
|
|
if(fint == obj.type) {
|
|
|
|
|
// ok - same type
|
|
|
|
|
} else if(fint->kind == KindPtr && (fint->x == nil || fint->x->name == nil || obj.type->x == nil || obj.type->x->name == nil) && ((PtrType*)fint)->elem == ((PtrType*)obj.type)->elem) {
|
|
|
|
|
// ok - not same type, but both pointers,
|
|
|
|
|
// one or the other is unnamed, and same element type, so assignable.
|
|
|
|
|
} else if(fint->kind == KindInterface && ((InterfaceType*)fint)->mhdr.len == 0) {
|
|
|
|
|
// ok - satisfies empty interface
|
|
|
|
|
} else if(fint->kind == KindInterface && runtime·ifaceE2I2((InterfaceType*)fint, obj, &iface)) {
|
|
|
|
|
// ok - satisfies non-empty interface
|
|
|
|
|
} else
|
2010-02-03 16:31:34 -08:00
|
|
|
goto badfunc;
|
2010-02-10 00:00:12 -08:00
|
|
|
|
2010-02-08 21:41:54 -08:00
|
|
|
// compute size needed for return parameters
|
2014-01-07 13:45:50 -08:00
|
|
|
nret = 0;
|
2010-02-08 21:41:54 -08:00
|
|
|
for(i=0; i<ft->out.len; i++) {
|
|
|
|
|
t = ((Type**)ft->out.array)[i];
|
2013-06-13 16:02:50 +04:00
|
|
|
nret = ROUND(nret, t->align) + t->size;
|
2010-02-08 21:41:54 -08:00
|
|
|
}
|
2013-06-13 16:02:50 +04:00
|
|
|
nret = ROUND(nret, sizeof(void*));
|
2014-01-07 13:45:50 -08:00
|
|
|
ot = (PtrType*)obj.type;
|
|
|
|
|
if(!runtime·addfinalizer(obj.data, finalizer.data, nret, fint, ot)) {
|
|
|
|
|
runtime·printf("runtime.SetFinalizer: finalizer already set\n");
|
|
|
|
|
goto throw;
|
|
|
|
|
}
|
|
|
|
|
} else {
|
|
|
|
|
// NOTE: asking to remove a finalizer when there currently isn't one set is OK.
|
|
|
|
|
runtime·removefinalizer(obj.data);
|
2011-10-06 18:42:51 +03:00
|
|
|
}
|
|
|
|
|
return;
|
|
|
|
|
|
|
|
|
|
badfunc:
|
2013-08-14 14:54:31 -04:00
|
|
|
runtime·printf("runtime.SetFinalizer: cannot pass %S to finalizer %S\n", *obj.type->string, *finalizer.type->string);
|
2011-10-06 18:42:51 +03:00
|
|
|
throw:
|
|
|
|
|
runtime·throw("runtime.SetFinalizer");
|
2010-02-03 16:31:34 -08:00
|
|
|
}
|
2014-07-29 11:01:02 +04:00
|
|
|
|
2014-07-30 09:01:52 -07:00
|
|
|
void
|
|
|
|
|
runtime·setFinalizer(void)
|
|
|
|
|
{
|
|
|
|
|
Eface obj, finalizer;
|
|
|
|
|
|
|
|
|
|
obj.type = g->m->ptrarg[0];
|
|
|
|
|
obj.data = g->m->ptrarg[1];
|
|
|
|
|
finalizer.type = g->m->ptrarg[2];
|
|
|
|
|
finalizer.data = g->m->ptrarg[3];
|
|
|
|
|
g->m->ptrarg[0] = nil;
|
|
|
|
|
g->m->ptrarg[1] = nil;
|
|
|
|
|
g->m->ptrarg[2] = nil;
|
|
|
|
|
g->m->ptrarg[3] = nil;
|
|
|
|
|
setFinalizer(obj, finalizer);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// mcallable cache refill
|
|
|
|
|
void
|
|
|
|
|
runtime·mcacheRefill(void)
|
|
|
|
|
{
|
|
|
|
|
runtime·MCache_Refill(g->m->mcache, (int32)g->m->scalararg[0]);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
void
|
|
|
|
|
runtime·largeAlloc(void)
|
|
|
|
|
{
|
|
|
|
|
uintptr npages, size;
|
|
|
|
|
MSpan *s;
|
|
|
|
|
void *v;
|
|
|
|
|
int32 flag;
|
|
|
|
|
|
|
|
|
|
//runtime·printf("largeAlloc size=%D\n", g->m->scalararg[0]);
|
|
|
|
|
// Allocate directly from heap.
|
|
|
|
|
size = g->m->scalararg[0];
|
|
|
|
|
flag = (int32)g->m->scalararg[1];
|
|
|
|
|
if(size + PageSize < size)
|
|
|
|
|
runtime·throw("out of memory");
|
|
|
|
|
npages = size >> PageShift;
|
|
|
|
|
if((size & PageMask) != 0)
|
|
|
|
|
npages++;
|
|
|
|
|
s = runtime·MHeap_Alloc(&runtime·mheap, npages, 0, 1, !(flag & FlagNoZero));
|
|
|
|
|
if(s == nil)
|
|
|
|
|
runtime·throw("out of memory");
|
|
|
|
|
s->limit = (byte*)(s->start<<PageShift) + size;
|
|
|
|
|
v = (void*)(s->start << PageShift);
|
|
|
|
|
// setup for mark sweep
|
|
|
|
|
runtime·markspan(v, 0, 0, true);
|
|
|
|
|
g->m->ptrarg[0] = s;
|
2014-07-29 11:01:02 +04:00
|
|
|
}
|