Přeskočit na obsah

Tato stránka byla automaticky přeložena z angličtiny, jediného jazyka, ve kterém se tento web píše. Číst originál.

Volitelné runtime adaptéry omezí velikost čtení, velikost výstupu a fan-out podle limitů odvozených z profilu

**Plánováno.** Volitelné hooky specifické pro poskytovatele v runtime workera, které omezují, kolik řádků smí jedno čtení vrátit, zhušťují příliš velký výstup nástrojů (začátek, diagnostické řádky, konec, s poznámkou o zkrácení) a omezují, kolik podřízených workerů smí relace spustit — a každý limit se odvozuje z profilu úlohy, ne z globální konstanty.

deklarovaný stavdeklarovaný stav: plánováno Specifikováno, ale neimplementováno. Uvedeno, aby bylo vidět, co chybí.

zaznamenané důkazyzaznamenané důkazy: žádný test Neposuzováno: k zaznamenanému běhu je vázáno jen zaručené tvrzení. jak se zaznamenávají důkazy

Jediná studovaná implementace byla během pár dní vrácena zpět, protože její limity byly globální konstanty, ne odvozené z úlohy.

Co to znamená

Plánováno. Volitelné hooky specifické pro poskytovatele v runtime workera, které omezují, kolik řádků smí jedno čtení vrátit, zhušťují příliš velký výstup nástrojů (začátek, diagnostické řádky, konec, s poznámkou o zkrácení) a omezují, kolik podřízených workerů smí relace spustit — a každý limit se odvozuje z profilu úlohy, ne z globální konstanty.

Princip

Nic není implementováno. Návrh je odvozen z mechanismu, který krátce běžel ve zdrojovém prostředí: omezení čtení, sémantický kondenzátor výstupu a rozpočet pro sub-pracovníky, vše skutečné a deterministické. Do několika dnů byl stažen, protože jeho meze byly pevné konstanty platné stejně pro každou úlohu, takže člověk governor vypnul a neměřilo se vůbec nic.

Jak to vidět

Není co spouštět. Tato stránka existuje, aby bylo vynechání vidět, a nepředpokládalo se.

Co nepokrývá

Všechno; je to plán. Až přistane, bude volitelné pro každého poskytovatele a nikdy tiše nezmění vstup pracovníka — drift se ukáže dřív, než se vynutí.

Proč existuje

Kontext na relaci je největší nákladová položka a ta, o které profily dnes mohou jen radit. Runtime omezení jsou první místo, kde se osy profilu stávají vynutitelnými, a ne jen promítnutými.

Detail vykreslen z docs/claims/runtime-adapters.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Volitelné runtime adaptéry omezí velikost čtení, velikost výstupu a fan-out podle limitů odvozených z profilu

    Žádná funkce ani odpovědnost v README ji nepojmenovává; tato stránka je místo, kde je uvedena.

  2. 2 · kanonické tvrzení

    runtime-adaptersdeklarovaný stav: plánováno v docs/CLAIMS.yaml

    Definováno v přečtěte si to na tomto webu · docs/DESIGN.md

  3. 3 · implementace

    Zatím to nic neimplementuje.

  4. 4 · test a scénáře

    Žádné spustitelné důkazy nejsou propojeny: tvrzení nejmenuje žádný test a žádný případ užití ho nespouští.

  5. 5 · zaznamenané běhy

    zaznamenané důkazy: žádný test jak se zaznamenávají důkazy

Co by to učinilo zaručeným

Profily se stanou omezeními za běhu místo rad PLANNED Dodání milníku tvrzení nepovýší: dosáhne guaranteed, až pro něj existuje implementace, behaviorální test a blokující CI job.

Prohledává názvy a popisy všech stránek, které tento web publikuje.