А
да, сорян что ранее не уточнил
Size: a a a
2019 September 19
М
хм. я поняла, что я не могу четко задать вопрос на который я хочу узнать ответ)) но, кажется мне, стейт-машина это не то, чего я хотела...
AT
В принципе, я помню есть теорема о том, что любой control flow (с goto) можно сделать структурным (из блоков с одним входом и одним выходом, как известно), в которой даже приводится собственно алгоритм преобразования. Только код раздувается, конечно, при наивном подходе.
T
Если декомпилятор может дублировать блоки, то такой граф восстановит без проблем с сохранением семантики
T
Никто не сказал, что дублировать нельзя
М
да. я поняла уже ): я осознала, что не очень понимаю на какой вопрос я хочу получить ответ
М
так что можно сказать что проехали
М
да. я поняла уже ): я осознала, что не очень понимаю на какой вопрос я хочу получить ответ
в принципе тоже результат (: спасибо!
T
Да, вопрос нечёткий, согласен
T
Вообще в спешке jvm много моментов, которые трудно в джаве представить. Не только invokedynamic. Кажется, в финальные поля можно дважды писать в конструкторе
T
Можно кинуть проверяемое исключение, не объявленное в сигнатуре метода
AT
Вообще в спешке jvm много моментов, которые трудно в джаве представить. Не только invokedynamic. Кажется, в финальные поля можно дважды писать в конструкторе
А на уровне JVM вообще есть разница между финальными и нефинальными полями??? 😲
C
А на уровне JVM вообще есть разница между финальными и нефинальными полями??? 😲
JMM же
AT
JMM же
Действительно...
T
> If the field is final, it must be declared in the current class, and the instruction must occur in an instance initialization method (<init>) of the current class (§2.9).
T
Да, не напутал. В конструкторе обязательно, а там сколько хочешь раз - виртуальная машина не будет контрол флоу анализировать
VK
я говорил про while switch case
Не обязательно switch/case. Можно использовать break и continue с метками. Аналогичная возможность есть в JavaScript, этим в emscripten пользовались.
М
Не обязательно switch/case. Можно использовать break и continue с метками. Аналогичная возможность есть в JavaScript, этим в emscripten пользовались.
метки не помогут) если правда вершины не копировать
T
Теоретически можно вводить дополнительную переменную и бранчиться по ней. Так можно обойтись без копирования
PS
ладно. я поняла. спасибо (: а где-нибудь про это с какими-то конкретными примерами написаны, вы не знаете?
Можно посмотреть работы от Cristina Cifuentes https://scholar.google.com/citations?user=iseZ69MAAAAJ&hl=ru&oi=sra Она уже давно занимается этими вопросами.