Фичи и баги OWEN Logic

Цитата:

---

Сообщение от melky

На данный момент у меня этот макрос вообще реализован БЕЗ единой обратной связи

---

0) Ты суслика видишь? а он есть!
1) "обратные связи" бывают явные и не явные
2) если есть цикл, то обязательно есть обратная связь, даже если вы её не рисовали...
3) неявная обратная связь может быть блуждающей, т.е. перемещаться по циклу в при незначительном изменении схемы
(именно из-за этого её и ввели разработчики, кстати, по моей просьбе)
4) то что "обратные связи" используют как "прямые", но "с задержкой на такт" - это недокументированная фича
(обнаруженная и впервые примененная опять же мной на практике в макросе "стек на новый лад")

PS вроде всё это я уже где-то писал...
PPS пора делать FAQ

AI! то, что прямые связи могут быть "неявными обратными" это и так понятно, вопрос то в другом, что "обратная" связь в понятии ОЛ должна полностью на цикл затормозить сигнал, а этого не происходит. Точнее происходит, но то правильно, то неправильно.

Еще один момент, как это реализован компилятор, что внешние цепи, не относящиеся к макросу влияют на его работу ? макрос как и любой FBD должен выполняться строго в своей области памяти, со своими переменными и на его ВНУТРЕННИЕ переменные не должна влиять сама программа, а она почему-то влияет

Цитата:

---

Сообщение от melky

AI! то, что прямые связи могут быть "неявными обратными" это и так понятно, вопрос то в другом, что "обратная" связь в понятии ОЛ должна полностью на цикл затормозить сигнал, а этого не происходит. Точнее происходит, но то правильно, то неправильно.

---

ещё раз.
1) есть цикл значит надо куда то воткнуть обратную связь.
2) В вашем случае получается что явная и неявная обратные связи выходят из одной точки и входят в одну точку
3) найдите цикл, и укажите явную обратную связь, тогда не будет неожиданностей.

Выходят из одной точки, входят в две разные.
Кстати компилятор Siemens LOGO! в такой ситуации выдает предупреждение и предлагает установить флаг (M2, M3 на схеме)
Компилятор CodeSys сам разбирается с флагами, при чем вполне корректно.
Только ОЛ пока хромает.

http://www.owen.ru/forum/attachment....1&d=1477066990

Цитата:

---

Сообщение от melky

AI! то, что прямые связи могут быть "неявными обратными" это и так понятно, вопрос то в другом, что "обратная" связь в понятии ОЛ должна полностью на цикл затормозить сигнал, а этого не происходит. Точнее происходит, но то правильно, то неправильно.

---

Вам уже все сказали, что от цикла из не-обратных связей вы ничего хорошего не получите.
Ещё раз: у вас в программе есть кольцо из "не обратных" связей. Есть кольцо -- значит никто не гарантирует как именно оно будет работать.

Что мешает вот так сделать?

Вложение 27184

Убираем кольцо из необратных связей и, о чудо, начинает работать.

Цитата:

---

Сообщение от melky

AI!
Еще один момент, как это реализован компилятор, что внешние цепи, не относящиеся к макросу влияют на его работу ? макрос как и любой FBD должен выполняться строго в своей области памяти, со своими переменными и на его ВНУТРЕННИЕ переменные не должна влиять сама программа, а она почему-то влияет

---

На входе непонимание.
В OWEN Logic компилятор "насквозь" видит все макросы. Это всего лишь "макрос", не подпрограмма, не функция со своими областями.

Владимир Ситников Компилятор такой умный, что непонимает, что на входе сигнал придет позже и соответственно и на выходе из узла он окажется позже ?
именно сменит свое состояние в другой момент ? - браво.

Евстигнеев Максим, вот, теперь несколько понятнее, что макрос в ОЛ, просто кусок программы, завернутый в эфемерную оболочку.


Все равно все ломается :(

http://www.owen.ru/forum/attachment....1&d=1477070886
Объясните, как элементы в красном, влияют на работоспособность того, что в синем ?

Цитата:

---

Сообщение от melky

А теперь объясните, как тело макроса, вынесенный в программу ничего не ломает, а находящийся в макросе ломается если для ОЛ это одно и тоже и он макросы видит прозрачно ?

Может стоит чинить тогда оболочку ?

---

на самом деле есть ещё один фокус -"элемент пустышка" (NOP), этим элементом является граница макроса
а когда макрос без "эфемерной оболочки", этой пустышки нет.

Подробнее объяснять в пятницу вечером - я пас.

з.ы. На самом деле все ломается, просто совпало так, что показалось...
По моему мнению, последние SEL никак не должны ломать код, который стоит до них, так как именно с них нет каких либо связей в основной код. только на самих себя...

Цитата:

---

Сообщение от melky

з.ы. На самом деле все ломается, просто совпало так, что показалось...
По моему мнению, последние SEL никак не должны ломать код, который стоит до них, так как именно с них нет каких либо связей в основной код. только на самих себя...

---

Ответ тут простой: ОЛ не учитывает координаты элементов при компиляции программы. Я, конечно, исходников не видел, но, полагаю, координаты не учитываются.

Поэтому это для человека легко понять "справа-слева", а с точки зрения алгоритма, никаких "справа" и "слева" нет. Есть просто клубок связей.
Из которых произвольная становится обратной в зависимости от фазы луны.

Чего тут непонятного?



Ещё момент: в момент, когда "замыкается" круг (ну, когда создают первую связь, которая в итоге образует кольцо) среда ещё как-то может обнаружить неладное и сказать, что так делать не нужно.
Но если потом удалят какую-то другую связь, которая участвовала в этом кольце и разорвут кольцо, то что должна сделать среда?
Вернуть первую из ранга обратных в ранг простых? Оставить как есть?



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