OA
А на выбор между динамическими вызовами и мономорфизацией можно повлиять?
Или полностью на откуп компилятору?
Или полностью на откуп компилятору?
косвенно. Типа, если класс frozen у тебя, то скорее всего у тебя не будет динамического вызова
Size: a a a
2020 March 09
OA
но, в целом, как #[inline] - это хинты компилятору, а не мандат
DS
косвенно. Типа, если класс frozen у тебя, то скорее всего у тебя не будет динамического вызова
А трейты во что компилятся и когда?
Всегда мономорфизация или в каких-то случаях рекорд-пассинг?
Всегда мономорфизация или в каких-то случаях рекорд-пассинг?
AZ
обычно хелловорлдов столько что само их комбинирование - не списочек, а нетривиальная программа. Это звучит красиво потому что слово "разбить" как бы предполагает что ты задизайнил и придумал как все вместе должно работать, и достаточно это "разбить" (отрефакторить). А сложность обычно как раз в том, чтоб изначально придумать из каких частей и как всю программу собрать.
достаточно проектировать сверху вниз, и тогда будет несложно
AZ
но наружу будут все равно сисколы
у тебя логическая ошибка что если во всех ос сделаны так сисколы то это единственный возможный вариант
AZ
как контрпирмер можно посмотреть на сингулярити
EG
Сисколлы оперируют регистрами процессора
EG
В них не то чтобы что-нибудь по-настоящему типизированное запихнёшь
AZ
В них не то чтобы что-нибудь по-настоящему типизированное запихнёшь
почему все все время путают язык с нижележащими механизмами
AZ
то что в асме нет никаких типов не мешает нам писать на расте и получать гарантии
AZ
представь себе что стд раста реализована напрямую в железе
AZ
соответственно вызов любого метода это сисколл который напрямую выполняется
AZ
что тут нетипизированного?
r
И ядро проверяет цифровую подпись всех запускаемых бинарников. Чтобы левые данные в сисколлы не приходили
OA
то что в асме нет никаких типов не мешает нам писать на расте и получать гарантии
Типы проверяются внутри одного секьюрити домена.
OA
red75prime
И ядро проверяет цифровую подпись всех запускаемых бинарников. Чтобы левые данные в сисколлы не приходили
Подписи тут не помогут.
OA
Только если ядро получает обратно жетон подписанный им самим.
Т8
red75prime
И ядро проверяет цифровую подпись всех запускаемых бинарников. Чтобы левые данные в сисколлы не приходили
а кто проверяет ядро, чтобы оно правильно проверяло цифровую подпись?
OA
Черепахи
r
trusted bootloader или как там оно называется. UEFI secure boot