From fe9599867535392e02844aba4782f6724260158b Mon Sep 17 00:00:00 2001 From: Sergio Date: Mon, 7 Sep 2026 12:03:52 +0000 Subject: [PATCH] =?UTF-8?q?SDD=2026:=20el=20firefox=20con=20PGO=20reproduc?= =?UTF-8?q?e=20bit=20a=20bit=20=E2=80=94=20unidad=203.a=20cerrada?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit verificar-repro.sh: REPRODUCEN 1, DERIVA 0, NO-DETERMINISMO 0. Era el riesgo real de esta unidad, no el rendimiento. El perfil es no determinista por naturaleza; congelarlo como fuente pineada era el ARGUMENTO de por qué el build seguiría siendo reproducible, y esto es la MEDICIÓN. Si -fprofile-use hubiera metido cualquier decisión dependiente del orden o del timing, habríamos cambiado velocidad por el invariante del proyecto. --- docs/26-atuq-envoltorio-gecko.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/docs/26-atuq-envoltorio-gecko.md b/docs/26-atuq-envoltorio-gecko.md index 62754a98..189c6cf4 100644 --- a/docs/26-atuq-envoltorio-gecko.md +++ b/docs/26-atuq-envoltorio-gecko.md @@ -227,6 +227,12 @@ llevan `-fprofile-use`**, el configure encontró `llvm-profdata`, y no hay ni un no cuadre. `libxul.so` pasa de 226.078.752 a 227.802.816 bytes, consistente con inlining de caminos calientes. Es evidencia de build, no de artefacto, y conviene decirlo así. +**Y la pregunta que un insumo no determinista obliga a hacer, respondida: `firefox` SIGUE +REPRODUCIENDO bit a bit** (`verificar-repro.sh`: REPRODUCEN 1, DERIVA 0, NO-DETERMINISMO 0). Era el +riesgo real de esta unidad, no el rendimiento: si el `-fprofile-use` hubiera metido cualquier +decisión dependiente del orden o del timing, habríamos cambiado velocidad por el invariante del +proyecto. Congelar el perfil como fuente pineada era el argumento; esto es la medición. + ### 3.quater La cadena wasm, y las tres cosas que costó (2026-09-06) `--without-wasm-sandboxed-libraries` se cambió por `--with-wasi-sysroot=/usr/share/wasi-sysroot`,