Stdlib/JIT: ext/posix helpers unsupported — posix_times/posix_setsid/etc need JIT/AOT lowering (ext/posix/posix.c)

[PurHur]

Category

stdlib · jit · php-src-strict

Problem

Several ext/posix helpers are implemented for VM but hard-stubbed for JIT/AOT builds. In-tree examples:

• ext/posix/posix_times.php → throws Error: posix_times() is not implemented for JIT …
• ext/posix/posix_setsid.php → throws Error: posix_setsid() is not implemented for JIT …
• ext/posix/posix_getrlimit.php / posix_setrlimit.php — same pattern (Stdlib: posix_times()/posix_getrlimit()/posix_setrlimit()/posix_setsid() — ext/posix timing & session helpers (phase 2 of #3339) #7173)

This creates surprising VM vs JIT divergence and blocks CLI tooling compiled under bin/jit.php / AOT.

php-src reference

• php/php-src ext/posix/posix.c — PHP_FUNCTION(posix_times), posix_setsid, posix_getrlimit, posix_setrlimit, …
• php/php-src ext/posix/posix.stub.php — signatures + return shapes

Repro

cat > /tmp/repro_posix_jit.php <<'PHP'
<?php
foreach (['posix_times', 'posix_setsid', 'posix_getrlimit'] as $fn) {
    echo $fn, ' exists=', var_export(function_exists($fn), true), "\n";
    if (function_exists($fn)) {
        try { var_dump($fn()); } catch (Throwable $e) { echo '  ', get_class($e), ': ', $e->getMessage(), "\n"; }
    }
}
PHP
./script/docker-exec.sh -- bash -lc 'php /tmp/repro_posix_jit.php; php bin/vm.php /tmp/repro_posix_jit.php; php bin/jit.php /tmp/repro_posix_jit.php'

Backend	posix_times()
Zend PHP	array of ticks (or false + warning if unsupported)
bin/vm.php	array (platform-dependent)
bin/jit.php (today)	fatal Error from JIT stub

Expected (Zend)

Returns structured arrays / ints per stub; warnings + false when the host cannot satisfy the call — never a compile-time stub Error.

Scope (PHP-in-PHP)

Layer	Path
Policy	decide VM-fallback vs native JIT lowering per function
PHP SSOT	reuse ext/posix/VmPosix*.php helpers where they exist
JIT	add lowering in ext/posix/JitPosix.php or mark VM-only in capability matrix with explicit runtime fallback
Tests	test/compliance/cases/ext/posix_times_jit.phpt (skip when host lacks POSIX)

Prefer PHP implementations + thin FFI; avoid new runtime/*.c tables.

Done when (php-src-strict)

• php bin/jit.php /tmp/repro_posix_jit.php no longer fatals on supported platforms
• VM and JIT agree on the repro probes
• docs/capabilities.md regenerated — JIT column matches reality
• Unsupported platforms: Zend-aligned warnings/false, not LogicException stubs

Related

• Stdlib: posix_times()/posix_getrlimit()/posix_setrlimit()/posix_setsid() — ext/posix timing & session helpers (phase 2 of #3339) #7173 getrlimit/setrlimit · Stdlib: posix_geteuid()/posix_getegid()/posix_getgroups()/posix_uname() — effective identity + groups (ext/posix, phase 2 #3339) #6123 getgroups · Stdlib: posix_mkfifo() — FIFO special file creation missing (ext/posix/posix.c, phase 2 #3339) #6667 mkfifo · Stdlib/JIT: ext/posix helpers unsupported — posix_times/posix_setsid/etc need JIT/AOT lowering (ext/posix/posix.c) #9218 · Epic: Self-host critical path — compiler compiles itself (M3→M5) #1492

[PurHur]

claim: PHP Runtime → PHP — batch (issues #9218, #9215)

[PurHur]

Merged #12306 — posix_times/posix_setsid JIT via PosixTimesJitHelper; repro green on bin/jit.php.