pkgspecial.go

     1  // Copyright 2023 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  package objabi
     6  
     7  import "sync"
     8  
     9  // PkgSpecial indicates special build properties of a given runtime-related
    10  // package.
    11  type PkgSpecial struct {
    12  	// Runtime indicates that this package is "runtime" or imported by
    13  	// "runtime". This has several effects (which maybe should be split out):
    14  	//
    15  	// - Implicit allocation is disallowed.
    16  	//
    17  	// - Various runtime pragmas are enabled.
    18  	//
    19  	// - Optimizations are always enabled.
    20  	//
    21  	// - Checkptr is always disabled.
    22  	//
    23  	// This should be set for runtime and all packages it imports, and may be
    24  	// set for additional packages.
    25  	Runtime bool
    26  
    27  	// NoInstrument indicates this package should not receive sanitizer
    28  	// instrumentation. In many of these, instrumentation could cause infinite
    29  	// recursion. This is all runtime packages, plus those that support the
    30  	// sanitizers.
    31  	NoInstrument bool
    32  
    33  	// NoRaceFunc indicates functions in this package should not get
    34  	// racefuncenter/racefuncexit instrumentation Memory accesses in these
    35  	// packages are either uninteresting or will cause false positives.
    36  	NoRaceFunc bool
    37  
    38  	// AllowAsmABI indicates that assembly in this package is allowed to use ABI
    39  	// selectors in symbol names. Generally this is needed for packages that
    40  	// interact closely with the runtime package or have performance-critical
    41  	// assembly.
    42  	AllowAsmABI bool
    43  }
    44  
    45  var runtimePkgs = []string{
    46  	"runtime",
    47  
    48  	"internal/runtime/atomic",
    49  	"internal/runtime/exithook",
    50  	"internal/runtime/maps",
    51  	"internal/runtime/math",
    52  	"internal/runtime/sys",
    53  	"internal/runtime/syscall",
    54  
    55  	"internal/abi",
    56  	"internal/bytealg",
    57  	"internal/byteorder",
    58  	"internal/chacha8rand",
    59  	"internal/coverage/rtcov",
    60  	"internal/cpu",
    61  	"internal/goarch",
    62  	"internal/godebugs",
    63  	"internal/goexperiment",
    64  	"internal/goos",
    65  	"internal/profilerecord",
    66  	"internal/stringslite",
    67  }
    68  
    69  // extraNoInstrumentPkgs is the set of packages in addition to runtimePkgs that
    70  // should have NoInstrument set.
    71  var extraNoInstrumentPkgs = []string{
    72  	"runtime/race",
    73  	"runtime/msan",
    74  	"runtime/asan",
    75  	// We omit bytealg even though it's imported by runtime because it also
    76  	// backs a lot of package bytes. Currently we don't have a way to omit race
    77  	// instrumentation when used from the runtime while keeping race
    78  	// instrumentation when used from user code. Somehow this doesn't seem to
    79  	// cause problems, though we may be skating on thin ice. See #61204.
    80  	"-internal/bytealg",
    81  }
    82  
    83  var noRaceFuncPkgs = []string{"sync", "sync/atomic", "internal/runtime/atomic"}
    84  
    85  var allowAsmABIPkgs = []string{
    86  	"runtime",
    87  	"reflect",
    88  	"syscall",
    89  	"internal/bytealg",
    90  	"internal/chacha8rand",
    91  	"internal/runtime/syscall",
    92  	"runtime/internal/startlinetest",
    93  }
    94  
    95  // LookupPkgSpecial returns special build properties for the given package path.
    96  func LookupPkgSpecial(pkgPath string) PkgSpecial {
    97  	return pkgSpecialsOnce()[pkgPath]
    98  }
    99  
   100  var pkgSpecialsOnce = sync.OnceValue(func() map[string]PkgSpecial {
   101  	// Construct pkgSpecials from various package lists. This lets us use
   102  	// more flexible logic, while keeping the final map simple, and avoids
   103  	// the init-time cost of a map.
   104  	pkgSpecials := make(map[string]PkgSpecial)
   105  	set := func(elt string, f func(*PkgSpecial)) {
   106  		s := pkgSpecials[elt]
   107  		f(&s)
   108  		pkgSpecials[elt] = s
   109  	}
   110  	for _, pkg := range runtimePkgs {
   111  		set(pkg, func(ps *PkgSpecial) { ps.Runtime = true; ps.NoInstrument = true })
   112  	}
   113  	for _, pkg := range extraNoInstrumentPkgs {
   114  		if pkg[0] == '-' {
   115  			set(pkg[1:], func(ps *PkgSpecial) { ps.NoInstrument = false })
   116  		} else {
   117  			set(pkg, func(ps *PkgSpecial) { ps.NoInstrument = true })
   118  		}
   119  	}
   120  	for _, pkg := range noRaceFuncPkgs {
   121  		set(pkg, func(ps *PkgSpecial) { ps.NoRaceFunc = true })
   122  	}
   123  	for _, pkg := range allowAsmABIPkgs {
   124  		set(pkg, func(ps *PkgSpecial) { ps.AllowAsmABI = true })
   125  	}
   126  	return pkgSpecials
   127  })
   128
View as plain text