github.com/twelsh-aw/go/src@v0.0.0-20230516233729-a56fe86a7c81/runtime/runtime2.go (about) 1 // Copyright 2009 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 runtime 6 7 import ( 8 "internal/abi" 9 "internal/goarch" 10 "runtime/internal/atomic" 11 "runtime/internal/sys" 12 "unsafe" 13 ) 14 15 // defined constants 16 const ( 17 // G status 18 // 19 // Beyond indicating the general state of a G, the G status 20 // acts like a lock on the goroutine's stack (and hence its 21 // ability to execute user code). 22 // 23 // If you add to this list, add to the list 24 // of "okay during garbage collection" status 25 // in mgcmark.go too. 26 // 27 // TODO(austin): The _Gscan bit could be much lighter-weight. 28 // For example, we could choose not to run _Gscanrunnable 29 // goroutines found in the run queue, rather than CAS-looping 30 // until they become _Grunnable. And transitions like 31 // _Gscanwaiting -> _Gscanrunnable are actually okay because 32 // they don't affect stack ownership. 33 34 // _Gidle means this goroutine was just allocated and has not 35 // yet been initialized. 36 _Gidle = iota // 0 37 38 // _Grunnable means this goroutine is on a run queue. It is 39 // not currently executing user code. The stack is not owned. 40 _Grunnable // 1 41 42 // _Grunning means this goroutine may execute user code. The 43 // stack is owned by this goroutine. It is not on a run queue. 44 // It is assigned an M and a P (g.m and g.m.p are valid). 45 _Grunning // 2 46 47 // _Gsyscall means this goroutine is executing a system call. 48 // It is not executing user code. The stack is owned by this 49 // goroutine. It is not on a run queue. It is assigned an M. 50 _Gsyscall // 3 51 52 // _Gwaiting means this goroutine is blocked in the runtime. 53 // It is not executing user code. It is not on a run queue, 54 // but should be recorded somewhere (e.g., a channel wait 55 // queue) so it can be ready()d when necessary. The stack is 56 // not owned *except* that a channel operation may read or 57 // write parts of the stack under the appropriate channel 58 // lock. Otherwise, it is not safe to access the stack after a 59 // goroutine enters _Gwaiting (e.g., it may get moved). 60 _Gwaiting // 4 61 62 // _Gmoribund_unused is currently unused, but hardcoded in gdb 63 // scripts. 64 _Gmoribund_unused // 5 65 66 // _Gdead means this goroutine is currently unused. It may be 67 // just exited, on a free list, or just being initialized. It 68 // is not executing user code. It may or may not have a stack 69 // allocated. The G and its stack (if any) are owned by the M 70 // that is exiting the G or that obtained the G from the free 71 // list. 72 _Gdead // 6 73 74 // _Genqueue_unused is currently unused. 75 _Genqueue_unused // 7 76 77 // _Gcopystack means this goroutine's stack is being moved. It 78 // is not executing user code and is not on a run queue. The 79 // stack is owned by the goroutine that put it in _Gcopystack. 80 _Gcopystack // 8 81 82 // _Gpreempted means this goroutine stopped itself for a 83 // suspendG preemption. It is like _Gwaiting, but nothing is 84 // yet responsible for ready()ing it. Some suspendG must CAS 85 // the status to _Gwaiting to take responsibility for 86 // ready()ing this G. 87 _Gpreempted // 9 88 89 // _Gscan combined with one of the above states other than 90 // _Grunning indicates that GC is scanning the stack. The 91 // goroutine is not executing user code and the stack is owned 92 // by the goroutine that set the _Gscan bit. 93 // 94 // _Gscanrunning is different: it is used to briefly block 95 // state transitions while GC signals the G to scan its own 96 // stack. This is otherwise like _Grunning. 97 // 98 // atomicstatus&~Gscan gives the state the goroutine will 99 // return to when the scan completes. 100 _Gscan = 0x1000 101 _Gscanrunnable = _Gscan + _Grunnable // 0x1001 102 _Gscanrunning = _Gscan + _Grunning // 0x1002 103 _Gscansyscall = _Gscan + _Gsyscall // 0x1003 104 _Gscanwaiting = _Gscan + _Gwaiting // 0x1004 105 _Gscanpreempted = _Gscan + _Gpreempted // 0x1009 106 ) 107 108 const ( 109 // P status 110 111 // _Pidle means a P is not being used to run user code or the 112 // scheduler. Typically, it's on the idle P list and available 113 // to the scheduler, but it may just be transitioning between 114 // other states. 115 // 116 // The P is owned by the idle list or by whatever is 117 // transitioning its state. Its run queue is empty. 118 _Pidle = iota 119 120 // _Prunning means a P is owned by an M and is being used to 121 // run user code or the scheduler. Only the M that owns this P 122 // is allowed to change the P's status from _Prunning. The M 123 // may transition the P to _Pidle (if it has no more work to 124 // do), _Psyscall (when entering a syscall), or _Pgcstop (to 125 // halt for the GC). The M may also hand ownership of the P 126 // off directly to another M (e.g., to schedule a locked G). 127 _Prunning 128 129 // _Psyscall means a P is not running user code. It has 130 // affinity to an M in a syscall but is not owned by it and 131 // may be stolen by another M. This is similar to _Pidle but 132 // uses lightweight transitions and maintains M affinity. 133 // 134 // Leaving _Psyscall must be done with a CAS, either to steal 135 // or retake the P. Note that there's an ABA hazard: even if 136 // an M successfully CASes its original P back to _Prunning 137 // after a syscall, it must understand the P may have been 138 // used by another M in the interim. 139 _Psyscall 140 141 // _Pgcstop means a P is halted for STW and owned by the M 142 // that stopped the world. The M that stopped the world 143 // continues to use its P, even in _Pgcstop. Transitioning 144 // from _Prunning to _Pgcstop causes an M to release its P and 145 // park. 146 // 147 // The P retains its run queue and startTheWorld will restart 148 // the scheduler on Ps with non-empty run queues. 149 _Pgcstop 150 151 // _Pdead means a P is no longer used (GOMAXPROCS shrank). We 152 // reuse Ps if GOMAXPROCS increases. A dead P is mostly 153 // stripped of its resources, though a few things remain 154 // (e.g., trace buffers). 155 _Pdead 156 ) 157 158 // Mutual exclusion locks. In the uncontended case, 159 // as fast as spin locks (just a few user-level instructions), 160 // but on the contention path they sleep in the kernel. 161 // A zeroed Mutex is unlocked (no need to initialize each lock). 162 // Initialization is helpful for static lock ranking, but not required. 163 type mutex struct { 164 // Empty struct if lock ranking is disabled, otherwise includes the lock rank 165 lockRankStruct 166 // Futex-based impl treats it as uint32 key, 167 // while sema-based impl as M* waitm. 168 // Used to be a union, but unions break precise GC. 169 key uintptr 170 } 171 172 // sleep and wakeup on one-time events. 173 // before any calls to notesleep or notewakeup, 174 // must call noteclear to initialize the Note. 175 // then, exactly one thread can call notesleep 176 // and exactly one thread can call notewakeup (once). 177 // once notewakeup has been called, the notesleep 178 // will return. future notesleep will return immediately. 179 // subsequent noteclear must be called only after 180 // previous notesleep has returned, e.g. it's disallowed 181 // to call noteclear straight after notewakeup. 182 // 183 // notetsleep is like notesleep but wakes up after 184 // a given number of nanoseconds even if the event 185 // has not yet happened. if a goroutine uses notetsleep to 186 // wake up early, it must wait to call noteclear until it 187 // can be sure that no other goroutine is calling 188 // notewakeup. 189 // 190 // notesleep/notetsleep are generally called on g0, 191 // notetsleepg is similar to notetsleep but is called on user g. 192 type note struct { 193 // Futex-based impl treats it as uint32 key, 194 // while sema-based impl as M* waitm. 195 // Used to be a union, but unions break precise GC. 196 key uintptr 197 } 198 199 type funcval struct { 200 fn uintptr 201 // variable-size, fn-specific data here 202 } 203 204 type iface struct { 205 tab *itab 206 data unsafe.Pointer 207 } 208 209 type eface struct { 210 _type *_type 211 data unsafe.Pointer 212 } 213 214 func efaceOf(ep *any) *eface { 215 return (*eface)(unsafe.Pointer(ep)) 216 } 217 218 // The guintptr, muintptr, and puintptr are all used to bypass write barriers. 219 // It is particularly important to avoid write barriers when the current P has 220 // been released, because the GC thinks the world is stopped, and an 221 // unexpected write barrier would not be synchronized with the GC, 222 // which can lead to a half-executed write barrier that has marked the object 223 // but not queued it. If the GC skips the object and completes before the 224 // queuing can occur, it will incorrectly free the object. 225 // 226 // We tried using special assignment functions invoked only when not 227 // holding a running P, but then some updates to a particular memory 228 // word went through write barriers and some did not. This breaks the 229 // write barrier shadow checking mode, and it is also scary: better to have 230 // a word that is completely ignored by the GC than to have one for which 231 // only a few updates are ignored. 232 // 233 // Gs and Ps are always reachable via true pointers in the 234 // allgs and allp lists or (during allocation before they reach those lists) 235 // from stack variables. 236 // 237 // Ms are always reachable via true pointers either from allm or 238 // freem. Unlike Gs and Ps we do free Ms, so it's important that 239 // nothing ever hold an muintptr across a safe point. 240 241 // A guintptr holds a goroutine pointer, but typed as a uintptr 242 // to bypass write barriers. It is used in the Gobuf goroutine state 243 // and in scheduling lists that are manipulated without a P. 244 // 245 // The Gobuf.g goroutine pointer is almost always updated by assembly code. 246 // In one of the few places it is updated by Go code - func save - it must be 247 // treated as a uintptr to avoid a write barrier being emitted at a bad time. 248 // Instead of figuring out how to emit the write barriers missing in the 249 // assembly manipulation, we change the type of the field to uintptr, 250 // so that it does not require write barriers at all. 251 // 252 // Goroutine structs are published in the allg list and never freed. 253 // That will keep the goroutine structs from being collected. 254 // There is never a time that Gobuf.g's contain the only references 255 // to a goroutine: the publishing of the goroutine in allg comes first. 256 // Goroutine pointers are also kept in non-GC-visible places like TLS, 257 // so I can't see them ever moving. If we did want to start moving data 258 // in the GC, we'd need to allocate the goroutine structs from an 259 // alternate arena. Using guintptr doesn't make that problem any worse. 260 // Note that pollDesc.rg, pollDesc.wg also store g in uintptr form, 261 // so they would need to be updated too if g's start moving. 262 type guintptr uintptr 263 264 //go:nosplit 265 func (gp guintptr) ptr() *g { return (*g)(unsafe.Pointer(gp)) } 266 267 //go:nosplit 268 func (gp *guintptr) set(g *g) { *gp = guintptr(unsafe.Pointer(g)) } 269 270 //go:nosplit 271 func (gp *guintptr) cas(old, new guintptr) bool { 272 return atomic.Casuintptr((*uintptr)(unsafe.Pointer(gp)), uintptr(old), uintptr(new)) 273 } 274 275 //go:nosplit 276 func (gp *g) guintptr() guintptr { 277 return guintptr(unsafe.Pointer(gp)) 278 } 279 280 // setGNoWB performs *gp = new without a write barrier. 281 // For times when it's impractical to use a guintptr. 282 // 283 //go:nosplit 284 //go:nowritebarrier 285 func setGNoWB(gp **g, new *g) { 286 (*guintptr)(unsafe.Pointer(gp)).set(new) 287 } 288 289 type puintptr uintptr 290 291 //go:nosplit 292 func (pp puintptr) ptr() *p { return (*p)(unsafe.Pointer(pp)) } 293 294 //go:nosplit 295 func (pp *puintptr) set(p *p) { *pp = puintptr(unsafe.Pointer(p)) } 296 297 // muintptr is a *m that is not tracked by the garbage collector. 298 // 299 // Because we do free Ms, there are some additional constrains on 300 // muintptrs: 301 // 302 // 1. Never hold an muintptr locally across a safe point. 303 // 304 // 2. Any muintptr in the heap must be owned by the M itself so it can 305 // ensure it is not in use when the last true *m is released. 306 type muintptr uintptr 307 308 //go:nosplit 309 func (mp muintptr) ptr() *m { return (*m)(unsafe.Pointer(mp)) } 310 311 //go:nosplit 312 func (mp *muintptr) set(m *m) { *mp = muintptr(unsafe.Pointer(m)) } 313 314 // setMNoWB performs *mp = new without a write barrier. 315 // For times when it's impractical to use an muintptr. 316 // 317 //go:nosplit 318 //go:nowritebarrier 319 func setMNoWB(mp **m, new *m) { 320 (*muintptr)(unsafe.Pointer(mp)).set(new) 321 } 322 323 type gobuf struct { 324 // The offsets of sp, pc, and g are known to (hard-coded in) libmach. 325 // 326 // ctxt is unusual with respect to GC: it may be a 327 // heap-allocated funcval, so GC needs to track it, but it 328 // needs to be set and cleared from assembly, where it's 329 // difficult to have write barriers. However, ctxt is really a 330 // saved, live register, and we only ever exchange it between 331 // the real register and the gobuf. Hence, we treat it as a 332 // root during stack scanning, which means assembly that saves 333 // and restores it doesn't need write barriers. It's still 334 // typed as a pointer so that any other writes from Go get 335 // write barriers. 336 sp uintptr 337 pc uintptr 338 g guintptr 339 ctxt unsafe.Pointer 340 ret uintptr 341 lr uintptr 342 bp uintptr // for framepointer-enabled architectures 343 } 344 345 // sudog represents a g in a wait list, such as for sending/receiving 346 // on a channel. 347 // 348 // sudog is necessary because the g ↔ synchronization object relation 349 // is many-to-many. A g can be on many wait lists, so there may be 350 // many sudogs for one g; and many gs may be waiting on the same 351 // synchronization object, so there may be many sudogs for one object. 352 // 353 // sudogs are allocated from a special pool. Use acquireSudog and 354 // releaseSudog to allocate and free them. 355 type sudog struct { 356 // The following fields are protected by the hchan.lock of the 357 // channel this sudog is blocking on. shrinkstack depends on 358 // this for sudogs involved in channel ops. 359 360 g *g 361 362 next *sudog 363 prev *sudog 364 elem unsafe.Pointer // data element (may point to stack) 365 366 // The following fields are never accessed concurrently. 367 // For channels, waitlink is only accessed by g. 368 // For semaphores, all fields (including the ones above) 369 // are only accessed when holding a semaRoot lock. 370 371 acquiretime int64 372 releasetime int64 373 ticket uint32 374 375 // isSelect indicates g is participating in a select, so 376 // g.selectDone must be CAS'd to win the wake-up race. 377 isSelect bool 378 379 // success indicates whether communication over channel c 380 // succeeded. It is true if the goroutine was awoken because a 381 // value was delivered over channel c, and false if awoken 382 // because c was closed. 383 success bool 384 385 parent *sudog // semaRoot binary tree 386 waitlink *sudog // g.waiting list or semaRoot 387 waittail *sudog // semaRoot 388 c *hchan // channel 389 } 390 391 type libcall struct { 392 fn uintptr 393 n uintptr // number of parameters 394 args uintptr // parameters 395 r1 uintptr // return values 396 r2 uintptr 397 err uintptr // error number 398 } 399 400 // Stack describes a Go execution stack. 401 // The bounds of the stack are exactly [lo, hi), 402 // with no implicit data structures on either side. 403 type stack struct { 404 lo uintptr 405 hi uintptr 406 } 407 408 // heldLockInfo gives info on a held lock and the rank of that lock 409 type heldLockInfo struct { 410 lockAddr uintptr 411 rank lockRank 412 } 413 414 type g struct { 415 // Stack parameters. 416 // stack describes the actual stack memory: [stack.lo, stack.hi). 417 // stackguard0 is the stack pointer compared in the Go stack growth prologue. 418 // It is stack.lo+StackGuard normally, but can be StackPreempt to trigger a preemption. 419 // stackguard1 is the stack pointer compared in the C stack growth prologue. 420 // It is stack.lo+StackGuard on g0 and gsignal stacks. 421 // It is ~0 on other goroutine stacks, to trigger a call to morestackc (and crash). 422 stack stack // offset known to runtime/cgo 423 stackguard0 uintptr // offset known to liblink 424 stackguard1 uintptr // offset known to liblink 425 426 _panic *_panic // innermost panic - offset known to liblink 427 _defer *_defer // innermost defer 428 m *m // current m; offset known to arm liblink 429 sched gobuf 430 syscallsp uintptr // if status==Gsyscall, syscallsp = sched.sp to use during gc 431 syscallpc uintptr // if status==Gsyscall, syscallpc = sched.pc to use during gc 432 stktopsp uintptr // expected sp at top of stack, to check in traceback 433 // param is a generic pointer parameter field used to pass 434 // values in particular contexts where other storage for the 435 // parameter would be difficult to find. It is currently used 436 // in three ways: 437 // 1. When a channel operation wakes up a blocked goroutine, it sets param to 438 // point to the sudog of the completed blocking operation. 439 // 2. By gcAssistAlloc1 to signal back to its caller that the goroutine completed 440 // the GC cycle. It is unsafe to do so in any other way, because the goroutine's 441 // stack may have moved in the meantime. 442 // 3. By debugCallWrap to pass parameters to a new goroutine because allocating a 443 // closure in the runtime is forbidden. 444 param unsafe.Pointer 445 atomicstatus atomic.Uint32 446 stackLock uint32 // sigprof/scang lock; TODO: fold in to atomicstatus 447 goid uint64 448 schedlink guintptr 449 waitsince int64 // approx time when the g become blocked 450 waitreason waitReason // if status==Gwaiting 451 452 preempt bool // preemption signal, duplicates stackguard0 = stackpreempt 453 preemptStop bool // transition to _Gpreempted on preemption; otherwise, just deschedule 454 preemptShrink bool // shrink stack at synchronous safe point 455 456 // asyncSafePoint is set if g is stopped at an asynchronous 457 // safe point. This means there are frames on the stack 458 // without precise pointer information. 459 asyncSafePoint bool 460 461 paniconfault bool // panic (instead of crash) on unexpected fault address 462 gcscandone bool // g has scanned stack; protected by _Gscan bit in status 463 throwsplit bool // must not split stack 464 // activeStackChans indicates that there are unlocked channels 465 // pointing into this goroutine's stack. If true, stack 466 // copying needs to acquire channel locks to protect these 467 // areas of the stack. 468 activeStackChans bool 469 // parkingOnChan indicates that the goroutine is about to 470 // park on a chansend or chanrecv. Used to signal an unsafe point 471 // for stack shrinking. 472 parkingOnChan atomic.Bool 473 474 raceignore int8 // ignore race detection events 475 sysblocktraced bool // StartTrace has emitted EvGoInSyscall about this goroutine 476 tracking bool // whether we're tracking this G for sched latency statistics 477 trackingSeq uint8 // used to decide whether to track this G 478 trackingStamp int64 // timestamp of when the G last started being tracked 479 runnableTime int64 // the amount of time spent runnable, cleared when running, only used when tracking 480 sysexitticks int64 // cputicks when syscall has returned (for tracing) 481 traceseq uint64 // trace event sequencer 482 tracelastp puintptr // last P emitted an event for this goroutine 483 lockedm muintptr 484 sig uint32 485 writebuf []byte 486 sigcode0 uintptr 487 sigcode1 uintptr 488 sigpc uintptr 489 parentGoid uint64 // goid of goroutine that created this goroutine 490 gopc uintptr // pc of go statement that created this goroutine 491 ancestors *[]ancestorInfo // ancestor information goroutine(s) that created this goroutine (only used if debug.tracebackancestors) 492 startpc uintptr // pc of goroutine function 493 racectx uintptr 494 waiting *sudog // sudog structures this g is waiting on (that have a valid elem ptr); in lock order 495 cgoCtxt []uintptr // cgo traceback context 496 labels unsafe.Pointer // profiler labels 497 timer *timer // cached timer for time.Sleep 498 selectDone atomic.Uint32 // are we participating in a select and did someone win the race? 499 500 // goroutineProfiled indicates the status of this goroutine's stack for the 501 // current in-progress goroutine profile 502 goroutineProfiled goroutineProfileStateHolder 503 504 // Per-G GC state 505 506 // gcAssistBytes is this G's GC assist credit in terms of 507 // bytes allocated. If this is positive, then the G has credit 508 // to allocate gcAssistBytes bytes without assisting. If this 509 // is negative, then the G must correct this by performing 510 // scan work. We track this in bytes to make it fast to update 511 // and check for debt in the malloc hot path. The assist ratio 512 // determines how this corresponds to scan work debt. 513 gcAssistBytes int64 514 } 515 516 // gTrackingPeriod is the number of transitions out of _Grunning between 517 // latency tracking runs. 518 const gTrackingPeriod = 8 519 520 const ( 521 // tlsSlots is the number of pointer-sized slots reserved for TLS on some platforms, 522 // like Windows. 523 tlsSlots = 6 524 tlsSize = tlsSlots * goarch.PtrSize 525 ) 526 527 // Values for m.freeWait. 528 const ( 529 freeMStack = 0 // M done, free stack and reference. 530 freeMRef = 1 // M done, free reference. 531 freeMWait = 2 // M still in use. 532 ) 533 534 type m struct { 535 g0 *g // goroutine with scheduling stack 536 morebuf gobuf // gobuf arg to morestack 537 divmod uint32 // div/mod denominator for arm - known to liblink 538 _ uint32 // align next field to 8 bytes 539 540 // Fields not known to debuggers. 541 procid uint64 // for debuggers, but offset not hard-coded 542 gsignal *g // signal-handling g 543 goSigStack gsignalStack // Go-allocated signal handling stack 544 sigmask sigset // storage for saved signal mask 545 tls [tlsSlots]uintptr // thread-local storage (for x86 extern register) 546 mstartfn func() 547 curg *g // current running goroutine 548 caughtsig guintptr // goroutine running during fatal signal 549 p puintptr // attached p for executing go code (nil if not executing go code) 550 nextp puintptr 551 oldp puintptr // the p that was attached before executing a syscall 552 id int64 553 mallocing int32 554 throwing throwType 555 preemptoff string // if != "", keep curg running on this m 556 locks int32 557 dying int32 558 profilehz int32 559 spinning bool // m is out of work and is actively looking for work 560 blocked bool // m is blocked on a note 561 newSigstack bool // minit on C thread called sigaltstack 562 printlock int8 563 incgo bool // m is executing a cgo call 564 isextra bool // m is an extra m 565 freeWait atomic.Uint32 // Whether it is safe to free g0 and delete m (one of freeMRef, freeMStack, freeMWait) 566 fastrand uint64 567 needextram bool 568 traceback uint8 569 ncgocall uint64 // number of cgo calls in total 570 ncgo int32 // number of cgo calls currently in progress 571 cgoCallersUse atomic.Uint32 // if non-zero, cgoCallers in use temporarily 572 cgoCallers *cgoCallers // cgo traceback if crashing in cgo call 573 park note 574 alllink *m // on allm 575 schedlink muintptr 576 lockedg guintptr 577 createstack [32]uintptr // stack that created this thread. 578 lockedExt uint32 // tracking for external LockOSThread 579 lockedInt uint32 // tracking for internal lockOSThread 580 nextwaitm muintptr // next m waiting for lock 581 waitunlockf func(*g, unsafe.Pointer) bool 582 waitlock unsafe.Pointer 583 waittraceev byte 584 waittraceskip int 585 startingtrace bool 586 syscalltick uint32 587 freelink *m // on sched.freem 588 589 // these are here because they are too large to be on the stack 590 // of low-level NOSPLIT functions. 591 libcall libcall 592 libcallpc uintptr // for cpu profiler 593 libcallsp uintptr 594 libcallg guintptr 595 syscall libcall // stores syscall parameters on windows 596 597 vdsoSP uintptr // SP for traceback while in VDSO call (0 if not in call) 598 vdsoPC uintptr // PC for traceback while in VDSO call 599 600 // preemptGen counts the number of completed preemption 601 // signals. This is used to detect when a preemption is 602 // requested, but fails. 603 preemptGen atomic.Uint32 604 605 // Whether this is a pending preemption signal on this M. 606 signalPending atomic.Uint32 607 608 dlogPerM 609 610 mOS 611 612 // Up to 10 locks held by this m, maintained by the lock ranking code. 613 locksHeldLen int 614 locksHeld [10]heldLockInfo 615 } 616 617 type p struct { 618 id int32 619 status uint32 // one of pidle/prunning/... 620 link puintptr 621 schedtick uint32 // incremented on every scheduler call 622 syscalltick uint32 // incremented on every system call 623 sysmontick sysmontick // last tick observed by sysmon 624 m muintptr // back-link to associated m (nil if idle) 625 mcache *mcache 626 pcache pageCache 627 raceprocctx uintptr 628 629 deferpool []*_defer // pool of available defer structs (see panic.go) 630 deferpoolbuf [32]*_defer 631 632 // Cache of goroutine ids, amortizes accesses to runtime·sched.goidgen. 633 goidcache uint64 634 goidcacheend uint64 635 636 // Queue of runnable goroutines. Accessed without lock. 637 runqhead uint32 638 runqtail uint32 639 runq [256]guintptr 640 // runnext, if non-nil, is a runnable G that was ready'd by 641 // the current G and should be run next instead of what's in 642 // runq if there's time remaining in the running G's time 643 // slice. It will inherit the time left in the current time 644 // slice. If a set of goroutines is locked in a 645 // communicate-and-wait pattern, this schedules that set as a 646 // unit and eliminates the (potentially large) scheduling 647 // latency that otherwise arises from adding the ready'd 648 // goroutines to the end of the run queue. 649 // 650 // Note that while other P's may atomically CAS this to zero, 651 // only the owner P can CAS it to a valid G. 652 runnext guintptr 653 654 // Available G's (status == Gdead) 655 gFree struct { 656 gList 657 n int32 658 } 659 660 sudogcache []*sudog 661 sudogbuf [128]*sudog 662 663 // Cache of mspan objects from the heap. 664 mspancache struct { 665 // We need an explicit length here because this field is used 666 // in allocation codepaths where write barriers are not allowed, 667 // and eliminating the write barrier/keeping it eliminated from 668 // slice updates is tricky, more so than just managing the length 669 // ourselves. 670 len int 671 buf [128]*mspan 672 } 673 674 tracebuf traceBufPtr 675 676 // traceSweep indicates the sweep events should be traced. 677 // This is used to defer the sweep start event until a span 678 // has actually been swept. 679 traceSweep bool 680 // traceSwept and traceReclaimed track the number of bytes 681 // swept and reclaimed by sweeping in the current sweep loop. 682 traceSwept, traceReclaimed uintptr 683 684 palloc persistentAlloc // per-P to avoid mutex 685 686 // The when field of the first entry on the timer heap. 687 // This is 0 if the timer heap is empty. 688 timer0When atomic.Int64 689 690 // The earliest known nextwhen field of a timer with 691 // timerModifiedEarlier status. Because the timer may have been 692 // modified again, there need not be any timer with this value. 693 // This is 0 if there are no timerModifiedEarlier timers. 694 timerModifiedEarliest atomic.Int64 695 696 // Per-P GC state 697 gcAssistTime int64 // Nanoseconds in assistAlloc 698 gcFractionalMarkTime int64 // Nanoseconds in fractional mark worker (atomic) 699 700 // limiterEvent tracks events for the GC CPU limiter. 701 limiterEvent limiterEvent 702 703 // gcMarkWorkerMode is the mode for the next mark worker to run in. 704 // That is, this is used to communicate with the worker goroutine 705 // selected for immediate execution by 706 // gcController.findRunnableGCWorker. When scheduling other goroutines, 707 // this field must be set to gcMarkWorkerNotWorker. 708 gcMarkWorkerMode gcMarkWorkerMode 709 // gcMarkWorkerStartTime is the nanotime() at which the most recent 710 // mark worker started. 711 gcMarkWorkerStartTime int64 712 713 // gcw is this P's GC work buffer cache. The work buffer is 714 // filled by write barriers, drained by mutator assists, and 715 // disposed on certain GC state transitions. 716 gcw gcWork 717 718 // wbBuf is this P's GC write barrier buffer. 719 // 720 // TODO: Consider caching this in the running G. 721 wbBuf wbBuf 722 723 runSafePointFn uint32 // if 1, run sched.safePointFn at next safe point 724 725 // statsSeq is a counter indicating whether this P is currently 726 // writing any stats. Its value is even when not, odd when it is. 727 statsSeq atomic.Uint32 728 729 // Lock for timers. We normally access the timers while running 730 // on this P, but the scheduler can also do it from a different P. 731 timersLock mutex 732 733 // Actions to take at some time. This is used to implement the 734 // standard library's time package. 735 // Must hold timersLock to access. 736 timers []*timer 737 738 // Number of timers in P's heap. 739 numTimers atomic.Uint32 740 741 // Number of timerDeleted timers in P's heap. 742 deletedTimers atomic.Uint32 743 744 // Race context used while executing timer functions. 745 timerRaceCtx uintptr 746 747 // maxStackScanDelta accumulates the amount of stack space held by 748 // live goroutines (i.e. those eligible for stack scanning). 749 // Flushed to gcController.maxStackScan once maxStackScanSlack 750 // or -maxStackScanSlack is reached. 751 maxStackScanDelta int64 752 753 // gc-time statistics about current goroutines 754 // Note that this differs from maxStackScan in that this 755 // accumulates the actual stack observed to be used at GC time (hi - sp), 756 // not an instantaneous measure of the total stack size that might need 757 // to be scanned (hi - lo). 758 scannedStackSize uint64 // stack size of goroutines scanned by this P 759 scannedStacks uint64 // number of goroutines scanned by this P 760 761 // preempt is set to indicate that this P should be enter the 762 // scheduler ASAP (regardless of what G is running on it). 763 preempt bool 764 765 // pageTraceBuf is a buffer for writing out page allocation/free/scavenge traces. 766 // 767 // Used only if GOEXPERIMENT=pagetrace. 768 pageTraceBuf pageTraceBuf 769 770 // Padding is no longer needed. False sharing is now not a worry because p is large enough 771 // that its size class is an integer multiple of the cache line size (for any of our architectures). 772 } 773 774 type schedt struct { 775 goidgen atomic.Uint64 776 lastpoll atomic.Int64 // time of last network poll, 0 if currently polling 777 pollUntil atomic.Int64 // time to which current poll is sleeping 778 779 lock mutex 780 781 // When increasing nmidle, nmidlelocked, nmsys, or nmfreed, be 782 // sure to call checkdead(). 783 784 midle muintptr // idle m's waiting for work 785 nmidle int32 // number of idle m's waiting for work 786 nmidlelocked int32 // number of locked m's waiting for work 787 mnext int64 // number of m's that have been created and next M ID 788 maxmcount int32 // maximum number of m's allowed (or die) 789 nmsys int32 // number of system m's not counted for deadlock 790 nmfreed int64 // cumulative number of freed m's 791 792 ngsys atomic.Int32 // number of system goroutines 793 794 pidle puintptr // idle p's 795 npidle atomic.Int32 796 nmspinning atomic.Int32 // See "Worker thread parking/unparking" comment in proc.go. 797 needspinning atomic.Uint32 // See "Delicate dance" comment in proc.go. Boolean. Must hold sched.lock to set to 1. 798 799 // Global runnable queue. 800 runq gQueue 801 runqsize int32 802 803 // disable controls selective disabling of the scheduler. 804 // 805 // Use schedEnableUser to control this. 806 // 807 // disable is protected by sched.lock. 808 disable struct { 809 // user disables scheduling of user goroutines. 810 user bool 811 runnable gQueue // pending runnable Gs 812 n int32 // length of runnable 813 } 814 815 // Global cache of dead G's. 816 gFree struct { 817 lock mutex 818 stack gList // Gs with stacks 819 noStack gList // Gs without stacks 820 n int32 821 } 822 823 // Central cache of sudog structs. 824 sudoglock mutex 825 sudogcache *sudog 826 827 // Central pool of available defer structs. 828 deferlock mutex 829 deferpool *_defer 830 831 // freem is the list of m's waiting to be freed when their 832 // m.exited is set. Linked through m.freelink. 833 freem *m 834 835 gcwaiting atomic.Bool // gc is waiting to run 836 stopwait int32 837 stopnote note 838 sysmonwait atomic.Bool 839 sysmonnote note 840 841 // safepointFn should be called on each P at the next GC 842 // safepoint if p.runSafePointFn is set. 843 safePointFn func(*p) 844 safePointWait int32 845 safePointNote note 846 847 profilehz int32 // cpu profiling rate 848 849 procresizetime int64 // nanotime() of last change to gomaxprocs 850 totaltime int64 // ∫gomaxprocs dt up to procresizetime 851 852 // sysmonlock protects sysmon's actions on the runtime. 853 // 854 // Acquire and hold this mutex to block sysmon from interacting 855 // with the rest of the runtime. 856 sysmonlock mutex 857 858 // timeToRun is a distribution of scheduling latencies, defined 859 // as the sum of time a G spends in the _Grunnable state before 860 // it transitions to _Grunning. 861 timeToRun timeHistogram 862 863 // idleTime is the total CPU time Ps have "spent" idle. 864 // 865 // Reset on each GC cycle. 866 idleTime atomic.Int64 867 868 // totalMutexWaitTime is the sum of time goroutines have spent in _Gwaiting 869 // with a waitreason of the form waitReasonSync{RW,}Mutex{R,}Lock. 870 totalMutexWaitTime atomic.Int64 871 } 872 873 // Values for the flags field of a sigTabT. 874 const ( 875 _SigNotify = 1 << iota // let signal.Notify have signal, even if from kernel 876 _SigKill // if signal.Notify doesn't take it, exit quietly 877 _SigThrow // if signal.Notify doesn't take it, exit loudly 878 _SigPanic // if the signal is from the kernel, panic 879 _SigDefault // if the signal isn't explicitly requested, don't monitor it 880 _SigGoExit // cause all runtime procs to exit (only used on Plan 9). 881 _SigSetStack // Don't explicitly install handler, but add SA_ONSTACK to existing libc handler 882 _SigUnblock // always unblock; see blockableSig 883 _SigIgn // _SIG_DFL action is to ignore the signal 884 ) 885 886 // Layout of in-memory per-function information prepared by linker 887 // See https://golang.org/s/go12symtab. 888 // Keep in sync with linker (../cmd/link/internal/ld/pcln.go:/pclntab) 889 // and with package debug/gosym and with symtab.go in package runtime. 890 type _func struct { 891 sys.NotInHeap // Only in static data 892 893 entryOff uint32 // start pc, as offset from moduledata.text/pcHeader.textStart 894 nameOff int32 // function name, as index into moduledata.funcnametab. 895 896 args int32 // in/out args size 897 deferreturn uint32 // offset of start of a deferreturn call instruction from entry, if any. 898 899 pcsp uint32 900 pcfile uint32 901 pcln uint32 902 npcdata uint32 903 cuOffset uint32 // runtime.cutab offset of this function's CU 904 startLine int32 // line number of start of function (func keyword/TEXT directive) 905 funcID abi.FuncID // set for certain special runtime functions 906 flag abi.FuncFlag 907 _ [1]byte // pad 908 nfuncdata uint8 // must be last, must end on a uint32-aligned boundary 909 910 // The end of the struct is followed immediately by two variable-length 911 // arrays that reference the pcdata and funcdata locations for this 912 // function. 913 914 // pcdata contains the offset into moduledata.pctab for the start of 915 // that index's table. e.g., 916 // &moduledata.pctab[_func.pcdata[_PCDATA_UnsafePoint]] is the start of 917 // the unsafe point table. 918 // 919 // An offset of 0 indicates that there is no table. 920 // 921 // pcdata [npcdata]uint32 922 923 // funcdata contains the offset past moduledata.gofunc which contains a 924 // pointer to that index's funcdata. e.g., 925 // *(moduledata.gofunc + _func.funcdata[_FUNCDATA_ArgsPointerMaps]) is 926 // the argument pointer map. 927 // 928 // An offset of ^uint32(0) indicates that there is no entry. 929 // 930 // funcdata [nfuncdata]uint32 931 } 932 933 // Pseudo-Func that is returned for PCs that occur in inlined code. 934 // A *Func can be either a *_func or a *funcinl, and they are distinguished 935 // by the first uintptr. 936 // 937 // TODO(austin): Can we merge this with inlinedCall? 938 type funcinl struct { 939 ones uint32 // set to ^0 to distinguish from _func 940 entry uintptr // entry of the real (the "outermost") frame 941 name string 942 file string 943 line int32 944 startLine int32 945 } 946 947 // layout of Itab known to compilers 948 // allocated in non-garbage-collected memory 949 // Needs to be in sync with 950 // ../cmd/compile/internal/reflectdata/reflect.go:/^func.WriteTabs. 951 type itab struct { 952 inter *interfacetype 953 _type *_type 954 hash uint32 // copy of _type.hash. Used for type switches. 955 _ [4]byte 956 fun [1]uintptr // variable sized. fun[0]==0 means _type does not implement inter. 957 } 958 959 // Lock-free stack node. 960 // Also known to export_test.go. 961 type lfnode struct { 962 next uint64 963 pushcnt uintptr 964 } 965 966 type forcegcstate struct { 967 lock mutex 968 g *g 969 idle atomic.Bool 970 } 971 972 // extendRandom extends the random numbers in r[:n] to the whole slice r. 973 // Treats n<0 as n==0. 974 func extendRandom(r []byte, n int) { 975 if n < 0 { 976 n = 0 977 } 978 for n < len(r) { 979 // Extend random bits using hash function & time seed 980 w := n 981 if w > 16 { 982 w = 16 983 } 984 h := memhash(unsafe.Pointer(&r[n-w]), uintptr(nanotime()), uintptr(w)) 985 for i := 0; i < goarch.PtrSize && n < len(r); i++ { 986 r[n] = byte(h) 987 n++ 988 h >>= 8 989 } 990 } 991 } 992 993 // A _defer holds an entry on the list of deferred calls. 994 // If you add a field here, add code to clear it in deferProcStack. 995 // This struct must match the code in cmd/compile/internal/ssagen/ssa.go:deferstruct 996 // and cmd/compile/internal/ssagen/ssa.go:(*state).call. 997 // Some defers will be allocated on the stack and some on the heap. 998 // All defers are logically part of the stack, so write barriers to 999 // initialize them are not required. All defers must be manually scanned, 1000 // and for heap defers, marked. 1001 type _defer struct { 1002 started bool 1003 heap bool 1004 // openDefer indicates that this _defer is for a frame with open-coded 1005 // defers. We have only one defer record for the entire frame (which may 1006 // currently have 0, 1, or more defers active). 1007 openDefer bool 1008 sp uintptr // sp at time of defer 1009 pc uintptr // pc at time of defer 1010 fn func() // can be nil for open-coded defers 1011 _panic *_panic // panic that is running defer 1012 link *_defer // next defer on G; can point to either heap or stack! 1013 1014 // If openDefer is true, the fields below record values about the stack 1015 // frame and associated function that has the open-coded defer(s). sp 1016 // above will be the sp for the frame, and pc will be address of the 1017 // deferreturn call in the function. 1018 fd unsafe.Pointer // funcdata for the function associated with the frame 1019 varp uintptr // value of varp for the stack frame 1020 // framepc is the current pc associated with the stack frame. Together, 1021 // with sp above (which is the sp associated with the stack frame), 1022 // framepc/sp can be used as pc/sp pair to continue a stack trace via 1023 // gentraceback(). 1024 framepc uintptr 1025 } 1026 1027 // A _panic holds information about an active panic. 1028 // 1029 // A _panic value must only ever live on the stack. 1030 // 1031 // The argp and link fields are stack pointers, but don't need special 1032 // handling during stack growth: because they are pointer-typed and 1033 // _panic values only live on the stack, regular stack pointer 1034 // adjustment takes care of them. 1035 type _panic struct { 1036 argp unsafe.Pointer // pointer to arguments of deferred call run during panic; cannot move - known to liblink 1037 arg any // argument to panic 1038 link *_panic // link to earlier panic 1039 pc uintptr // where to return to in runtime if this panic is bypassed 1040 sp unsafe.Pointer // where to return to in runtime if this panic is bypassed 1041 recovered bool // whether this panic is over 1042 aborted bool // the panic was aborted 1043 goexit bool 1044 } 1045 1046 // ancestorInfo records details of where a goroutine was started. 1047 type ancestorInfo struct { 1048 pcs []uintptr // pcs from the stack of this goroutine 1049 goid uint64 // goroutine id of this goroutine; original goroutine possibly dead 1050 gopc uintptr // pc of go statement that created this goroutine 1051 } 1052 1053 // A waitReason explains why a goroutine has been stopped. 1054 // See gopark. Do not re-use waitReasons, add new ones. 1055 type waitReason uint8 1056 1057 const ( 1058 waitReasonZero waitReason = iota // "" 1059 waitReasonGCAssistMarking // "GC assist marking" 1060 waitReasonIOWait // "IO wait" 1061 waitReasonChanReceiveNilChan // "chan receive (nil chan)" 1062 waitReasonChanSendNilChan // "chan send (nil chan)" 1063 waitReasonDumpingHeap // "dumping heap" 1064 waitReasonGarbageCollection // "garbage collection" 1065 waitReasonGarbageCollectionScan // "garbage collection scan" 1066 waitReasonPanicWait // "panicwait" 1067 waitReasonSelect // "select" 1068 waitReasonSelectNoCases // "select (no cases)" 1069 waitReasonGCAssistWait // "GC assist wait" 1070 waitReasonGCSweepWait // "GC sweep wait" 1071 waitReasonGCScavengeWait // "GC scavenge wait" 1072 waitReasonChanReceive // "chan receive" 1073 waitReasonChanSend // "chan send" 1074 waitReasonFinalizerWait // "finalizer wait" 1075 waitReasonForceGCIdle // "force gc (idle)" 1076 waitReasonSemacquire // "semacquire" 1077 waitReasonSleep // "sleep" 1078 waitReasonSyncCondWait // "sync.Cond.Wait" 1079 waitReasonSyncMutexLock // "sync.Mutex.Lock" 1080 waitReasonSyncRWMutexRLock // "sync.RWMutex.RLock" 1081 waitReasonSyncRWMutexLock // "sync.RWMutex.Lock" 1082 waitReasonTraceReaderBlocked // "trace reader (blocked)" 1083 waitReasonWaitForGCCycle // "wait for GC cycle" 1084 waitReasonGCWorkerIdle // "GC worker (idle)" 1085 waitReasonGCWorkerActive // "GC worker (active)" 1086 waitReasonPreempted // "preempted" 1087 waitReasonDebugCall // "debug call" 1088 waitReasonGCMarkTermination // "GC mark termination" 1089 waitReasonStoppingTheWorld // "stopping the world" 1090 ) 1091 1092 var waitReasonStrings = [...]string{ 1093 waitReasonZero: "", 1094 waitReasonGCAssistMarking: "GC assist marking", 1095 waitReasonIOWait: "IO wait", 1096 waitReasonChanReceiveNilChan: "chan receive (nil chan)", 1097 waitReasonChanSendNilChan: "chan send (nil chan)", 1098 waitReasonDumpingHeap: "dumping heap", 1099 waitReasonGarbageCollection: "garbage collection", 1100 waitReasonGarbageCollectionScan: "garbage collection scan", 1101 waitReasonPanicWait: "panicwait", 1102 waitReasonSelect: "select", 1103 waitReasonSelectNoCases: "select (no cases)", 1104 waitReasonGCAssistWait: "GC assist wait", 1105 waitReasonGCSweepWait: "GC sweep wait", 1106 waitReasonGCScavengeWait: "GC scavenge wait", 1107 waitReasonChanReceive: "chan receive", 1108 waitReasonChanSend: "chan send", 1109 waitReasonFinalizerWait: "finalizer wait", 1110 waitReasonForceGCIdle: "force gc (idle)", 1111 waitReasonSemacquire: "semacquire", 1112 waitReasonSleep: "sleep", 1113 waitReasonSyncCondWait: "sync.Cond.Wait", 1114 waitReasonSyncMutexLock: "sync.Mutex.Lock", 1115 waitReasonSyncRWMutexRLock: "sync.RWMutex.RLock", 1116 waitReasonSyncRWMutexLock: "sync.RWMutex.Lock", 1117 waitReasonTraceReaderBlocked: "trace reader (blocked)", 1118 waitReasonWaitForGCCycle: "wait for GC cycle", 1119 waitReasonGCWorkerIdle: "GC worker (idle)", 1120 waitReasonGCWorkerActive: "GC worker (active)", 1121 waitReasonPreempted: "preempted", 1122 waitReasonDebugCall: "debug call", 1123 waitReasonGCMarkTermination: "GC mark termination", 1124 waitReasonStoppingTheWorld: "stopping the world", 1125 } 1126 1127 func (w waitReason) String() string { 1128 if w < 0 || w >= waitReason(len(waitReasonStrings)) { 1129 return "unknown wait reason" 1130 } 1131 return waitReasonStrings[w] 1132 } 1133 1134 func (w waitReason) isMutexWait() bool { 1135 return w == waitReasonSyncMutexLock || 1136 w == waitReasonSyncRWMutexRLock || 1137 w == waitReasonSyncRWMutexLock 1138 } 1139 1140 var ( 1141 allm *m 1142 gomaxprocs int32 1143 ncpu int32 1144 forcegc forcegcstate 1145 sched schedt 1146 newprocs int32 1147 1148 // allpLock protects P-less reads and size changes of allp, idlepMask, 1149 // and timerpMask, and all writes to allp. 1150 allpLock mutex 1151 // len(allp) == gomaxprocs; may change at safe points, otherwise 1152 // immutable. 1153 allp []*p 1154 // Bitmask of Ps in _Pidle list, one bit per P. Reads and writes must 1155 // be atomic. Length may change at safe points. 1156 // 1157 // Each P must update only its own bit. In order to maintain 1158 // consistency, a P going idle must the idle mask simultaneously with 1159 // updates to the idle P list under the sched.lock, otherwise a racing 1160 // pidleget may clear the mask before pidleput sets the mask, 1161 // corrupting the bitmap. 1162 // 1163 // N.B., procresize takes ownership of all Ps in stopTheWorldWithSema. 1164 idlepMask pMask 1165 // Bitmask of Ps that may have a timer, one bit per P. Reads and writes 1166 // must be atomic. Length may change at safe points. 1167 timerpMask pMask 1168 1169 // Pool of GC parked background workers. Entries are type 1170 // *gcBgMarkWorkerNode. 1171 gcBgMarkWorkerPool lfstack 1172 1173 // Total number of gcBgMarkWorker goroutines. Protected by worldsema. 1174 gcBgMarkWorkerCount int32 1175 1176 // Information about what cpu features are available. 1177 // Packages outside the runtime should not use these 1178 // as they are not an external api. 1179 // Set on startup in asm_{386,amd64}.s 1180 processorVersionInfo uint32 1181 isIntel bool 1182 1183 goarm uint8 // set by cmd/link on arm systems 1184 ) 1185 1186 // Set by the linker so the runtime can determine the buildmode. 1187 var ( 1188 islibrary bool // -buildmode=c-shared 1189 isarchive bool // -buildmode=c-archive 1190 ) 1191 1192 // Must agree with internal/buildcfg.FramePointerEnabled. 1193 const framepointer_enabled = GOARCH == "amd64" || GOARCH == "arm64"