Фичи и баги OWEN Logic

[Эдуард_Н]

Этот баг из-за этой связи.
Снимок.PNG

А ОЛ почему его не выделил?

[Владимир Ситников]

А ОЛ почему его не выделил?

Баг и состоит в том, что "неправильно обнаруживается проблемная связь".

[wal79]

Баг и состоит в том, что "неправильно обнаруживается проблемная связь".

ОЛ ее обнаружил, но подсветил не то, что надо. Лоджик обнаруживает последнюю замыкающую связь. И если она глубоко в макросе, то согласно разработанному алгоритму должен был подсветить последнюю внешнюю связь. Вот тут то и была несогласованность задуманного алгоритма и реализации. Помарка исправлена. В данном случае лоджик последнюю замыкающую внешнюю связь определил "PWM1 - fMUL".

Но прошу не забывать одного, что лоджик может только предложить "проблемную" связь, он не телепат. А в реальности Вы можете заменить на линию задержки другую связь в этом цикле. Ту, которую Вы считаете наиболее верной согласно Вашему алгоритму.

[Владимир Ситников]

Вот тут то и была несогласованность задуманного алгоритма и реализации. Помарка исправлена. В данном случае лоджик последнюю замыкающую внешнюю связь определил "PWM1 - fMUL".

По-моему, в конкретном случае "самая сомнительная связь" это "чтение из переменной result --> fLIMIT2" и именно её ОЛ должно подкрашивать / предлагать заменить на задержку.
Объяснение следующее:
"для того, чтобы вычислить результат, который нужно записать в result" нужно выполнить fADD, а для вычисления fADD нужен результат "ЛЗ от чтения current" (тут дальнейший анализ "как вычисляется current" не нужен, т.к. значение приходит с прошлого цикла) и результат "fMUL".
Так мы разворачиваем цепочку и в итоге доходим до "для того, чтобы вычислить fLIMIT2 нужно знать результат чтения current", но ведь current ещё не вычислено, значит цикл, и как раз эту связь и объявляем как "циклообразующую".

Что по-вашему называется "последней" связью?

[wal79]

По-моему, в конкретном случае "самая сомнительная связь" это "чтение из переменной result --> fLIMIT2" и именно её ОЛ должно подкрашивать / предлагать заменить на задержку.
Объяснение следующее:
"для того, чтобы вычислить результат, который нужно записать в result" нужно выполнить fADD, а для вычисления fADD нужен результат "ЛЗ от чтения current" (тут дальнейший анализ "как вычисляется current" не нужен, т.к. значение приходит с прошлого цикла) и результат "fMUL".
Так мы разворачиваем цепочку и в итоге доходим до "для того, чтобы вычислить fLIMIT2 нужно знать результат чтения current", но ведь current ещё не вычислено, значит цикл, и как раз эту связь и объявляем как "циклообразующую".

Что по-вашему называется "последней" связью?

Последняя для лоджика связь в цикле. Та связь, которая является для лоджика повторюсь замыкающей. Насчет какая связь должна быть ЛЗ должен решать сам разработчик программы.

[Project M]

Здравствуйте!

Давно хочу обратить ваше внимание на следующий бачог.

2017-08-22_10-09-34 (2).png

повторяемость одних и тех же переменных.

И было бы крайне удобно ввести служебную переменную idScreen, содержащую id отображаемого в данный момент экрана.

[wal79]

Здравствуйте!

Давно хочу обратить ваше внимание на следующий бачог.

2017-08-22_10-09-34 (2).png

повторяемость одних и тех же переменных.

И было бы крайне удобно ввести служебную переменную idScreen, содержащую id отображаемого в данный момент экрана.

Так, как получилось так? Можете описать действия, чтобы мне возобновить. Насчет Id экрана - да, да, давнешняя тема. В оперативном плане к 1.10 есть такая задача. Пока еще не приступали.

[Владимир Ситников]

Последняя для лоджика связь в цикле. Та связь, которая является для лоджика повторюсь замыкающей. Насчет какая связь должна быть ЛЗ должен решать сам разработчик программы.

Да, увидел на более полной картинке, что цикл по факту состоит из "Q3 <- fLIMIT3 <- fADD <-...<- Q+ <- PWM1 <- fLIMIT2 <- fLIMIT1 <- result <- fADD <- fMUL <- PWM1" и поэтому связь PWM1-fMUL и объявляется как причина всех бед.