Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 5 additions & 0 deletions docs/reprint-ledger.tsv
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
# ЧТО: ведомость заходов побайтовой сверки и перепечатки семени — строка на заход: дата, что (сверка|печать), итог, секунд, пик-ГиБ, байт-вывода, потолок-шагов, откуда; заполняется руками после захода. ЗАЧЕМ: сверка стоит 8 ч 34 мин одного ядра и на каждый пуш в CI не зовётся; без записи следующий не узнает, что она была, и свежесть сверки останется красной при сделанной работе. КТО ЧИТАЕТ: scripts/seed/reprint-freshness.flang (дата последней строки «сверка … дошла»; строки без табуляции, как эта, пропускает); .github/workflows/reprint.yml, scripts/bootstrap-reprint.sh и scripts/seed/seed-freshness.fscript называют файл человеку в подсказках.
# ★СОПОСТАВИМОСТЬ: строки ДО 1 октября 2026 сняты двоичным БЕЗ памяти вызовов ядра (ADR-0051, задача 5709) — сравнивать их с заходами 4 октября нельзя. Сопоставление: 36 839 с (17 сентября, без памяти) против 4736 с захода 4 октября на gpu — в 7,8 раза; тем же деревом задача 5709 мерила полную печать с памятью в 2 ч 05 мин 37 с (заход 7). СКОРОСТЬ В ШАГАХ ЗА СЕКУНДУ — НЕГОДНАЯ МЕРА: запомненный памятью вызов засчитывается шагами, но не исполняется, и между соседними отметками пульса счётчик идёт то 85 млн, то 2,4 млрд шагов/с (замер 4 октября 2026). Цену писать только секундами от начала до конца ДОШЕДШЕГО прогона, а проценты потолка — как расход, не как скорость. ПРИБОР, КОТОРЫМ ЦЕНА МЕРИТСЯ САМА: печать печатает «ЗАПАС ШАГОВ НА ИСХОДЕ: «<стадия>» съел N шагов из M (K %)», когда расход переваливает ПОЛОВИНУ потолка (порог в flang/src/emit/c/flang_repl.c:2324, строка repl_ctx.steps > repl_ctx.max_steps / 2) — эта строка в журнале захода и есть замер цены суда, и из неё берётся потолок следующего захода.
дата что итог секунд пик-ГиБ байт-вывода потолок-шагов откуда
2026-08-22 сверка дошла 1198 25.1 26180580 1000000000 коммит 6c5d805c
2026-08-23 печать оборвана-шаги 1456 34.3 0 1000000000 /srv/work/raskrutka-polnaya.log
Expand All @@ -12,3 +13,7 @@
2026-08-30 печать дошла 30842 0 38958005 1400000000000 время по меткам файлов /srv/flang-rabota/m-reprint-5, итог — коммит c15f669f; пик не замерен
2026-09-08 сверка дошла 16895 36.3 39710602 1400000000000 коммит f2945456, /usr/bin/time -v; журнал scratchpad/g6/g6.log
2026-09-17 печать дошла 36839 34.9 43300122 1400000000000 коммит 68ff03b34, задача 5190; /srv/tmp/dokazuemyy/raskrutka-5190.log; копия wSemya, дерево не правилось
2026-09-25 печать дошла 128700 0 0 4000000000000 заход 23–25 сентября 2026, названный в шапке scripts/bootstrap-reprint.sh («шёл 35 ч 45 мин») и в .github/workflows/reprint.yml; строки о нём в ведомости не было — задача 6704. Пик не замерен, байты вывода не записаны: журнала этого захода дерево не называет
2026-10-04 печать дошла 6890 0 0 0 печать БЕЗ СУДЬИ (стадия суда доказательств не прогонялась): 114 мин 50 с = 6890 с, 7 файлов, пересборка напечатанного 1 мин 17 с. ЧУЖОЙ ЗАМЕР — число пришло отчётом агента того же дня, журнала он не назвал, своим прибором здесь не снято. Пик не замерен, байты вывода не записаны, потолок шагов не записан — поля стоят нулями, как в строке 30 августа. Сравнивать её с заходом С судьёй того же дня (4736 с) НЕ МЕРИЛ: машина этого захода не названа, а приводить заходы к одной машине шагами за секунду нельзя — см. шапку выше
2026-10-04 печать снята 4989 41.6 0 4000000000000 dev (эта машина), журнал /home/b/projects/flang-cluster/print-batch.log: начало 16:53:13 UTC — шапка журнала, последняя строка «Terminated» по метке файла 18:16:22 UTC, то есть 4989 с = 1 ч 23 мин 09 с. Снята SIGTERM от harness на 19 % стадии «Проверить доказательства с кешем» (791 570 926 679 шагов из 4 000 000 000 000), дерево 89d38a5c5. Пик 41,6 ГиБ — наибольшая отметка пульса печати, не /usr/bin/time; вывода нет
2026-10-04 печать дошла 4736 50.6 44661951 4000000000000 gpu, журнал /home/u/b-print-0725-print.log (только чтение): начало 18:24:13 UTC — первая строка журнала, конец 19:43:09 UTC — время последней записи файла (stat -c %y), 4736 с = 1 ч 18 мин 56 с. Итог словами журнала: «напечатанное собрано и спрошено ДО того, как легло в bootstrap/ — семя годное»; вывод — строка «итого 7 файлов, 44661951 байт в bootstrap/». Дерево — партия пяти работ (точное целое только тип, заголовки Makefile, точное в десять целей, предел ресурсов, плюс ствол с починкой LSP); git в той копии не было, отпечаток говорит «коммит нет-git». Суд съел 2 508 501 226 319 шагов из 4 000 000 000 000 (62 %) — печать сама напечатала «ЗАПАС ШАГОВ НА ИСХОДЕ» о стадиях «Проверить доказательства с кешем» и «Итог суда ядра». Пик 50,6 ГиБ — наибольшая из 143 отметок пульса самой печати (стадия «Напечатать связанное»), не /usr/bin/time; на стадии суда пик 50,0 ГиБ
137 changes: 0 additions & 137 deletions docs/tasks/8570-the-print-is-outrun-because-it-is-slow.md

This file was deleted.

Loading
Loading