Repository navigation

coro: add the stackless preemptive runtime core - #2158

Closed

cpunion wants to merge 324 commits into

xgo-dev:mainfrom

cpunion:llvm-coro

Closed

coro: add the stackless preemptive runtime core#2158
cpunion wants to merge 324 commits into
xgo-dev:mainfrom
cpunion:llvm-coro

This pull request is big! We're only showing the most recent 250 commits

Commits on Jul 16, 2026
- feat(coro): demand ABI method table entries
  cpunion
  committed
  8629ea5
- feat(coro): freeze frontend lowered call edges
  cpunion
  committed
  c1b5f56
- feat(ssa): resolve compiler-lowered runtime calls
  cpunion
  committed
  8d09749
- build: sync coroutine bindings with upstream LLVM 22
  cpunion
  committed
  d47b16b
- target(wasm): link freestanding allocator without BDWGC
  cpunion
  committed
  e2d62df
- runtime(coro): add preemptive park and wake core
  cpunion
  committed
  d9694a3
- compiler(coro): lower synchronous Go style onto LLVM frames
  cpunion
  committed
  fa09d82
- docs(coro): record executable park and wasm prototype
  cpunion
  committed
  95288ed
- test(coro): accept LLVM 20 GEP no-wrap flags
  cpunion
  committed
  a63666d
- ci(coro): accept target-selected nogc allocator
  cpunion
  committed
  7bb9c10
- test(coro): keep debug parameters across frame lowering
  cpunion
  committed
  1734c3a
- runtime(coro): add closed static G spawn transaction
  cpunion
  committed
  6d0723f
- runtime(coro): cancel ready Gs on command main return
  cpunion
  committed
  9335f0b
- compiler(coro): lower closed static goroutine spawn
  cpunion
  committed
  1f2e76c
- docs(coro): record closed static spawn prototype
  cpunion
  committed
  14fb36e
- test(coro): avoid copying build context lock
  cpunion
  committed
  b61c8bb
- compiler(coro): reserve explicit status panic ABI
  cpunion
  committed
  b2c8555
- test(coro): link and run native static spawn island
  cpunion
  committed
  825e984
- runtime(coro): add terminal explicit panic state machine
  cpunion
  committed
  020a8aa
- docs(coro): record runnable spawn and panic core
  cpunion
  committed
  f3bdeea
- runtime(coro): export terminal panic handoff
  cpunion
  committed
  7448583
- compiler(coro): lower terminal explicit panic status
  cpunion
  committed
  1c8829e
- build(coro): retain explicit panic prepare hook
  cpunion
  committed
  b6e3641
- test(coro): run terminal panic scheduler island
  cpunion
  committed
  21797b5
- docs(coro): record terminal panic prototype
  cpunion
  committed
  61b9937
- Merge pull request #23 from cpunion/coro/phase14-plain-dispatch
  cpunion
  authored
  1c84c1d
- runtime(coro): add stable wait registration
  cpunion
  committed
  9062fa3
- docs(coro): record stable wait registration
  cpunion
  committed
  b2ed427
- docs(coro): include wait draining transition
  cpunion
  committed
  51960fa
- Merge pull request #24 from cpunion/coro/phase15-wait-registration
  cpunion
  authored
  ee1c84d
- runtime(coro): add stable executor request gate
  cpunion
  committed
  0e24a2c
- docs(coro): specify executor request protocol
  cpunion
  committed
  d3af7df
- refactor(coro): clarify executor slot reuse
  cpunion
  committed
  6e076cf
- Merge pull request #25 from cpunion/coro/phase16-executor-gate
  cpunion
  authored
  5253adb
- runtime(coro): bind executor driver to scheduler
  cpunion
  committed
  56be0d1
- docs(coro): document executor driver contract
  cpunion
  committed
  a11bd25
- refactor(coro): clarify executor drain invariants
  cpunion
  committed
  3e401da
- test(coro): stub bounds checks in runtime islands
  cpunion
  committed
  748bbab
- Merge pull request #26 from cpunion/coro/phase17-executor-driver
  cpunion
  authored
  155eca5
- runtime(coro): add handle-free terminal executor close
  cpunion
  committed
  e721822
- docs(coro): specify terminal executor handoff
  cpunion
  committed
  5d3dd68
- test(coro): assert terminal close handle stays nil
  cpunion
  committed
  3894e23
- Merge pull request #27 from cpunion/coro/phase18-terminal-close
  cpunion
  authored
  e9c2a31
- runtime/coro: serialize retained drive admission
  cpunion
  committed
  376a282
- runtime,build: drive static target continuations
  cpunion
  committed
  8ebbcc7
- docs(coro): specify target reentry lifecycle
  cpunion
  committed
  50c10d6
- runtime/coro: clarify initial drive ownership
  cpunion
  committed
  f931965
- Merge pull request #28 from cpunion/coro/phase19-runtime-dispatch
  cpunion
  authored
  7d57e29
- runtime/coro: add target ingress barrier
  cpunion
  committed
  4a43526
- runtime: add POSIX coroutine doorbell
  cpunion
  committed
  1ade16a
- runtime(coro): add native pipe executor target
  cpunion
  committed
  939df3d
- build(coro): retain native producer ingress
  cpunion
  committed
  a25d70e
- docs(coro): describe native retained doorbell
  cpunion
  committed
  418e457
- build(coro): reserve native doorbell capability tag
  cpunion
  committed
  0ff2376
- Merge pull request #29 from cpunion/coro/phase20-native-doorbell
  cpunion
  authored
  70e68c2
- runtime/coro: make wait preparation transactional
  cpunion
  committed
  3d6a271
- runtime(coro): expose guarded wait owner ABI
  cpunion
  committed
  cc09f4f
- test(coro): run real pthread ingress through native poll
  cpunion
  committed
  91e1c14
- build(coro): reserve native ingress test capability
  cpunion
  committed
  017b10d
- Merge pull request #30 from cpunion/coro/phase21-native-ingress-e2e
  cpunion
  authored
  2c2c1b6
- runtime/coro: add fixed-capacity timer registrations
  cpunion
  committed
  4eb4ca5
- runtime/coro: add native monotonic clock
  cpunion
  committed
  2277d90
- runtime/coro: bound native poll by timer deadline
  cpunion
  committed
  5373514
- build/coro: reserve native timer capability
  cpunion
  committed
  6942b09
- runtime/coro: integrate timer source with executor driver
  cpunion
  committed
  471d95b
- runtime/coro: preserve timer deadlines across EINTR
  cpunion
  committed
  0c57bf3
- runtime/coro: preempt sole runners for active timers
  cpunion
  committed
  b0a68cb
- runtime/coro: connect native timer-aware executor
  cpunion
  committed
  5d67177
- build/coro: bind native timer owner ABI
  cpunion
  committed
  6bbda62
- test/coro: include split native target helpers
  cpunion
  committed
  862ec93
- test/coro: keep host timer unit out of llgo variants
  cpunion
  committed
  2a9f192
- runtime/coro: isolate timer deadline arithmetic
  cpunion
  committed
  aec83c6
- compiler/coro: certify timer-retained frame locals
  cpunion
  committed
  19f88a5
- runtime/coro: add fail-stop timer frame owners
  cpunion
  committed
  97ad027
Commits on Jul 17, 2026
- runtime/time: use native coroutine timer for Sleep
  cpunion
  committed
  5bd349c
- test/coro: run native timer source end to end
  cpunion
  committed
  67a8cb6
- docs/coro: record native timer Sleep prototype
  cpunion
  committed
  079c7fd
- test/coro: cover timer source contracts in CI
  cpunion
  committed
  a4be3f4
- test/coro: expose POSIX clock APIs in timer E2E
  cpunion
  committed
  3aaf1fa
- test/coro: avoid copying Compilation locks
  cpunion
  committed
  0726222
- doc: define unified coroutine async core contract
  cpunion
  committed
  e70788c
- runtime/coro: centralize executor event sources
  cpunion
  committed
  9e3a327
- runtime/coro: decouple service preemption from timers
  cpunion
  committed
  5eccd65
- doc: track unified async core progress
  cpunion
  committed
  a6ad282
- runtime/coro: add multi-source park operation core
  cpunion
  committed
  4a7eb4c
- runtime/coro: slim park resolution and add task cancellation
  cpunion
  committed
  ad9e5cf
- runtime/coro: integrate multi-source park resume gate
  cpunion
  committed
  f698973
- runtime/coro: resolve source facts after quiet cut
  cpunion
  committed
  24a55fd
- doc: extend async runtime model comparisons
  cpunion
  committed
  391b517
- runtime/coro: deduplicate affected wait sets after quiet cut
  cpunion
  committed
  420d207
- doc: define affected wait-set promotion record
  cpunion
  committed
  4fe474e
- runtime/coro: add scalar resume decision ABI
  cpunion
  committed
  ae04f12
- runtime/coro: add unified manual operation source
  cpunion
  committed
  27f4104
- doc: record manual source integration status
  cpunion
  committed
  9b830da
- runtime/coro: promote affected wait sets in linear time
  cpunion
  committed
  81a3f26
- compiler/coro: gate every resumed continuation
  cpunion
  committed
  ee03994
- runtime/coro: add generation-stable task control source
  cpunion
  committed
  4f8fa06
- runtime/coro: promote each bounded publication epoch
  cpunion
  committed
  cbd502c
- doc: define bounded unified async core contracts
  cpunion
  committed
  2f2431a
- ssa/coro: add terminating resume dispatch gates
  cpunion
  committed
  f74eeea
- runtime/coro: apply resolved wait candidates directly
  cpunion
  committed
  e977476
- doc: define route-safe bounded executor slices
  cpunion
  committed
  5fca3a3
- runtime/coro: migrate monotonic timers to operation V2
  cpunion
  committed
  6885e31
- compiler/coro: dispatch zero-ticket resume decisions
  cpunion
  committed
  c7a8a05
- doc: prioritize bounded progress and commit-capable select
  cpunion
  committed
  9ccaa9e
- runtime/coro: route operation identities across executors
  cpunion
  committed
  3dd7e4a
- runtime/coro: bind V2 timers to executor routes
  cpunion
  committed
  df8107a
- doc: record route-safe timer identities
  cpunion
  committed
  402d90e
- compiler/coro: remove unused full-ticket signature
  cpunion
  committed
  066ea0f
- ci: focus stacked coroutine pull requests
  cpunion
  committed
  09bd3a7
- build/coro: cover pointer nil guards in native islands
  cpunion
  committed
  e04bdaf
- doc: align async core with commit and reduction models
  cpunion
  committed
  e2e2451
- runtime/coro: bound production source catalog progress
  cpunion
  committed
  fc294ee
- runtime/coro: add commit-capable select core
  cpunion
  committed
  b65c169
- runtime/coro: bound published epoch resolution
  cpunion
  committed
  32582ad
- runtime/coro: share producer admission core
  cpunion
  committed
  3d70599
- runtime/coro: make operation result ownership explicit
  cpunion
  committed
  27d4f39
- runtime/coro: add scalar result payload core
  cpunion
  committed
  c7d01bf
- runtime/coro: keep scalar cleanup fail-safe
  cpunion
  committed
  615c314
- runtime/coro: require exact resume gate take
  cpunion
  committed
  9308d21
- runtime/coro: model resume gate in adapter tests
  cpunion
  committed
  b3b167a
- runtime/coro: bound registered task control delivery
  cpunion
  committed
  ce819a5
- runtime/coro: add resumable executor run slices
  cpunion
  committed
  e52968b
- runtime/coro: cancel queued runner continuations on main return
  cpunion
  committed
  a061595
- runtime/coro: guard bounded runner boundaries
  cpunion
  committed
  6284e62
- runtime/coro: preserve command bootstrap handoff order
  cpunion
  committed
  cbcc992
- docs: define bounded bootstrap handoff ordering
  cpunion
  committed
  05a6343
- runtime/coro: share producer source lifecycle core
  cpunion
  committed
  8efbada
- runtime/coro: add bounded host run-slice ABI
  cpunion
  committed
  d8d2e52
- Merge pull request #31 from cpunion/coro/phase22-native-timer-source
  cpunion
  authored
  7b93f50
- Merge pull request #32 from cpunion/coro/phase23-unified-async-core
  cpunion
  authored
  cf750cd
- Merge pull request #33 from cpunion/coro/phase29-result-ownership
  cpunion
  authored
  e5e896e
- Merge pull request #35 from cpunion/coro/phase30b-exact-resume-gate
  cpunion
  authored
  1814b81
- Merge pull request #36 from cpunion/coro/phase30c-taskcontrol-o1
  cpunion
  authored
  16ae497
- Merge pull request #37 from cpunion/coro/phase31-bounded-runner
  cpunion
  authored
  838e374
- Merge pull request #38 from cpunion/coro/phase31a-operation-source-core
  cpunion
  authored
  5600920
- Merge llvm-coro into scalar result payload core
  cpunion
  committed
  95f11e7
- Merge remote-tracking branch 'origin/llvm-coro' into coro/phase31b-host-budget-return
  cpunion
  committed
  db789a4
- build/coro: drive native programs with bounded slices
  cpunion
  committed
  2564124
- Merge pull request #34 from cpunion/coro/phase30-scalar-result-payload
  cpunion
  authored
  6dfbc7e
- Merge remote-tracking branch 'origin/llvm-coro' into coro/phase31b-host-budget-return
  cpunion
  committed
  ef866f1
- build/coro: simplify V2 result type check
  cpunion
  committed
  2681788
- Merge pull request #39 from cpunion/coro/phase31b-host-budget-return
  cpunion
  authored
  4fff8cf
- runtime/coro: add channel claim core
  cpunion
  committed
  bfa75ed
- runtime/coro: add channel select claim core
  cpunion
  committed
  dc52a41
- doc/coro: clarify channel claim completion boundary
  cpunion
  committed
  c26fdeb
- runtime/coro: add single channel commit transaction
  cpunion
  committed
  3195aee
- runtime/coro: expose channel pair commit transaction
  cpunion
  committed
  416e2d2
- runtime/coro: bind production channel source
  cpunion
  committed
  beeb232
- runtime/coro: publish channel endpoints before suspend
  cpunion
  committed
  19ee581
- ssa/coro: add conditional exact resume dispatch
  cpunion
  committed
  d6b82a5
- runtime/coro: add single channel park owner transaction
  cpunion
  committed
  2d1dc84
- cl,runtime: lower stackless channel operations
  cpunion
  committed
  cdbc4d0
- runtime/coro: release failed channel reservations
  cpunion
  committed
  762fe7f
- cl,runtime: add stackless coroutine channel lowering (#40)
  cpunion
  authored
  76f9e2e
- runtime/coro: drain channel parks before command close
  cpunion
  committed
  630cae5
- runtime/coro: reject nil command drain main
  cpunion
  committed
  91d70d2
Commits on Jul 18, 2026
- Merge pull request #41 from cpunion/coro/phase34-channel-native-e2e
  cpunion
  authored
  e80ce9a
- cl,runtime: add stackless coroutine channel select
  cpunion
  committed
  83e9cc7
- cl: reject nil coroutine select channels
  cpunion
  committed
  5da3f38
- Merge pull request #42 from cpunion/coro/phase35-select
  cpunion
  authored
  897d251
- doc: design sparse coroutine lowering IR
  cpunion
  committed
  ca698e4
- doc: normalize coroutine design terminology
  cpunion
  committed
  918fc6c
- runtime/coro: add worker operation source core
  cpunion
  committed
  54df2b3
- runtime/coro: integrate worker source catalog
  cpunion
  committed
  872e116
- runtime: add native coroutine worker call leaf
  cpunion
  committed
  9f068c7
- runtime/coro: add worker park owner transaction
  cpunion
  committed
  7555b4e
- internal/coro: model sparse physical lowering overlay
  cpunion
  committed
  b60cc04
- runtime/coro: service workers in bounded executor polls
  cpunion
  committed
  c7614e8
- internal/coro: add sparse lowering facts model
  cpunion
  committed
  a194eab
- runtime: add fixed native coroutine worker pool
  cpunion
  committed
  b6bf06e
- internal/build: add synchronous stdlib coroutine gates
  cpunion
  committed
  ea4c5e2
- cl: build report-only coroutine lowering facts
  cpunion
  committed
  4fe598d
- internal/build: wire stdlib gates to coro workers
  cpunion
  committed
  66ddcd9
- runtime: route poll waits through syscall workers
  cpunion
  committed
  f013cba
- cl: freeze coroutine SSA callable operand shapes
  cpunion
  committed
  6f5661d
- coro: lower scalar syscalls through native workers
  cpunion
  committed
  642d341
- runtime/sync: avoid captured TLS pool cleanup
  cpunion
  committed
  e5d6349
- cl: canonicalize exact Go linkname definitions
  cpunion
  committed
  1ee0691
- runtime/coro: cover nine-argument native worker calls
  cpunion
  committed
  974b75d
- internal/coro: certify retained assembly leaves
  cpunion
  committed
  23687e6
- internal/plan9asm: prove retained no-suspend call closures
  cpunion
  committed
  de52f89
- cl: admit closed plain interface invokes in coroutines
  cpunion
  committed
  4369a05
- runtime: certify monotonic clock reads as nonblocking
  cpunion
  committed
  25d47ee
- cl: lower static coroutine method receivers
  cpunion
  committed
  dfd7b74
- cl: freeze FuncPCABI0 coroutine lowering
  cpunion
  committed
  9b35224
- internal/coro: resolve CHA through effective types
  cpunion
  committed
  20743e2
- cl: lower static defer cleanup in coroutines
  cpunion
  committed
  12c7c14
- cl: freeze stdlib runtime frontend proofs
  cpunion
  committed
  8dbf6b7
- internal/coro: restrict scalar CHA to address-taken functions
  cpunion
  committed
  d5e5780
- runtime/syscall: expose fixed Darwin worker call sites
  cpunion
  committed
  1c78d45
- internal/build: trace coroutine bootstrap blockers
  cpunion
  committed
  5438cd6
- runtime: statically dispatch type hash and equality
  cpunion
  committed
  ab97052
- runtime: statically compare exported efaces
  cpunion
  committed
  5e6999b
- runtime: keep terminal panic trace synchronous
  cpunion
  committed
  007f83a
- internal/build: separate plain bodies from dispatch values
  cpunion
  committed
  676435e
- runtime: bound raw panic formatting
  cpunion
  committed
  b2cb255
- runtime: bound terminal panic traceback
  cpunion
  committed
  c658d88
- runtime: keep panic nil check scalar
  cpunion
  committed
  8048e4a
- runtime/reflect: statically dispatch type equality
  cpunion
  committed
  261adc6
- runtime: use bounded native string comparison
  cpunion
  committed
  51ad995
- runtime/clite: certify memcmp as nonblocking
  cpunion
  committed
  16cdd5e
- ssa: add coroutine dynamic descriptor primitive
  cpunion
  committed
  150beea
- cl: freeze closed interface coroutine dispatch
  cpunion
  committed
  3c03558
Commits on Jul 20, 2026
- coro: complete native single-P async core prototype
  cpunion
  committed
  37cfeb2
- ci: repair coroutine channel source-island checks
  cpunion
  committed
  606b690
- cl: simplify raw plain call dispatch
  cpunion
  committed
  91d1251
- runtime: use ppoll for Linux coroutine host tests
  cpunion
  committed
  f400239
- build: isolate coroutine support package variants
  cpunion
  committed
  c1b7e1c
Commits on Jul 21, 2026
- ci: split exhaustive coroutine lanes
  cpunion
  committed
  5a4a8b9
- coro: bind lowering facts into build identity
  cpunion
  committed
  f5cc8c6
- runtime: route timer and poll through executor fleet
  cpunion
  committed
  22ecc61
- test: avoid copying compilation lock state
  cpunion
  committed
  df1e34f
- runtime: share physical runner across executor domains
  cpunion
  committed
  0c19fb1
- runtime: route worker completions across executor domains
  cpunion
  committed
  225bdea
- ci: close native runtime island source sets
  cpunion
  committed
  88bc321
- runtime: arm empty executor domains for standby
  cpunion
  committed
  87602f4
- runtime: add exact fleet reactor wait pass
  cpunion
  committed
  45db94b
- test: follow split coroutine runtime sources
  cpunion
  committed
  d4ddcd3
- coro: adopt existing executor into fleet
  cpunion
  committed
  c889789
- runtime: adopt program domain into native fleet
  cpunion
  committed
  acf4a3e
- runtime: run native coroutine fleet peer
  cpunion
  committed
  5c44610
- runtime: route channels across coroutine fleet
  cpunion
  committed
  4855dae
Commits on Jul 22, 2026
- coro: retain channel waits in coroutine frames
  cpunion
  committed
  2529f46
- runtime: balance native coroutine fleet work
  cpunion
  committed
  1bd546f
- runtime: route poll and workers through native fleet
  cpunion
  committed
  624f7fc
- coro: freeze architecture cutover gates
  cpunion
  committed
  7ed82bf
- coro: make helper SitePlan the production authority
  cpunion
  committed
  d92f539
- coro: freeze intrinsic and elision SitePlans
  cpunion
  committed
  edcfd94
- coro: freeze physical proof and fault plans
  cpunion
  committed
  561a3ec
- coro: isolate physical emission sessions
  cpunion
  committed
  0368746
- coro: unify single-event park emission
  cpunion
  committed
  995580a
- coro: route channel parks through unified emitter
  cpunion
  committed
  c8ac949
- Merge pull request #44 from cpunion/coro/ir-events-timer
  cpunion
  authored
  d940fb3
- coro: freeze local SSA semantics in program IR
  cpunion
  committed
  c35f079
- coro: freeze await and spawn control recipes
  cpunion
  committed
  bfa9b9b
- coro: freeze channel operation recipes
  cpunion
  committed
  3ac6a1d
- coro: freeze completion outcome recipes
  cpunion
  committed
  ca20dd7
- coro: centralize physical call and storage recipes
  cpunion
  committed
  bc6f40e
- coro: hard cut over to one compiler profile
  cpunion
  committed
  7049ea6
- coro: select one native runtime target
  cpunion
  committed
  3f021ca
- coro: complete the single-track runtime cutover
  cpunion
  committed
  ba8b9c3
- Merge xgo-dev/main into llvm-coro
  cpunion
  committed
  f4e4e99
- coro: integrate upstream runtime ABI updates
  cpunion
  committed
  5743892
- ci: re-enable full workflows for integrated coroutine PR
  cpunion
  committed
  5b9ef91
- coro: close target and Go compatibility gates
  cpunion
  committed
  f631d56
- runtime: preserve standard terminal panic text
  cpunion
  committed
  54f9322
- coro: close stdlib and library integration gaps
  cpunion
  committed
  1bd83e8
- runtime: preserve sync pool thread-local values
  cpunion
  committed
  a066d90
- ci: allow complete target catalog validation
  cpunion
  committed
  779b9e1

Commits

Commits on Jul 16, 2026

Commits on Jul 17, 2026