src/runtime/cgocheck.go

   1 // Copyright 2015 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.
   4
   5 // Code to check that pointer writes follow the cgo rules.
   6 // These functions are invoked via the write barrier when debug.cgocheck > 1.
   7
   8 package runtime
   9
  10 import (
  11         "runtime/internal/sys"
  12         "unsafe"
  13 )
  14
  15 const cgoWriteBarrierFail = "Go pointer stored into non-Go memory"
  16
  17 // cgoCheckWriteBarrier is called whenever a pointer is stored into memory.
  18 // It throws if the program is storing a Go pointer into non-Go memory.
  19 //
  20 // This is called from the write barrier, so its entire call tree must
  21 // be nosplit.
  22 //
  23 //go:nosplit
  24 //go:nowritebarrier
  25 func cgoCheckWriteBarrier(dst *uintptr, src uintptr) {
  26         if !cgoIsGoPointer(unsafe.Pointer(src)) {
  27                 return
  28         }
  29         if cgoIsGoPointer(unsafe.Pointer(dst)) {
  30                 return
  31         }
  32
  33         // If we are running on the system stack then dst might be an
  34         // address on the stack, which is OK.
  35         g := getg()
  36         if g == g.m.g0 || g == g.m.gsignal {
  37                 return
  38         }
  39
  40         // Allocating memory can write to various mfixalloc structs
  41         // that look like they are non-Go memory.
  42         if g.m.mallocing != 0 {
  43                 return
  44         }
  45
  46         systemstack(func() {
  47                 println("write of Go pointer", hex(src), "to non-Go memory", hex(uintptr(unsafe.Pointer(dst))))
  48                 throw(cgoWriteBarrierFail)
  49         })
  50 }
  51
  52 // cgoCheckMemmove is called when moving a block of memory.
  53 // dst and src point off bytes into the value to copy.
  54 // size is the number of bytes to copy.
  55 // It throws if the program is copying a block that contains a Go pointer
  56 // into non-Go memory.
  57 //go:nosplit
  58 //go:nowritebarrier
  59 func cgoCheckMemmove(typ *_type, dst, src unsafe.Pointer, off, size uintptr) {
  60         if typ.kind&kindNoPointers != 0 {
  61                 return
  62         }
  63         if !cgoIsGoPointer(src) {
  64                 return
  65         }
  66         if cgoIsGoPointer(dst) {
  67                 return
  68         }
  69         cgoCheckTypedBlock(typ, src, off, size)
  70 }
  71
  72 // cgoCheckSliceCopy is called when copying n elements of a slice from
  73 // src to dst.  typ is the element type of the slice.
  74 // It throws if the program is copying slice elements that contain Go pointers
  75 // into non-Go memory.
  76 //go:nosplit
  77 //go:nowritebarrier
  78 func cgoCheckSliceCopy(typ *_type, dst, src slice, n int) {
  79         if typ.kind&kindNoPointers != 0 {
  80                 return
  81         }
  82         if !cgoIsGoPointer(src.array) {
  83                 return
  84         }
  85         if cgoIsGoPointer(dst.array) {
  86                 return
  87         }
  88         p := src.array
  89         for i := 0; i < n; i++ {
  90                 cgoCheckTypedBlock(typ, p, 0, typ.size)
  91                 p = add(p, typ.size)
  92         }
  93 }
  94
  95 // cgoCheckTypedBlock checks the block of memory at src, for up to size bytes,
  96 // and throws if it finds a Go pointer. The type of the memory is typ,
  97 // and src is off bytes into that type.
  98 //go:nosplit
  99 //go:nowritebarrier
 100 func cgoCheckTypedBlock(typ *_type, src unsafe.Pointer, off, size uintptr) {
 101         // Anything past typ.ptrdata is not a pointer.
 102         if typ.ptrdata <= off {
 103                 return
 104         }
 105         if ptrdataSize := typ.ptrdata - off; size > ptrdataSize {
 106                 size = ptrdataSize
 107         }
 108
 109         if typ.kind&kindGCProg == 0 {
 110                 cgoCheckBits(src, typ.gcdata, off, size)
 111                 return
 112         }
 113
 114         // The type has a GC program. Try to find GC bits somewhere else.
 115         for _, datap := range activeModules() {
 116                 if cgoInRange(src, datap.data, datap.edata) {
 117                         doff := uintptr(src) - datap.data
 118                         cgoCheckBits(add(src, -doff), datap.gcdatamask.bytedata, off+doff, size)
 119                         return
 120                 }
 121                 if cgoInRange(src, datap.bss, datap.ebss) {
 122                         boff := uintptr(src) - datap.bss
 123                         cgoCheckBits(add(src, -boff), datap.gcbssmask.bytedata, off+boff, size)
 124                         return
 125                 }
 126         }
 127
 128         s := spanOfUnchecked(uintptr(src))
 129         if s.state == _MSpanManual {
 130                 // There are no heap bits for value stored on the stack.
 131                 // For a channel receive src might be on the stack of some
 132                 // other goroutine, so we can't unwind the stack even if
 133                 // we wanted to.
 134                 // We can't expand the GC program without extra storage
 135                 // space we can't easily get.
 136                 // Fortunately we have the type information.
 137                 systemstack(func() {
 138                         cgoCheckUsingType(typ, src, off, size)
 139                 })
 140                 return
 141         }
 142
 143         // src must be in the regular heap.
 144
 145         hbits := heapBitsForAddr(uintptr(src))
 146         for i := uintptr(0); i < off+size; i += sys.PtrSize {
 147                 bits := hbits.bits()
 148                 if i >= off && bits&bitPointer != 0 {
 149                         v := *(*unsafe.Pointer)(add(src, i))
 150                         if cgoIsGoPointer(v) {
 151                                 throw(cgoWriteBarrierFail)
 152                         }
 153                 }
 154                 hbits = hbits.next()
 155         }
 156 }
 157
 158 // cgoCheckBits checks the block of memory at src, for up to size
 159 // bytes, and throws if it finds a Go pointer. The gcbits mark each
 160 // pointer value. The src pointer is off bytes into the gcbits.
 161 //go:nosplit
 162 //go:nowritebarrier
 163 func cgoCheckBits(src unsafe.Pointer, gcbits *byte, off, size uintptr) {
 164         skipMask := off / sys.PtrSize / 8
 165         skipBytes := skipMask * sys.PtrSize * 8
 166         ptrmask := addb(gcbits, skipMask)
 167         src = add(src, skipBytes)
 168         off -= skipBytes
 169         size += off
 170         var bits uint32
 171         for i := uintptr(0); i < size; i += sys.PtrSize {
 172                 if i&(sys.PtrSize*8-1) == 0 {
 173                         bits = uint32(*ptrmask)
 174                         ptrmask = addb(ptrmask, 1)
 175                 } else {
 176                         bits >>= 1
 177                 }
 178                 if off > 0 {
 179                         off -= sys.PtrSize
 180                 } else {
 181                         if bits&1 != 0 {
 182                                 v := *(*unsafe.Pointer)(add(src, i))
 183                                 if cgoIsGoPointer(v) {
 184                                         throw(cgoWriteBarrierFail)
 185                                 }
 186                         }
 187                 }
 188         }
 189 }
 190
 191 // cgoCheckUsingType is like cgoCheckTypedBlock, but is a last ditch
 192 // fall back to look for pointers in src using the type information.
 193 // We only use this when looking at a value on the stack when the type
 194 // uses a GC program, because otherwise it's more efficient to use the
 195 // GC bits. This is called on the system stack.
 196 //go:nowritebarrier
 197 //go:systemstack
 198 func cgoCheckUsingType(typ *_type, src unsafe.Pointer, off, size uintptr) {
 199         if typ.kind&kindNoPointers != 0 {
 200                 return
 201         }
 202
 203         // Anything past typ.ptrdata is not a pointer.
 204         if typ.ptrdata <= off {
 205                 return
 206         }
 207         if ptrdataSize := typ.ptrdata - off; size > ptrdataSize {
 208                 size = ptrdataSize
 209         }
 210
 211         if typ.kind&kindGCProg == 0 {
 212                 cgoCheckBits(src, typ.gcdata, off, size)
 213                 return
 214         }
 215         switch typ.kind & kindMask {
 216         default:
 217                 throw("can't happen")
 218         case kindArray:
 219                 at := (*arraytype)(unsafe.Pointer(typ))
 220                 for i := uintptr(0); i < at.len; i++ {
 221                         if off < at.elem.size {
 222                                 cgoCheckUsingType(at.elem, src, off, size)
 223                         }
 224                         src = add(src, at.elem.size)
 225                         skipped := off
 226                         if skipped > at.elem.size {
 227                                 skipped = at.elem.size
 228                         }
 229                         checked := at.elem.size - skipped
 230                         off -= skipped
 231                         if size <= checked {
 232                                 return
 233                         }
 234                         size -= checked
 235                 }
 236         case kindStruct:
 237                 st := (*structtype)(unsafe.Pointer(typ))
 238                 for _, f := range st.fields {
 239                         if off < f.typ.size {
 240                                 cgoCheckUsingType(f.typ, src, off, size)
 241                         }
 242                         src = add(src, f.typ.size)
 243                         skipped := off
 244                         if skipped > f.typ.size {
 245                                 skipped = f.typ.size
 246                         }
 247                         checked := f.typ.size - skipped
 248                         off -= skipped
 249                         if size <= checked {
 250                                 return
 251                         }
 252                         size -= checked
 253                 }
 254         }
 255 }