Source file src/cmd/internal/objabi/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  	// TODO(panjf2000): consider syncing the list inside the
    47  	// 	isAsyncSafePoint in preempt.go based on this list?
    48  
    49  	"runtime",
    50  
    51  	"internal/runtime/atomic",
    52  	"internal/runtime/exithook",
    53  	"internal/runtime/gc",
    54  	"internal/runtime/maps",
    55  	"internal/runtime/math",
    56  	"internal/runtime/sys",
    57  	"internal/runtime/syscall",
    58  
    59  	"internal/abi",
    60  	"internal/bytealg",
    61  	"internal/byteorder",
    62  	"internal/chacha8rand",
    63  	"internal/coverage/rtcov",
    64  	"internal/cpu",
    65  	"internal/goarch",
    66  	"internal/godebugs",
    67  	"internal/goexperiment",
    68  	"internal/goos",
    69  	"internal/profilerecord",
    70  	"internal/stringslite",
    71  }
    72  
    73  // extraNoInstrumentPkgs is the set of packages in addition to runtimePkgs that
    74  // should have NoInstrument set.
    75  var extraNoInstrumentPkgs = []string{
    76  	"runtime/race",
    77  	"runtime/msan",
    78  	"runtime/asan",
    79  	// We omit bytealg even though it's imported by runtime because it also
    80  	// backs a lot of package bytes. Currently we don't have a way to omit race
    81  	// instrumentation when used from the runtime while keeping race
    82  	// instrumentation when used from user code. Somehow this doesn't seem to
    83  	// cause problems, though we may be skating on thin ice. See #61204.
    84  	"-internal/bytealg",
    85  }
    86  
    87  var noRaceFuncPkgs = []string{"sync", "sync/atomic", "internal/sync", "internal/runtime/atomic"}
    88  
    89  var allowAsmABIPkgs = []string{
    90  	"runtime",
    91  	"reflect",
    92  	"syscall",
    93  	"internal/bytealg",
    94  	"internal/chacha8rand",
    95  	"internal/runtime/syscall",
    96  	"internal/runtime/startlinetest",
    97  }
    98  
    99  // LookupPkgSpecial returns special build properties for the given package path.
   100  func LookupPkgSpecial(pkgPath string) PkgSpecial {
   101  	return pkgSpecialsOnce()[pkgPath]
   102  }
   103  
   104  var pkgSpecialsOnce = sync.OnceValue(func() map[string]PkgSpecial {
   105  	// Construct pkgSpecials from various package lists. This lets us use
   106  	// more flexible logic, while keeping the final map simple, and avoids
   107  	// the init-time cost of a map.
   108  	pkgSpecials := make(map[string]PkgSpecial)
   109  	set := func(elt string, f func(*PkgSpecial)) {
   110  		s := pkgSpecials[elt]
   111  		f(&s)
   112  		pkgSpecials[elt] = s
   113  	}
   114  	for _, pkg := range runtimePkgs {
   115  		set(pkg, func(ps *PkgSpecial) { ps.Runtime = true; ps.NoInstrument = true })
   116  	}
   117  	for _, pkg := range extraNoInstrumentPkgs {
   118  		if pkg[0] == '-' {
   119  			set(pkg[1:], func(ps *PkgSpecial) { ps.NoInstrument = false })
   120  		} else {
   121  			set(pkg, func(ps *PkgSpecial) { ps.NoInstrument = true })
   122  		}
   123  	}
   124  	for _, pkg := range noRaceFuncPkgs {
   125  		set(pkg, func(ps *PkgSpecial) { ps.NoRaceFunc = true })
   126  	}
   127  	for _, pkg := range allowAsmABIPkgs {
   128  		set(pkg, func(ps *PkgSpecial) { ps.AllowAsmABI = true })
   129  	}
   130  	return pkgSpecials
   131  })
   132  

View as plain text