feat(runtime): support tag-26 Control resource budgets
Docs Deploy / Build and Deploy MkDocs (push) Successful in 41s

This commit is contained in:
Valentin Popov committed 2026-10-29 20:26:15 +04:00
1 parent 1d20509b05
commit ba7cb7f0f9
5 files changed
+688 -42

No files matched your search

+53 -16
View File
@@ -792,23 +792,19 @@ provider getter и изменение количества не подменен
Rust предоставляет явный CPU-вызов
`advance_loaded_mission_control_budget(engine, handle, dt)`. Он переносит
исходные callbacks factory tags `9`, `15`, `19` и общий default callback, а
категории выбирает по текущему descriptor tag. Native map подтверждён только
для префикса тегов `0..=34`; неизвестная категория, специализированный
callback, provider или численный диапазон возвращает ошибку без публикации
частичных изменений. Ставки `+0x5dc/+0x5e0` сохраняются отдельно, а сам вызов
ещё не включён в Control clock.
исходные callbacks factory tags `9`, `15`, `19`, `26` и общий default callback,
а категории выбирает по текущему descriptor tag. Native map подтверждён только
для префикса тегов `0..=34`; неизвестная категория, неподдержанный
специализированный callback, provider или численный диапазон возвращает ошибку
без публикации частичных изменений. Ставки `+0x5dc/+0x5e0` сохраняются отдельно,
а сам вызов ещё не включён в Control clock.
Нативный oracle проверяет пустую таблицу с отрицательным нулём в обеих выходных
ставках, невырожденную пару исходных устройств tag 19/tag 15 при `dt = 0.375`
и tag 9 с шестью значениями и шестью накопителями изменений. Rust-тесты
повторяют их по битам, включая положительное и отрицательное обновления tag 9.
В лицензированном `min_l_n1.dat` предварительная проверка распознаёт категории,
но находит неподдержанный factory tag `26` и отклоняет бюджет до расчёта ставок
или вызова устройств; транзакционный тест подтверждает, что исходная таблица
не меняется. Полный бюджетный проход на реальной миссии пока не выполнен. Rust также отклоняет нулевой знаменатель
обновления tag 19; тест вызывает эту ошибку после изменения provider
потребителем и подтверждает откат всей таблицы.
Rust также отклоняет нулевой знаменатель обновления tag 19; тест вызывает эту
ошибку после изменения provider потребителем и подтверждает откат всей таблицы.
#### Генератор tag 19 в том же бюджетном проходе
@@ -911,10 +907,51 @@ Descriptor category lookup `0x2c3a0` возвращает следующие з
Именно текущий descriptor выбирает категорию; callback остаётся у исходного
factory-класса. В Rust неизвестный текущий тег за концом префикса и
специализированный factory callback не подменяются общей формулой. На
лицензированном Unit DAT полный проход доходит до factory `26` и возвращает
ошибку без частичного изменения таблицы. Ни этот CPU-вызов, ни локальные
векторы не означают включения бюджетного шага в Control clock.
неподдержанный специализированный factory callback не подменяются общей
формулой. Tag `26` поддержан отдельной парой callbacks, описанной ниже. Ни этот
CPU-вызов, ни локальные векторы не означают включения бюджетного шага в Control
clock.
#### Фабричный tag 26: изменяемая добавка
В этой сборке `Control.dll` SHA-256
`bcb86318089028548a178b03a21accdce15df0cc85ddd91674cf3c2f55012c6e` фабричный
tag `26` обрабатывается в функции-фабрике RVA `0x2d4b0`: её ветка вызывает общий
конструктор `0x20800`, обнуляет поле устройства `+0xa4` и устанавливает vtable
`0x3ce38`. Rate
callback RVA `0x2e540` сначала проходит проверку доступности provider, затем
считает `-((descriptor[+0x20] + device[+0xa4]) * dt)`; прибавление до умножения
важно для битового результата. Update slot `+0x18` ведёт на RVA `0x21890` и
сохраняет выделенную долю как обычный multiplier `+0x4c`, не трогая `+0xa4`.
Vtable slot `+0x1c` ведёт на общий reader `0x21d50`. Native override RVA
`0x2d890` через этот reader заменяет descriptor и коэффициенты, сохраняя
изменяемую добавку. Oracle проверяет сам slot и повторный rate после `INTO`.
Rust теперь включает factory tag `26` в projection guard для `INTO` по этой
проверке; границы для фабричных тегов `1`, `17` и `30` остаются закрытыми.
Отдельный Control setter RVA `0x2c2b0` поддерживает selector `0x500`: только
при текущем descriptor tag `26` он записывает переданные биты в `+0xa4` и
возвращает успех. Behavior.dll с SHA-256
`ddfbdbde07832358fe6e35e01c8dba9b58e7313789498b6049ed51d4ed9baf99` вызывает
его через RVA `0x19880`. Callers `0x29910` и `0x2f400` передают ноль, а
`0x29ba0` передаёт поле `+0x64` рядом с кодом `NewfOreCost`; смысл последнего
значения не установлен, поэтому Rust пока не запускает этот Behavior путь.
При `B = 0.2`, добавке `0.3` и `dt = 0.7` исходная rate имеет биты
`0xbeb33333`. Смешанная проверка использует оригинальный tag-19 генератор
(`B = 0.625`, `C0 = 1`, provider `0.4`) и tag-26 потребитель (`B = 0.2`,
добавка `0.3`) при `dt = 0.5`: первый даёт `0.125`, второй запрашивает `0.25`.
Native dispatcher выделяет tag `26` половину, сохраняет множители
`0x3f300000`/`0x3f000000`, а ставки `+0x5dc/+0x5e0` получают
`0x80000000`/`0x3e800000`. Постоянный x86 oracle вызывает исходные callbacks и
Rust-тест повторяет этот вектор.
Ignored Rust-тест также проходит полный неотфильтрованный Control budget по
одиннадцати исходным устройствам `min_l_n1.dat` при `dt = 0.5`; выходы равны
`0x3c23d70a`/`0x3c23d70a`, первые два множителя tag `19` — `0x3f7fd70a`.
Это проверка CPU-проекции реальной таблицы, а не сравнение целой миссии с
оригиналом.
#### Активация и начальные часы