Stdlib: thin AOT session wire load/save only handles first string pair — multi-key + int/bool/null (ext/session)

[PurHur]

Category

stdlib · php-src-strict · follow-up to #21900

Problem

#21900 LLVM session I/O (JitSessionStorageKernel::emitSessionWireSaveToPath / emitSessionWireLoadFromPath) is enough for 005-SessionsWeb (flash|s:N:"…";) but:

1. Load parses only the first key|s:N:"val"; pair (no loop for concatenated pairs)
2. Save only emits TYPE_STRING values from strKeys (skips int/bool/null/array)
3. No numeric-key / i: / b: / N; wire coverage

Surface	#21900	Target
$_SESSION['a']='x'; $_SESSION['b']='y' round-trip	partial (first key only on load)	full php session wire
$_SESSION['n']=1	not saved	`n

php-src reference

• php/php-src ext/session/session.c — php_session_encode / decode
• php/php-src ext/session/mod_php.c — serialize handler

PHP implementation target

• ext/standard/JitSessionStorageKernel.php — loop wire load; emit int/bool/null (and ideally arrays via NestedJIT once #NEXT strlen fix lands)
• Or restore NestedJIT VmSessionSerializer after NestedJIT string-length fix

Repro

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
cat > /tmp/multi.php << "PHP"
<?php
session_start();
$_SESSION["a"] = "one";
$_SESSION["b"] = "two";
$_SESSION["n"] = 3;
session_write_close();
PHP
php bin/compile.php -o /tmp/multi.bin /tmp/multi.php
SESSION_DIR=$(mktemp -d)
GATEWAY_INTERFACE=CGI/1.1 REQUEST_METHOD=GET PHP_COMPILER_SESSION_DIR="$SESSION_DIR" /tmp/multi.bin
cat "$SESSION_DIR"/sess_*
'

Done when

• Multi string keys round-trip under thin AOT
• int/bool/null session values persist (php-src wire)
• SessionsWebAotExecuteTest still green; add unit/compliance for multi-key
• php-src-strict

[PurHur]

claim: PHP Compiler STD Lib Advanced — batch (#21900 merged; next #21921 NestedJIT strlen, #21922 multi-key session wire)

[PurHur]

claim: PHP Compiler STD Lib Advanced — continuing batch (#21921 merged as #21943; starting #21922 multi-key + int/bool/null wire)

[PurHur]

Merged via #21944

Verification

• phpunit --filter SessionWireMultiKeyTest|SessionsWebAotExecuteTest → OK (3 tests, 30 assertions)
• Issue AOT repro wire: a|s:3:"one";b|s:3:"two";n|i:3;t|b:1;
• Multi-string round-trip: a=one / b=two; int/bool keys present (n_isset=1 / t_isset=1)

Follow-ups (not blocking #21922)

• Thin AOT cast/echo of loaded int/bool session values still segfaults (HT scalar read)
• $_SESSION[$k]=null under thin AOT does not insert HT entry (VM path emits z|N; correctly)