В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Compiler Development

995 membersпожаловаться на группу
2021 January 04

PS

Peter Sovietov in Compiler Development
Про аргументы — да, это очевидный момент. Число аргументов уже входит в MAXVARS. А вот какой момент менее очевидный? Есть что-то, что сходу труднее подсчитать :)
источник
16:01пожаловаться#1

PS

Peter Sovietov in Compiler Development
То есть парсер Lua сразу определяет, если количество locals (включая аргументы) превысило MAXVARS. И выдает соответствующую ошибку.
Далее же происходит трансляция в байткод. И здесь может тоже произойти переполнение — отсюда и "запас" из 55 слотов (величина чисто эмпирическая).
источник
16:04пожаловаться#2

BD

Berkus Decker in Compiler Development
Peter Sovietov
К слову сказать, для существующих регистровых VM тоже spilling используется далеко не всегда. В частности, в случае Lua VM в процессе трансляции просто проверяется, не превысило ли число слотов стека (виртуальных регистров) максимального значения, равного 255. Вместо тяжеловесной процедуры выгрузки регистров в память выдается соответствующее сообщение об ошибке пользователю.
"256 регистров хватит всем!" :)
мм, погоди, но у железа то не 256 регистиров
источник
16:07пожаловаться#3

PS

Peter Sovietov in Compiler Development
Berkus Decker
мм, погоди, но у железа то не 256 регистиров
У железа тоже бывает 256 регистров. Но я в данном случае про виртуальные регистры Lua-машины говорю.
источник
16:08пожаловаться#4

BD

Berkus Decker in Compiler Development
Peter Sovietov
У железа тоже бывает 256 регистров. Но я в данном случае про виртуальные регистры Lua-машины говорю.
А, этот spilling, ну ок, должен же быть какой-то верхний лимит )
источник
16:08пожаловаться#5

BD

Berkus Decker in Compiler Development
Насколько он большой или маленький решает дизайнер VM/языка
источник
16:09пожаловаться#6

BD

Berkus Decker in Compiler Development
тут например главный лимит - чтобы влезало в 8 бит, я так понимаю
источник
16:09пожаловаться#7

PS

Pavel Samolysov in Compiler Development
Наверное есть какое-то железо и с реальными 256 регистрами. Сейчас кэш первого уровня на том же кристалле что и ядро, почему бы не наделать регистров. Вопрос как их адресовать и не разрастется ли формат команды в длину
источник
16:10пожаловаться#8

PS

Peter Sovietov in Compiler Development
Berkus Decker
тут например главный лимит - чтобы влезало в 8 бит, я так понимаю
Вот и вопрос, почему авторы не сделали MAXVARS = MAXREGS = 255? :)
источник
16:10пожаловаться#9

BD

Berkus Decker in Compiler Development
Pavel Samolysov
Наверное есть какое-то железо и с реальными 256 регистрами. Сейчас кэш первого уровня на том же кристалле что и ядро, почему бы не наделать регистров. Вопрос как их адресовать и не разрастется ли формат команды в длину
для 256 регистров как минимум байт  уйдет под индекс регистра да
источник
16:11пожаловаться#10

BD

Berkus Decker in Compiler Development
Peter Sovietov
Вот и вопрос, почему авторы не сделали MAXVARS = MAXREGS = 255? :)
я не знаю, я на Lua смотрел последний раз в 2010-х
источник
16:12пожаловаться#11

PS

Peter Sovietov in Compiler Development
Ну я бы не спрашивал что-то сильно специфичное именно для Lua. Это было бы просто неспортивно.
источник
16:12пожаловаться#12

BD

Berkus Decker in Compiler Development
Наверняка царь может ответить на этот вопрос
источник
16:12пожаловаться#13

PS

Pavel Samolysov in Compiler Development
Может за 50 лет программирования уже эмперически вывели что столько регистров и не нужно.
источник
16:12пожаловаться#14

BD

Berkus Decker in Compiler Development
Peter Sovietov
Ну я бы не спрашивал что-то сильно специфичное именно для Lua. Это было бы просто неспортивно.
ну а никаких временных регистров для промежуточных результатов там нет?
источник
16:13пожаловаться#15

PS

Pavel Samolysov in Compiler Development
Вопрос зачем кто-то захомячил 55 регистров, а не 5 или 20?
источник
16:13пожаловаться#16

BD

Berkus Decker in Compiler Development
я не знаю модель исполнения в lua vm
источник
16:13пожаловаться#17

PS

Peter Sovietov in Compiler Development
Berkus Decker
ну а никаких временных регистров для промежуточных результатов там нет?
Вот именно! А ведь хранить эти результаты где-то надо? Вот откуда взялся запас :)
источник
16:14пожаловаться#18

BD

Berkus Decker in Compiler Development
звучит логично
источник
16:15пожаловаться#19

PS

Pavel Samolysov in Compiler Development
Так а что там переменная тогда? Если вирт. Регистр из SSA формы, то разве они не выделяются и под промежуточные значения?
источник
16:16пожаловаться#20