Hardprob/Minimum Local Register Allocation — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
| Строка 10: | Строка 10: | ||
* {{has-testdata-and-visualization}} | * {{has-testdata-and-visualization}} | ||
* {{has-pyomo-model}} | * {{has-pyomo-model}} | ||
| + | ** Правда там две, студента и моя, надо прорефакторить и слить. | ||
<!-- * {{has-npc-reduction}} --> | <!-- * {{has-npc-reduction}} --> | ||
<!-- * {{add-random-fuzzing-tests}} --> | <!-- * {{add-random-fuzzing-tests}} --> | ||
Текущая версия на 16:53, 21 мая 2025
- Набор инструкций, формирующих некий блок без переходов,
- N доступных регистров,
- стоимость чтения и записи в регистр i.
- Порядок резервирования регистров для этой последовательности инструкций.
- Минимизировать полную стоимость чтения-записи в регистры.
Код в «minimum-local-register-allocation.ipynb» на гитлаб или живьем в лабе
-
— есть тестовые данные и визуализация. -
— есть Pyomo-формулировка для ЦЛП.
- Правда там две, студента и моя, надо прорефакторить и слить.
