Files
Sprinter-SDCC/docs/size_baseline.tsv
T
snark13 8490288d79 libc/crt0: возврат из main завершает программу по-настоящему
Два бага одного пути завершения, оба видны только на железе.

1. ЗВУК ПРОДОЛЖАЛСЯ ПОСЛЕ ВЫХОДА.  cbl_close() закрывает СЕССИЮ, но не
гасит железо: bit7 порта 0x004E держит gfx_wait_vsync ради бита луча,
поэтому порт оставался включённым ("немой" режим), и CBL крутил свои 256
слотов уже под шеллом — тихо ровно до первой чужой записи в порт данных,
а дальше она зацикливалась.  Новый cbl_shutdown() гасит bit7 независимо
от держателей и центрует ЦАП обычного COVOX; pop_shutdown зовёт его
последним действием, а _cbl_open_raw регистрирует в atexit его, а не
cbl_close.

2. ЦЕПОЧКА atexit НЕ ВЫПОЛНЯЛАСЬ ПРИ ВОЗВРАТЕ ИЗ main.  crt0 уходил прямо
в ESTEX EXIT, то есть нарушал контракт C (возврат из main = exit(status)).
Молча терялись не только гашение звука и снятие vsync-ссылки, но и
_fclosall: буферизованная запись в файлы пропадала, если программа не
звала exit() явно.  Теперь crt0 после main дёргает _atexit_hook.

Косвенность обязательна: прямая ссылка crt0 на разматыватель притащила бы
его и стек хендлеров в КАЖДУЮ программу.  Указатель живёт в отдельном
data-модуле (два байта _DATA, ни байта кода), ставит его сам atexit() при
первой регистрации — нет регистраций, нет и кода.  Тот же приём, что у
_irq_cbl_hook.

Цена замерена: +14 Б всем программам (блок в crt0) и +64 Б тем
одиннадцати, что реально регистрируют хендлеры (CBL, файловые через
_fclosall, irqtest, gfx_dbuf, solidt) — у них раньше эти хендлеры были
мёртвым кодом.  Эталоны обновлены (кроме atlas: его +434 Б не отсюда,
замерен тот же и без этих правок).

Проверено в MAME: старт и звук как были, выход по F10 возвращает в шелл
чисто (текстовый режим восстановлен, зависания нет), повторный запуск
работает.  Пункт 1 проверяется только на железе.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01DSYUpuaQpKr48kBav2iiV4
2026-09-02 14:15:48 +03:00

68 lines
942 B
Plaintext

# Эталон размеров _CODE (байт); обновление: python3 toolchain/size_check.py --update
accfill 3797
accop 7067
argv 3445
assrtest 3861
atlas 9193
attrprob 4101
banked 1070
bankedbg 1081
banklocl 4697
banktest 3781
bgi_img 8691
bgitest 3762
bios_text 4475
blitperf 5860
blitw 4939
cat 927
cblstream 5944
cbltest 6090
cblwav 6183
conio 4619
conio2 3943
convbench 3508
dec_test 874
errno 5980
fbench 8149
fdmax 6087
filetest 10611
fpsdiv 4870
gets 523
gfx_dbuf 5207
gfx_demo 4128
gfxbanks 6044
hello 4181
hello2 4258
irqtest 6754
kbdpoll 1282
kbdraw 4911
ls 4849
malloc 4475
mem_test 4569
mouse 4396
openenv 6138
pageflip 6334
palfile 5406
ptime 5758
rt_test 5216
scroll 6744
seek 4202
simple 969
solidt 11595
spranim 9431
spriteclip 4119
sprites 6791
stattest 7563
stdlib 6657
stest2 3658
strtest 1354
text_palette 5038
timedir 5468
w0page 8831
w3bgfx 5243
w3big 3673
w3huge 3700
w3probe 3556
w3tiny 3471
winrest 4473