DP
Нативный или байткод?
интересны оба варианта
Size: a a a
2021 January 07
VK
интересны оба варианта
Нативный можно виртуализовать на уровне процессора. Байткод выполняется вашим кодом, легко можно проверить адрес
DP
Нативный можно виртуализовать на уровне процессора. Байткод выполняется вашим кодом, легко можно проверить адрес
виртуализировать на уровне процессора - предполагается крутой процессор который это умеет?
как можно проверить все варианты зацикливания? оно может быть спрятано в куче условий и переходов внутри кода
как можно проверить все варианты зацикливания? оно может быть спрятано в куче условий и переходов внутри кода
VK
виртуализировать на уровне процессора - предполагается крутой процессор который это умеет?
как можно проверить все варианты зацикливания? оно может быть спрятано в куче условий и переходов внутри кода
как можно проверить все варианты зацикливания? оно может быть спрятано в куче условий и переходов внутри кода
В Интелах это есть :-)
VK
Но нужен доступ уровня ядра ОС
DP
мне интересен вариант без встроенного функционала процессора
VK
Я не серьезно говорю, если что. Вы не можете по коду в общем случае убедиться, что он не нагенерит ничего вредного. Тьюринг считает, что для этого код надо исполнить.
DP
Я не серьезно говорю, если что. Вы не можете по коду в общем случае убедиться, что он не нагенерит ничего вредного. Тьюринг считает, что для этого код надо исполнить.
но мы можем взять минимальный набор команд и убедиться что из них нельзя сделать плохой код?
например вместо записи в ячейку Х вызывать функцию которая делает проверку диапазона и только потом пишет
вместо прыжка к Х мы прыгаем в функцию которая проверяет что время еще осталось достаточно на исполнение и тогда прыгаем к Х (и еще диапазон проверяем)
например вместо записи в ячейку Х вызывать функцию которая делает проверку диапазона и только потом пишет
вместо прыжка к Х мы прыгаем в функцию которая проверяет что время еще осталось достаточно на исполнение и тогда прыгаем к Х (и еще диапазон проверяем)
DP
без возможности прыжков код ограничен временем исполнения в свою длину умножить на макс время одной операции
K
Если не было то как, интересно управление памятью выглядело
Как код завершался, память освобождалась. Зачем GC, если задача стоит слазить в базу и сделать HTML-страницу?
VK
но мы можем взять минимальный набор команд и убедиться что из них нельзя сделать плохой код?
например вместо записи в ячейку Х вызывать функцию которая делает проверку диапазона и только потом пишет
вместо прыжка к Х мы прыгаем в функцию которая проверяет что время еще осталось достаточно на исполнение и тогда прыгаем к Х (и еще диапазон проверяем)
например вместо записи в ячейку Х вызывать функцию которая делает проверку диапазона и только потом пишет
вместо прыжка к Х мы прыгаем в функцию которая проверяет что время еще осталось достаточно на исполнение и тогда прыгаем к Х (и еще диапазон проверяем)
Если вы выбираете минимальный набор команд, то есть сами пишете интерпретатор, то что мешает целевой адрес проверять на лету, когда приходит команда?
DP
Если вы выбираете минимальный набор команд, то есть сами пишете интерпретатор, то что мешает целевой адрес проверять на лету, когда приходит команда?
я могу упустить бесконечный цикл
если прыжок в условии там в одной из ветвей прыжок к бесконечному циклу, например
т.е. проверка прыжка до исполнения может ловить только простые варианты типа прыжок на себя же
если прыжок в условии там в одной из ветвей прыжок к бесконечному циклу, например
т.е. проверка прыжка до исполнения может ловить только простые варианты типа прыжок на себя же
BD
Можно, просто нужен интерпретатор или джит
ну теоретикам можно, а у практиков на ART внезапно появились реальные ограничения
BD
потому что добро пожаловать в реальнiй мiр
M
ну теоретикам можно, а у практиков на ART внезапно появились реальные ограничения
Что такое art?
BD
Что такое art?
android runtime
M
Наверное у них теории не было, протобаф тоже ужасен и ничего. Не все что делают большие компании исходя из коммерческой необходимости выходит хорошим
Т8
Наверное у них теории не было, протобаф тоже ужасен и ничего. Не все что делают большие компании исходя из коммерческой необходимости выходит хорошим
как там СмитПилятор поживает, пилится?
M
@GabrielFallen тригерит
BD
Наверное у них теории не было, протобаф тоже ужасен и ничего. Не все что делают большие компании исходя из коммерческой необходимости выходит хорошим
Я уверен если бы ты делал андроид, вышло бы гораздо лучше.