From 1cbcac66001271c0a7ba4b01871b70102e932321 Mon Sep 17 00:00:00 2001 From: Sergio Date: Thu, 27 Aug 2026 19:10:54 +0000 Subject: [PATCH] =?UTF-8?q?strace:=20construye=20=E2=80=94=20headers=20del?= =?UTF-8?q?=20rootfs=20(Linux=207.1)=20contra=20strace=206.19?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Dos cambios, una causa: el sandbox sirve headers UAPI MÁS NUEVOS de lo que strace 6.19 espera, y la receta traía una dep que los ensombrecía con otros más VIEJOS. 1) Fuera `linux-headers` de [deps]. Esa receta instala Linux 6.16 en /usr/include y TAPA los headers del rootfs (7.1). Con ella faltaban 35 constantes —18 de btrfs.h, 17 de input-event-codes.h— y como los xlat de strace son `#unconditional` (sin guardas #ifdef), una constante ausente NO degrada la traza: rompe la compilación. Comprobado que no aporta NI UN header que el rootfs/zig no traigan ya (0 ficheros exclusivos). 2) `strace-io-uring-7.1.patch`: Linux 7.1 añadió `min_left` a `struct io_uring_buf_reg` y cambió `__u64 resv[3]` por `__u32 resv[5]`, así que `CHECK_TYPE_SIZE(arg.resv, sizeof(uint64_t)*3)` saltaba como `static assertion failed`. El cambio es el de UPSTREAM (strace master ya lo trae), mismo criterio que `linux-headers-7.0.patch`, que también es un cherry-pick. ⚠ El fallo se destapa POR CAPAS: make abortaba en btrfs.o, así que las 17 constantes de evdev ni se compilaban, y al arreglar btrfs "aparecían" las de evdev como si el arreglo no hubiera servido. Y sólo tras resolver las 35 se llegó a compilar io_uring.c y salió el static_assert. Una causa, tres caras. ⚠ `--enable-bundled=yes` NO sirve acá aunque el compilador lo sugiera: zig-cc impone sus headers por delante de cualquier `-isystem`, así que los bundled de strace no pueden ganar. Se probó: la opción se aplica (`checking whether to use bundled linux kernel headers... yes`) y el assert sigue. Verificado: sella, 0 undeclared, 0 asserts, y el binario TRAZA de verdad — `strace -c /bin/true` cuenta 30 syscalls. --- recipes/strace-io-uring-7.1.patch | 36 +++++++++++++++++++++++++++++++ recipes/strace.toml | 30 ++++++++++++++++++++++++-- 2 files changed, 64 insertions(+), 2 deletions(-) create mode 100644 recipes/strace-io-uring-7.1.patch diff --git a/recipes/strace-io-uring-7.1.patch b/recipes/strace-io-uring-7.1.patch new file mode 100644 index 00000000..9750c41c --- /dev/null +++ b/recipes/strace-io-uring-7.1.patch @@ -0,0 +1,36 @@ +strace 6.19 espera `struct io_uring_buf_reg` de Linux ~6.x (`__u64 resv[3]`), pero +los headers UAPI que MANDAN en el sandbox son los del rootfs del lab, que ya son +**Linux 7.1** y traen el campo nuevo `min_left` con `__u32 resv[5]`: + + __u32 min_left; + __u32 resv[5]; + +=> `CHECK_TYPE_SIZE(arg.resv, sizeof(uint64_t) * 3)` salta como +`static assertion failed ... Unexpected size of arg.resv`. + +Este cambio es el de UPSTREAM (strace master ya lo trae; ver src/io_uring.c en +strace/strace): comprueba min_left y resv[5], e imprime min_left. Mismo criterio +que `linux-headers-7.0.patch`, que tambien es un cherry-pick de upstream. + +--- a/src/io_uring.c ++++ b/src/io_uring.c +@@ -640,7 +640,8 @@ + struct io_uring_buf_reg arg; + CHECK_TYPE_SIZE(arg, 40); + CHECK_TYPE_SIZE(arg.flags, sizeof(uint16_t)); +- CHECK_TYPE_SIZE(arg.resv, sizeof(uint64_t) * 3); ++ CHECK_TYPE_SIZE(arg.min_left, sizeof(uint32_t)); ++ CHECK_TYPE_SIZE(arg.resv, sizeof(uint32_t) * 5); + + if (nargs != 1) { + printaddr(addr); +@@ -662,6 +663,9 @@ + tprint_struct_next(); + PRINT_FIELD_X(arg, flags); + ++ tprint_struct_next(); ++ PRINT_FIELD_U(arg, min_left); ++ + if (!IS_ARRAY_ZERO(arg.resv)) { + tprint_struct_next(); + PRINT_FIELD_ARRAY(arg, resv, tcp, print_xint_array_member); diff --git a/recipes/strace.toml b/recipes/strace.toml index a109eca1..4710b041 100644 --- a/recipes/strace.toml +++ b/recipes/strace.toml @@ -10,17 +10,42 @@ tarball = "https://github.com/strace/strace/releases/download/v6.19/strace-6.19. # FIXME sha256: el wrapper lo calcula (Alpine publica sha512). sha512 de Alpine: # sha512 = "d8088eef80f8007e0cae0e0a342cd171447cade8e2433f55b2592b33c704e4dcb5016c00104e536e858cf7d5ea5d2e4320073a2691b0bfb1a7ff87d932fac197" sha256 = "e076c851eec0972486ec842164fdc54547f9d17abd3d1449de8b120f5d299143" -patches = ["off64.patch", "busybox.patch", "tv_usec.patch", "nlattr-fix.patch", "linux-headers-7.0.patch"] +patches = ["off64.patch", "busybox.patch", "tv_usec.patch", "nlattr-fix.patch", "linux-headers-7.0.patch", "strace-io-uring-7.1.patch"] [build] compiler = "zig-cc" target = "x86_64-linux-musl" link = "static" flags = [] +# ── zig 0.16.0 EXPLÍCITO + SIN `linux-headers` (2026-08-27) ───────────────────────────────────── +# Los xlat de strace son `#unconditional` (ver `src/xlat/*.in`): la lista NO lleva guardas #ifdef, +# así que una constante ausente en los headers UAPI **no degrada la traza, rompe la compilación**. +# strace 6.19 pide constantes de un kernel más nuevo que el que había en el sandbox. +# +# Medido, comparando cada fuente de headers contra las que strace lleva en `bundled/`: +# +# zig 0.16.0 → faltan 0 +# zig 0.13.0 → faltan 35 (18 de btrfs.h + 17 de input-event-codes.h) +# dep `linux-headers` → Linux 6.16, le faltan NOCOMPRESS, FF_HAPTIC, ABS_SND_PROFILE, BTN_GRIP*… +# +# La dep `linux-headers` se instala en `/usr/include` y **TAPA** los headers de zig, así que mandaba +# la versión vieja. Se quita: `linux-headers` no aporta NI UN header que zig 0.16 no traiga ya +# (comprobado: 0 ficheros exclusivos suyos), sólo los ensombrece con una copia más antigua. +# +# ⚠ El fallo se destapa POR CAPAS y engaña: `make` abortaba en `btrfs.o`, así que las 17 constantes +# de evdev ni se compilaban. Al tapar sólo la de btrfs aparecían las de evdev, y parecía que el +# arreglo anterior «no había servido». Es UNA causa (headers viejos), no dos. +zig_version = "0.16.0" [build.phases] # de build() de Alpine (traducido; el lab provee $CBUILD/$CHOST — Etapa G Fase 3). # de-Alpinización: mpers=no (necesita gcc multiarch, no zig/musl); sin libunwind/libdw/libselinux. +# +# `--enable-bundled=yes` (2026-08-27): strace TRAE sus propios headers UAPI en `bundled/` justo para +# el desfase de versiones, y esta opción le dice que los use en vez de los del sistema. Lo pidió el +# propio compilador: `static assertion failed … sizeof(arg.resv) … --enabled-bundled=yes configure +# option may be used to work around that`. Sin ella, `struct io_uring_*` del sistema no cuadra con +# lo que strace 6.19 espera y salta un `static_assert`. configure = ''' ./configure \ --build=$CBUILD \ @@ -31,6 +56,7 @@ configure = ''' --localstatedir=/var \ --disable-nls \ --enable-mpers=no \ + --enable-bundled=yes \ --without-libunwind \ --without-libdw \ --without-libselinux @@ -53,4 +79,4 @@ make -C src DESTDIR="/out" install ''' [deps] -build = ["linux-headers", "make"] +build = ["make"]