php-in-php: drop Context ensureFullStandaloneBodies always-on SuperglobalRefreshRuntime — lazy at compileToFile (main/php_variables.c)

[PurHur]

Category

bug · php-in-php · Trust / #32122 .1 mint class · ensureFullStandaloneBodies shrink

Problem

Context::ensureFullStandaloneBodies still NestedJITs SuperglobalRefreshRuntime (__superglobals__refresh) during full standalone init. Every full standalone pays that during init — leftover Context NestedJIT vs Runtime ABI drift mints superglobals_refresh.1 (#31894 / #32122).

Peer #35133 already deferred CliArgv to compileToFile for every LOAD_TYPE_STANDALONE. Thin path already uses ensureUserScriptRefreshEmit before main. Full path still ensures inside ensureFullStandaloneBodies.

Call sites / main already need the symbol before lookup:

• compileToFile standalone main calls lookupFunction('__superglobals__refresh')
• thin: SuperglobalRefreshRuntime::ensureUserScriptRefreshEmit
• JIT.php ensureLinked before resolve
• bootstrap-aot: ensureBootstrapAotStandaloneBodies keeps fixtures linked

php-src reference

• php/php-src main/php_variables.c — CGI/CLI SAPI variable import / $\_SERVER refresh

PHP implementation target

• lib/JIT/Context.php ensureFullStandaloneBodies — remove SuperglobalRefreshRuntime::ensureStandaloneBodies
• lib/JIT/Context.php compileToFile — ensure SuperglobalRefresh for every LOAD_TYPE_STANDALONE before main emits __superglobals__refresh (thin keep ensureUserScriptRefreshEmit or unify via ensureStandaloneBodies)
• Keep ensureBootstrapAotStandaloneBodies link for bootstrap-aot fixtures
• Unit guard peer of ContextFullStandaloneLazyCliArgvRuntimeShrinkTest / php-in-php: drop Context ensureFullStandaloneBodies always-on CliArgvRuntime — lazy at compileToFile / CliArgvGlobalInit (ext/standard/basic_functions.c) #35133

Repro

./script/aot-smoke.sh   # must stay 8/8
./script/phpunit.sh --filter ContextFullStandaloneLazySuperglobalRefresh

Done when

• ensureFullStandaloneBodies does not call SuperglobalRefreshRuntime::ensureStandaloneBodies / ensureLinked
• compileToFile ensures SuperglobalRefresh for all standalone before __superglobals__refresh
• ./script/aot-smoke.sh → 8/8
• Unit shrink test green; no new runtime/*.c

[PurHur]

claim: I/O+crypto+text specialist — SuperglobalRefresh ensureFull lazy shrink peer #35133 CliArgv (Trust/#32122 .1 mint; session/CGI refresh; aot-smoke 8/8).

[PurHur]

claim: runtime-migration agent working this now — lazy SuperglobalRefresh from ensureFullStandaloneBodies (#35137), peer of #35133 CliArgv.