Repository navigation
php-in-php: VmSockets::atmark — prefer libc sockatmark FFI, drop host socket_atmark() delegation (#6544 phase 2) #7998
Description
Category
php-in-php | runtime-shrink
Problem
#6544 landed socket_atmark() VM builtin, but VmSockets::atmark() still prefers host \socket_atmark() when function_exists, bypassing the libc sockatmark(3) FFI path. Self-host/AOT must not depend on Zend ext/sockets in the driver loop.
php-src reference
- php/php-src
ext/sockets/sockets.c—PHP_FUNCTION(socket_atmark)→sockatmark(2)
Scope (PHP-in-PHP)
| Path | Work |
|---|---|
ext/sockets/VmSockets.php |
FFI-first sockatmark; host fallback only when FFI unavailable |
ext/sockets/socket_atmark.php |
BuiltinExecute — validate socket arg before void return skip |
| Tests | test/unit/VmSocketsRuntimeShrinkTest.php |
0 C runtime lines — PHP + libc FFI only.
Done when
-
VmSockets::atmarkdoes not call host\socket_atmark()when libc FFI is available - Unit test guards host-delegation regression
-
socket_atmarkcompliance PHPT still green when deps available
Activity
PurHur commentedon Jun 11, 2026
claim: PHP Runtime → PHP — starting this run
php-in-php: VmSockets::atmark FFI-first, drop host socket_atmark pref…
PurHur commentedon Jun 11, 2026
Merged via #7999.
Changes:
VmSockets::atmark()FFI-first (sockatmark(3)); host\socket_atmark()only when FFI unavailable.socket_atmarkbuiltin usesBuiltinExecute::writeReturn.Verification:
C runtime: 0 lines (PHP-only).