coro: implement the stackless preemptive runtime and managed call core - #45

Closed

cpunion wants to merge 339 commits into

mainfrom

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

Commits on Jul 16, 2026

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

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
runtime: select debug backend for logical wasm targets
cpunion
committed
7b689cb
runtime: reduce run-decision frame pressure
cpunion
committed
db12c49

Commits on Jul 24, 2026

coro: complete stackless runtime core hard cutover
cpunion
committed
2c72d70
coro: support variadic deferred calls
cpunion
committed
48dfa19
cl: bound go linkname ABI identity memory
cpunion
committed
f891a93
Merge remote-tracking branch 'upstream/main' into coro/final-hard-cutover
cpunion
committed
2f0a04c
coro: keep debug metadata out of semantic lowering
cpunion
committed
cf03f05
coro: preserve channel-received panic payloads
cpunion
committed
22136dc
coro: keep dynamic cleanup site emission atomic
cpunion
committed
0247a6e
coro: close test-go hard-cutover compatibility gaps
cpunion
committed
049da7e
coro: complete managed reflection FFI boundary
cpunion
committed
baf21c9
test: keep coroutine closure probes gofmt clean
cpunion
committed
5bd941e

Commits on Jul 25, 2026

coro: converge physical lowering and foreign waits
cpunion
committed
3d33acb
Merge remote-tracking branch 'upstream/main' into coro/final-hard-cutover
cpunion
committed
8a480f6
runtime: keep Darwin sysctl on typed sync boundary
cpunion
committed
49dbea2