I0910 — Profil release se volí měřením, ne lidovou moudrostí

✕BLOKOVÁNO vlna 4 · p1 · profil implementation · bezpečné paralelně

Součást fly-deployment — Image kontejneru je projekcí modelu repozitáře a jeho smoke test je jeho důkazem.

Cíl

Změřit dopady kandidátních konfigurací release na velikost, start, paměť a latenci a vybrat nejmenší, která podstatně nezhorší chování za běhu, s záznamem rozhodnutí a čísel.

Proč

Každý seznam příznaků velikosti Cargo na internetu je tvrzený, ne změřený, a několik z nich směňuje start nebo propustnost za megabajty. Repozitář už tvrzení bez důkazů odmítá.

Aktuální stav

Workspace má svůj stávající release profil a žádný profil specifický pro nasazení. Pro žádnou konfiguraci neexistují čísla velikosti ani startu.

Cílový stav

Profil nasazení existuje právě tehdy, když je odůvodněn měřením, stávající sémantika releasu se pro nikoho jiného nemění a čísla za rozhodnutím jsou zaznamenána.

Rozsah

• Cargo.toml
• .ai/repo/benchmarks/rust

Mimo rozsah

• Optimalizace řízená profilem
• Jakékoli nastavení target-cpu, které předpokládá procesor hostitele sestavení
• Změna sémantiky stávajícího profilu release pro lokální vývoj

Závislosti

• I0909✕ZABLOKOVÁNO Produkční image je vygenerovaná projekce specifikace buildu

Co na tom čeká

• I0921✕BLOKOVÁNO Velikost se nejprve měří a teprve potom rozpočtuje

Kritéria přijetí

• Velikost binárky, velikost kontejneru, start do připravenosti, rezidentní paměť a latence endpointů se měří pro stávající profil release a pro každou kandidátní konfiguraci
• Zvolená konfigurace je nejmenší, která podstatně nezhorší chování za běhu, a práh podstatnosti je uveden
• Měření se zaznamenávají jako artefakty přes stávající infrastrukturu měření výkonu, ne vkládají do prózy
• Rozhodnutí je zachyceno tam, kde čtenář najde úvahu, a stávající release profil zůstává platný pro lokální buildy

Validace

• cargo test --workspace --all-features
• majordomus bench --check

Požadované důkazy

• profile_measured
• profile_chosen

Důkazy

Nic nezaznamenáno. Za každým tokenem výše musí stát příkaz nebo artefakt, než lze tento úkol dokončit; vyprávění se odmítá.

Riziko

panic=abort mění pozorovatelné chování procesu, který se dnes odvíjí (unwind). Pokud na odvíjení závisí nějaký test nebo schopnost, příznak stojí správnost, ne bajty.

Časová osa

zahájeno

—

ověřeno

—

dokončeno

—

Tato tři pole, důkazy výše a stav závislostí jsou vše, z čeho se stav skládá. Neexistuje žádné pole stavu, které by s nimi mohlo být v rozporu.

Kanonický záznam: .ai/repo/project/issues/I0910.yaml. Přečtěte ho zpět pomocí majordomus plan show I0910.