la imagen del servidor, armada y booteada — tres fallos que sólo aparecen ahí
Se armó la imagen del perfil `servidor` con gitea y se arrancó en QEMU. Los tres hallazgos, en el orden en que aparecieron, son los que justifican probar la imagen en vez de dar por buena la receta. 1) ⚠⚠ ESCRIBIR EN EL ROOTFS HIDRATADO ES ESCRIBIR DENTRO DEL STORE `takana users --merge` hacía `fs::write` sobre `<rootfs>/etc/passwd`. Un rootfs hidratado se arma con HARDLINKS contra el store: medido, ese fichero y el del artefacto `product-rootfs` eran **el mismo inode (1225824, 2 links, modo 444)**. Un `write` habría modificado el artefacto SELLADO, y todas las imágenes futuras habrían salido con la cuenta metida dentro del producto. Acá se salvó porque el store es de sólo lectura y salió `Permission denied` — confiar en eso es confiar en un permiso. Ahora `escribir_rompiendo_hardlink()`: temporal + `rename`. Con su control, que afirma lo que importa: tras escribir, el fichero del store **conserva su contenido**, baja a 1 link y el del rootfs tiene otro inode. Verificado también sobre la imagen real. 2) LA IMAGEN TRAÍA EL BINARIO, LA CUENTA… Y NADIE LO ARRANCABA Primera imagen: `gitea` instalado, `gitea:x:916` en `/etc/passwd`, y en el `genesis` de la seed sólo `sshd`, `console-getty`, `hammerd`, `hammer-product`. `servidor-image.sh` no inyectaba las Cards — eso sólo estaba en el camino de las imágenes de escritorio. Y ninguna métrica lo dice: `--services` responde que el perfil lo habilita, y lo habilita; lo que faltaba era el paso que lleva esa declaración a la imagen. Ahora llama a `service-cards` + `inyectar-cards.py` (idempotente por label). 3) ⚡ EL BINARIO MORÍA CON `trap invalid opcode` — Y EL BUG ESTABA EN EL BUILDER Con la card en el genesis y la config puesta, gitea arrancaba y moría al instante: traps: gitea[91] trap invalid opcode ip:79ea992 ... in gitea[...] El sandbox exporta `CC` apuntando a un wrapper que pone `-mcpu=baseline` (`sandbox.rs` ya avisaba: «de paso cierra el SIGILL de AVX en qemu64»), y la fase Go del propio builder lo PISABA con `CC="zig cc"` a secas — que por defecto es `-mcpu=native` y hornea la ISA del que compila. El binario corría perfecto en el worker y moría en QEMU-TCG. No falla al compilar ni al sellar: falla al EJECUTAR en otra CPU. Y el `ArtifactHash` no lo puede cazar, porque la CPU del builder no entra en `hash_inputs` — dos workers distintos sellan bytes distintos bajo la misma dirección. Arreglado en el builder y en la receta; re-hashea las CINCO recetas `cgo = true` (gitea, usql, sq, gocryptfs, naabu), que es correcto: lo que había sellado no es portable. gitea: `b3:391a613e…` → `b3:5edf9c16…`. Lo verificado en la VM: PID 1 = arje-zero · la cuenta de `[[user]]` en `/etc/passwd` y `/etc/group` de la imagen · la card de gitea en el `genesis` · y arje encarnándola, con la guarda saliendo 78 y `/var/log/arje/ente-gitea.log` diciendo exactamente «falta /etc/gitea/app.ini — es config del SITIO». Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_016Tf9T4vGzsMoT7eS8YzMFn
This commit is contained in:
@@ -970,7 +970,15 @@ fn resolve_phases(recipe: &Recipe, src: &Path) -> takana_core::Result<Phases> {
|
|||||||
// (Go puro estático). Validado: usql (sqlite, estático y corre).
|
// (Go puro estático). Validado: usql (sqlite, estático y corre).
|
||||||
let (cgo_env, ldflags) = if recipe.build.cgo {
|
let (cgo_env, ldflags) = if recipe.build.cgo {
|
||||||
(
|
(
|
||||||
"CGO_ENABLED=1 CC=\"zig cc\" CXX=\"zig c++\"",
|
// ⚠ `-mcpu=baseline` NO es opcional y este sitio lo perdía: el sandbox
|
||||||
|
// exporta `CC` apuntando a un wrapper que ya lo pone (ver `sandbox.rs`), y
|
||||||
|
// esta línea lo PISABA con `zig cc` a secas — que por defecto es
|
||||||
|
// `-mcpu=native` y hornea la ISA del builder. El síntoma no aparece al
|
||||||
|
// compilar ni al sellar: aparece al EJECUTAR en otra CPU, como
|
||||||
|
// `trap invalid opcode` (SIGILL). Medido 2026-09-14 con `gitea` dentro de
|
||||||
|
// QEMU-TCG: el binario construido en el worker moría al arrancar, y el
|
||||||
|
// mismo con baseline corre. Afecta a toda receta `cgo = true`.
|
||||||
|
"CGO_ENABLED=1 CC=\"zig cc -mcpu=baseline\" CXX=\"zig c++ -mcpu=baseline\"",
|
||||||
"-ldflags=\"-buildid= -linkmode=external -extldflags=-static\"",
|
"-ldflags=\"-buildid= -linkmode=external -extldflags=-static\"",
|
||||||
)
|
)
|
||||||
} else {
|
} else {
|
||||||
|
|||||||
@@ -1046,7 +1046,7 @@ fn main() -> anyhow::Result<()> {
|
|||||||
}
|
}
|
||||||
for (rel, p, nuevo, anadidas) in plan {
|
for (rel, p, nuevo, anadidas) in plan {
|
||||||
if !anadidas.is_empty() {
|
if !anadidas.is_empty() {
|
||||||
std::fs::write(&p, &nuevo)?;
|
takana_core::user::escribir_rompiendo_hardlink(&p, &nuevo)?;
|
||||||
}
|
}
|
||||||
eprintln!("{}: +{} cuenta(s)", rel, anadidas.len());
|
eprintln!("{}: +{} cuenta(s)", rel, anadidas.len());
|
||||||
for a in &anadidas {
|
for a in &anadidas {
|
||||||
|
|||||||
@@ -213,6 +213,35 @@ pub fn fusionar(contenido: &str, lineas: &[String]) -> (String, Vec<String>, Vec
|
|||||||
(out, anadidas, conflictos)
|
(out, anadidas, conflictos)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/// Escribe `contenido` en `p` **rompiendo el hardlink**: temporal en el mismo directorio + `rename`.
|
||||||
|
///
|
||||||
|
/// ⚠ Esto no es higiene, es lo único correcto, y se descubrió al armar la primera imagen: un rootfs
|
||||||
|
/// hidratado se arma con **hardlinks contra el store**, así que su `/etc/passwd` y el del artefacto
|
||||||
|
/// `product-rootfs` **son el mismo inode** (medido: mismo número de inode, `2 links`, modo `444`).
|
||||||
|
/// Un `fs::write` sobre él abre ESE inode en truncate y **modifica el artefacto sellado** — todas
|
||||||
|
/// las imágenes futuras saldrían con la cuenta metida dentro del producto, y el store mentiría
|
||||||
|
/// sobre lo que contiene su propio hash. Acá se salvó porque el store es de sólo lectura y el
|
||||||
|
/// primer intento murió con `Permission denied`; confiar en eso sería confiar en un permiso.
|
||||||
|
///
|
||||||
|
/// `rename` sobre el mismo directorio es atómico y deja el fichero del store intacto con un link
|
||||||
|
/// menos. El modo sale 0644: el del store es 0444 y un `passwd` de sólo lectura rompe a cualquiera
|
||||||
|
/// que después añada una cuenta.
|
||||||
|
pub fn escribir_rompiendo_hardlink(p: &std::path::Path, contenido: &str) -> crate::Result<()> {
|
||||||
|
let dir = p.parent().unwrap_or(std::path::Path::new("."));
|
||||||
|
let tmp = dir.join(format!(
|
||||||
|
".{}.users-tmp",
|
||||||
|
p.file_name().and_then(|s| s.to_str()).unwrap_or("fichero")
|
||||||
|
));
|
||||||
|
std::fs::write(&tmp, contenido)?;
|
||||||
|
#[cfg(unix)]
|
||||||
|
{
|
||||||
|
use std::os::unix::fs::PermissionsExt;
|
||||||
|
std::fs::set_permissions(&tmp, std::fs::Permissions::from_mode(0o644))?;
|
||||||
|
}
|
||||||
|
std::fs::rename(&tmp, p)?;
|
||||||
|
Ok(())
|
||||||
|
}
|
||||||
|
|
||||||
#[cfg(test)]
|
#[cfg(test)]
|
||||||
mod tests {
|
mod tests {
|
||||||
use super::*;
|
use super::*;
|
||||||
@@ -272,6 +301,42 @@ mod tests {
|
|||||||
assert!(validate_all(&[a.clone(), a]).unwrap_err().to_string().contains("name duplicado"));
|
assert!(validate_all(&[a.clone(), a]).unwrap_err().to_string().contains("name duplicado"));
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/// El control del fallo que casi envenena el store: escribir el `passwd` de un rootfs
|
||||||
|
/// hidratado NO puede tocar el fichero del artefacto con el que comparte inode.
|
||||||
|
#[test]
|
||||||
|
fn escribir_no_toca_el_fichero_hardlinkeado() {
|
||||||
|
use std::os::unix::fs::MetadataExt;
|
||||||
|
let dir = std::env::temp_dir().join(format!("takana-user-test-{}", std::process::id()));
|
||||||
|
let _ = std::fs::remove_dir_all(&dir);
|
||||||
|
std::fs::create_dir_all(dir.join("store")).unwrap();
|
||||||
|
std::fs::create_dir_all(dir.join("rootfs")).unwrap();
|
||||||
|
let en_store = dir.join("store/passwd");
|
||||||
|
let en_rootfs = dir.join("rootfs/passwd");
|
||||||
|
std::fs::write(&en_store, "root:x:0:0:root:/root:/bin/sh\n").unwrap();
|
||||||
|
std::fs::hard_link(&en_store, &en_rootfs).unwrap();
|
||||||
|
assert_eq!(
|
||||||
|
std::fs::metadata(&en_store).unwrap().ino(),
|
||||||
|
std::fs::metadata(&en_rootfs).unwrap().ino(),
|
||||||
|
"el montaje del test tiene que hardlinkear para que el control valga"
|
||||||
|
);
|
||||||
|
|
||||||
|
escribir_rompiendo_hardlink(&en_rootfs, "root:x:0:0:root:/root:/bin/sh\ngitea:x:916:916:gitea:/var/lib/gitea:/bin/false\n").unwrap();
|
||||||
|
|
||||||
|
assert_eq!(
|
||||||
|
std::fs::read_to_string(&en_store).unwrap(),
|
||||||
|
"root:x:0:0:root:/root:/bin/sh\n",
|
||||||
|
"SE MODIFICÓ EL ARTEFACTO DEL STORE"
|
||||||
|
);
|
||||||
|
assert!(std::fs::read_to_string(&en_rootfs).unwrap().contains("gitea:"));
|
||||||
|
assert_ne!(
|
||||||
|
std::fs::metadata(&en_store).unwrap().ino(),
|
||||||
|
std::fs::metadata(&en_rootfs).unwrap().ino(),
|
||||||
|
"el hardlink no se rompió"
|
||||||
|
);
|
||||||
|
assert_eq!(std::fs::metadata(&en_store).unwrap().nlink(), 1);
|
||||||
|
let _ = std::fs::remove_dir_all(&dir);
|
||||||
|
}
|
||||||
|
|
||||||
#[test]
|
#[test]
|
||||||
fn fusionar_es_idempotente_y_no_pisa() {
|
fn fusionar_es_idempotente_y_no_pisa() {
|
||||||
let base = "root:x:0:0:root:/root:/bin/sh\nsshd:x:74:74:sshd privsep:/var/empty:/bin/false\n";
|
let base = "root:x:0:0:root:/root:/bin/sh\nsshd:x:74:74:sshd privsep:/var/empty:/bin/false\n";
|
||||||
|
|||||||
+1
-1
@@ -51,7 +51,7 @@ build = ["go"]
|
|||||||
configure = "true"
|
configure = "true"
|
||||||
compile = """
|
compile = """
|
||||||
export GOCACHE=/src/.gocache GOTMPDIR=/src/.gotmp GOPATH=/tmp/gopath GOTOOLCHAIN=local \
|
export GOCACHE=/src/.gocache GOTMPDIR=/src/.gotmp GOPATH=/tmp/gopath GOTOOLCHAIN=local \
|
||||||
CGO_ENABLED=1 CC="zig cc" CXX="zig c++" GOFLAGS=-mod=vendor GOPROXY=off
|
CGO_ENABLED=1 CC="zig cc -mcpu=baseline" CXX="zig c++ -mcpu=baseline" GOFLAGS=-mod=vendor GOPROXY=off
|
||||||
mkdir -p /src/.gotmp /out/usr/bin
|
mkdir -p /src/.gotmp /out/usr/bin
|
||||||
go build -trimpath -tags 'bindata sqlite sqlite_unlock_notify' \
|
go build -trimpath -tags 'bindata sqlite sqlite_unlock_notify' \
|
||||||
-ldflags '-buildid= -linkmode=external -extldflags=-static -X "main.Version=1.27.0" -X "main.Tags=bindata sqlite sqlite_unlock_notify"' \
|
-ldflags '-buildid= -linkmode=external -extldflags=-static -X "main.Version=1.27.0" -X "main.Tags=bindata sqlite sqlite_unlock_notify"' \
|
||||||
|
|||||||
@@ -99,6 +99,26 @@ else
|
|||||||
echo "==> cuentas : ninguna receta del perfil declara [[user]]"
|
echo "==> cuentas : ninguna receta del perfil declara [[user]]"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
# ── 2 ter. las CARDS de los servicios que el perfil arranca (SDD 30 §4c) ─────────────────────────
|
||||||
|
# Sin esto la imagen trae el binario, trae la cuenta… y NADIE lo arranca: la seed del producto sólo
|
||||||
|
# conoce las cards que `takana-bootstrap` hornea (`sshd`, `console-getty`, `hammerd`). Medido en la
|
||||||
|
# primera imagen de este perfil: `gitea` instalado, su usuario en `/etc/passwd`, y en el `genesis`
|
||||||
|
# NADA — un servidor que arranca perfecto sin el servicio por el que existe. La métrica no lo ve:
|
||||||
|
# `--services` dice que el perfil lo habilita, y lo habilita; lo que faltaba era el paso que lleva
|
||||||
|
# esa declaración a la imagen.
|
||||||
|
#
|
||||||
|
# `service-cards` es la ÚNICA traducción `[[service]]` → Card, y `inyectar-cards.py` sólo compone la
|
||||||
|
# seed (idempotente por label, y con `os.replace` porque la seed es un hardlink al store).
|
||||||
|
SVCPATHS=$(python3 scripts/targets.py --service-paths "$PERFIL")
|
||||||
|
if [ -n "$SVCPATHS" ]; then
|
||||||
|
# shellcheck disable=SC2086
|
||||||
|
"$TAKANA" --store "$STORE" service-cards $SVCPATHS > "$WORKDIR/cards.json"
|
||||||
|
echo "==> cards : $(python3 -c 'import json,sys; print(len(json.load(open(sys.argv[1]))))' "$WORKDIR/cards.json") card(s) de $(echo "$SVCPATHS" | wc -l) receta(s)"
|
||||||
|
python3 scripts/gnome/inyectar-cards.py "$RFS/ente/seed.card.json" "$WORKDIR/cards.json"
|
||||||
|
else
|
||||||
|
echo "==> cards : el perfil no arranca ningún servicio de paquete"
|
||||||
|
fi
|
||||||
|
|
||||||
# ── 3. reparar el init que la hidratación pisó (ver cabecera, punto 2) ───────────────────────────
|
# ── 3. reparar el init que la hidratación pisó (ver cabecera, punto 2) ───────────────────────────
|
||||||
antes=$(readlink "$RFS/sbin/init" 2>/dev/null || echo "(fichero)")
|
antes=$(readlink "$RFS/sbin/init" 2>/dev/null || echo "(fichero)")
|
||||||
ln -sf /usr/bin/arje-zero "$RFS/sbin/init"
|
ln -sf /usr/bin/arje-zero "$RFS/sbin/init"
|
||||||
|
|||||||
Reference in New Issue
Block a user