diff options
| author | Dmitriy Vyukov <dvyukov@google.com> | 2014-10-08 13:51:12 +0400 |
|---|---|---|
| committer | Dmitriy Vyukov <dvyukov@google.com> | 2014-10-08 13:51:12 +0400 |
| commit | b8fdaaf028c54c97be20fa9dfbe372578902fad8 (patch) | |
| tree | dca3bfd2a941eef927a4dbab75cc50e498059169 /src/runtime | |
| parent | 94bdf13497f8a72673d71cc4d4c1a6e05a35b2dc (diff) | |
| download | go-b8fdaaf028c54c97be20fa9dfbe372578902fad8.tar.xz | |
runtime: faster GC scan
The change contains 3 spot optimizations to scan loop:
1. Don't use byte vars, use uintptr's instead.
This seems to alleviate some codegen issue,
and alone accounts to a half of speedup.
2. Remove bitmap cache. Currently we cache only 1 byte,
so caching is not particularly effective anyway.
Removal of the cache simplifies code and positively affects regalloc.
3. Replace BitsMultiword switch with if and
do debug checks only in Debug mode.
I've benchmarked changes separately and ensured that
each of them provides speedup on top of the previous one.
This change as a whole fixes the unintentional regressions
of scan loop that were introduced during development cycle.
Fixes #8625.
Fixes #8565.
On go.benchmarks/garbage benchmark:
GOMAXPROCS=1
time: -3.13%
cputime: -3.22%
gc-pause-one: -15.71%
gc-pause-total: -15.71%
GOMAXPROCS=32
time: -1.96%
cputime: -4.43%
gc-pause-one: -6.22%
gc-pause-total: -6.22%
LGTM=khr, rsc
R=golang-codereviews, khr
CC=golang-codereviews, rlh, rsc
https://golang.org/cl/153990043
Diffstat (limited to 'src/runtime')
| -rw-r--r-- | src/runtime/mgc0.c | 50 |
1 files changed, 18 insertions, 32 deletions
diff --git a/src/runtime/mgc0.c b/src/runtime/mgc0.c index 5876ea5c3e..e369e5425c 100644 --- a/src/runtime/mgc0.c +++ b/src/runtime/mgc0.c @@ -179,9 +179,8 @@ have_cgo_allocate(void) static void scanblock(byte *b, uintptr n, byte *ptrmask) { - byte *obj, *obj0, *p, *arena_start, *arena_used, **wp, *scanbuf[8], *ptrbitp, *bitp, bits, xbits, shift, cached; - uintptr i, j, nobj, size, idx, x, off, scanbufpos; - intptr ncached; + byte *obj, *obj0, *p, *arena_start, *arena_used, **wp, *scanbuf[8], *ptrbitp, *bitp; + uintptr i, j, nobj, size, idx, x, off, scanbufpos, bits, xbits, shift; Workbuf *wbuf; Iface *iface; Eface *eface; @@ -203,8 +202,6 @@ scanblock(byte *b, uintptr n, byte *ptrmask) scanbuf[i] = nil; ptrbitp = nil; - cached = 0; - ncached = 0; // ptrmask can have 2 possible values: // 1. nil - obtain pointer mask from GC bitmap. @@ -259,10 +256,6 @@ scanblock(byte *b, uintptr n, byte *ptrmask) if(ptrmask == nil) { off = (uintptr*)b - (uintptr*)arena_start; ptrbitp = arena_start - off/wordsPerBitmapByte - 1; - shift = (off % wordsPerBitmapByte) * gcBits; - cached = *ptrbitp >> shift; - cached &= ~bitBoundary; - ncached = (8 - shift)/gcBits; } for(i = 0; i < n; i += PtrSize) { obj = nil; @@ -273,15 +266,12 @@ scanblock(byte *b, uintptr n, byte *ptrmask) runtime·mheap.spans[(b-arena_start)>>PageShift] != runtime·mheap.spans[(b+i-arena_start)>>PageShift]) break; // Consult GC bitmap. - if(ncached <= 0) { - // Refill cache. - cached = *--ptrbitp; - ncached = 2; + bits = *ptrbitp; + if((((uintptr)b+i)%(PtrSize*wordsPerBitmapByte)) != 0) { + ptrbitp--; + bits >>= gcBits; } - bits = cached; - cached >>= gcBits; - ncached--; - if((bits&bitBoundary) != 0) + if((bits&bitBoundary) != 0 && i != 0) break; // reached beginning of the next object bits = (bits>>2)&BitsMask; if(bits == BitsDead) @@ -289,7 +279,7 @@ scanblock(byte *b, uintptr n, byte *ptrmask) } else // dense mask (stack or data) bits = (ptrmask[(i/PtrSize)/4]>>(((i/PtrSize)%4)*BitsPerPointer))&BitsMask; - if(bits == BitsScalar || bits == BitsDead) + if(bits <= BitsScalar) // BitsScalar || BitsDead continue; if(bits == BitsPointer) { obj = *(byte**)(b+i); @@ -298,43 +288,39 @@ scanblock(byte *b, uintptr n, byte *ptrmask) } // With those three out of the way, must be multi-word. - if(bits != BitsMultiWord) + if(Debug && bits != BitsMultiWord) runtime·throw("unexpected garbage collection bits"); // Find the next pair of bits. if(ptrmask == nil) { - if(ncached <= 0) { - // Refill cache. - cached = *--ptrbitp; - ncached = 2; + bits = *ptrbitp; + if((((uintptr)b+i)%(PtrSize*wordsPerBitmapByte)) == 0) { + ptrbitp--; + bits >>= gcBits; } - bits = (cached>>2)&BitsMask; + bits = (bits>>2)&BitsMask; } else bits = (ptrmask[((i+PtrSize)/PtrSize)/4]>>((((i+PtrSize)/PtrSize)%4)*BitsPerPointer))&BitsMask; - switch(bits) { - default: + if(Debug && bits != BitsIface && bits != BitsEface) runtime·throw("unexpected garbage collection bits"); - case BitsIface: + + if(bits == BitsIface) { iface = (Iface*)(b+i); if(iface->tab != nil) { typ = iface->tab->type; if(!(typ->kind&KindDirectIface) || !(typ->kind&KindNoPointers)) obj = iface->data; } - break; - case BitsEface: + } else { eface = (Eface*)(b+i); typ = eface->type; if(typ != nil) { if(!(typ->kind&KindDirectIface) || !(typ->kind&KindNoPointers)) obj = eface->data; } - break; } i += PtrSize; - cached >>= gcBits; - ncached--; obj0 = obj; markobj: |
