Исследование порядка вызовов Callback-функций в QLua (Страница 1 из 3)

Результат чего и в каком виде вы хотите получить? не понятно.

Код VCLua - он доступен и не так уж велик.
Родить поток или контекст виртуальной машины магическими пассами - нельзя; можно это сделать лишь вызовом определённых всем известных функций. Достаточно убедиться, что таких функций в коде не встречается, что не сложно - и ответ станет очевиден на 100%.

Более того. Обычно никто в здравом уме не плодит ни потоки, ни новые контексты, используя Lua. Хотя бы потому, что это весьма нетривиально и требует от всех участников весьма высокого уровня знаний и умений. (Как пример: тьма проблем в QUIK, которые они не так давно кое-как смогли выгрести из своей многопоточной (зачем?!) реализации в Lua. Плюс тьма оставшихся принципиальных проблем, когда идет обращение к одним и тем же переменным (обычно созданным Lua-программистам таблицам), к которым осуществляется доступ как из main(), так и из callback'ов. Но эти проблемы уже так и останутся на совести тех, кто в Lua пишет роботов и им явно не позавидуешь.)

Так что бояться, что кто-то где-то в другой библиотеке начнёт такое городить - не стоит.

Что же до нестабильностей VCLua, то я вижу три их природы:

• Для Lazarus вполне естественно в случае любых проблем (например, указан номер отсутствующего столбца в Grid'е) кинуть исключение; в самом Lazarus это спокойно обрабатывается, отображается окно в ошибкой - и программа в принципе продолжает работать. Т.е. исключения как стандарный и нормальный механизм сообщений об ошибках. В VClua такие исключения приводят уже к неминуемому краху терминала; причем отключить их "легким движением руки" - уже, возможности нет. Единственная у меня идея борьбы с этой проблемой - все интерфейсные функции, которые вызывает Lua-машина из VLua обернуть обработчиком исключений; но таких точек входа - много, как это сделать более-менее элегантно - не придумал; кстати, оригинальная VCLua в случае любой проблемы старается еще и стопнуть свой процесс (в смысле Windows-процесс), это место я постарался победить в QVCLua.

• Проблема с завершением я думаю, хотя экспериментов еще не проводил, связана вот с чем: вызвали Form:Release(), форма фактически разрушена и связанный с ней объект Lazarus удалён; но, на сколько я понимаю код, Lua-переменная Form - она никуда не делась, а значит вполне вероятны какие-то обращения к её методам, но при этом фактически Lazarus-объекта уже нет, однако у нему происходит обращение - ну и привет, наступаем на невалидную память, всё разваливается. Пока это только предположения, я попробую на каком-то показательном эксперименте проработать так ли это.

• Ну и конечно же проблема многопоточного  доступа. Но тут всё "просто": есть жесткие рекомендации по корректной работе:
  

  • создавать форму и прочие компоненты в основном теле скрипта или callback-ах, т.к. они работают в рамках осноновго потока и проблем нет;

  • не обращаться ни к каких элементам VCLua из main() (c этим пунктом теоретически можно попробовать как-то "побороться" или, хотя бы, предоставить вариант решения как из main() все же обратиться (изменить свойства) к какому-то элементу; но это дело будущего)

Ну справедливости ради стоит наверное можно сказать, что в общем случае какая-либо библиотека вполне может родить потоки; но мало кто в здравом уме захочет идти этим тернистым путём

А вот это вполне перекликается с моим пунктом номер 2, только с другого боку.
Михаил, может подскажете как можно отловить это lua_close() или разрушение Lua-объекта? в смысле отловить со стороны библиотеки (фактически со стороны Lua-скрипта).

Я несколько другое спрашивал, хотя это тоже надо будет посмотреть.
Все "объекты" в VCLua, да и в Lua вообще, есть метатаблицы.
Можно ли отловить событие, когда метатаблица уничтожается Lua?

В чем проблема?

VCL = require "qvcl"

is_run = true

function main()
  while is_run do
    sleep(50)
  end
end

function OnStop()
  is_run = false
end

function OnOrder(order)
  local form =  VCL.Form( {
            Height = 100, Width = 200, Caption = "",
            Position = "poDefaultPosOnly",
            OnClose = function (sender) sender:Release() end
  } )
  local label = VCL.Label( form, { top=0, left=0 } )
  label.Caption = tostring(order.order_num) .. " " .. order.sec_code .. " " .. tostring(order.qty)
  form:Show()
end

Начиная с версии 6.16 lua_close() вызывается после завершения main() в том же потоке. так же lua_close() может быть вызвана в основном потоке терминала после ручной остановки скрипта, если main() не завершилась корректно (поток был завершен принудительно)

lua_open вызывается в момент нажатия кнопки старт. то есть в потоке терминала. Но в случае с lua_open разницы нет где ее вызвать, сама эта функция ничего особенного не делает. Загрузки библиотек начинаются с вызова require или loadlib в скрипте.
Можно предусмотреть в VCLua какой-нибудь финализатор? Возможно либо в виде явной потокобезопасной функции для вызова из скрипта, либо как реакцию на событие THREAD_DETACH или PROCESS_DETACH.
То решение, которое я предложил и дал паре человек попробовать- это скорее "грязный хак". Времени разбираться не было, да и в Дельфи не особенно силен, поэтому выглядит так:

library vcl;

{$mode Delphi}{$H+}
{$i vcldef.inc}

{$R *.res}

uses
  Windows,
  Classes, SysUtils,
  Interfaces, InterfaceBase,
  Forms, Controls, Graphics, Dialogs,
  {$i vcl.inc}

function luaopen_qvcl(L: Plua_State): Integer; cdecl;
begin
  LoadLibrary('qvcl.dll');
...

Побочный эффект - библиотека не выгружается при остановке скрипта.

lua_close можеть быть вызвана:
1. при корректном завершении функции main() в том же потоке. в котором выполнялась эта функция.
например для такого кода:

function main()
 return
end

или вот такого:

stopped = false
function OnStop(signal)
 stopped = true
end
function main()
 while not stopped do sleep(100) end 
end

2. для такого кода:

function main()
 while true do  sleep (100) end
end

lua_close будет вызвана из основного потока терминала, после ожидания дефолтного тайм-аута и принудительного завершения потока для main()

Провел эксперимент.
Если main() корректно не завершать, то qvclua работает отлично, запускается по несколько скриптов с окошками, надёжно работают, завершаются по кнопке "Остановить" в диалоге скриптов. Потому что деинициализация библиотеки корректно происходит в основном потоке.

Если же корректно по какому-либо событию завершать main() - то в этот момент терминал довольно часто падает, стек падения показывает куда-то в обработку сообщений.

Оно и понятно.
В основной поток Windows накидала финализирующих сообщений, какой-то сообщение обрабатывается оконной функцией - и тут вдруг из другого потока хрясь - выгружают библиотеку. Понятно, адреса, где вот прямо сейчас выполняется основной поток (оконная функция), становятся невалидными, и терминал тут же сваливается по доступу к невалидной памяти.
А разработчики потом ен стесняясь пишут мол "это у вас падает где-то библиотека, мы ни при чем".

Если выбить лестницу - то электрононтёр свалится со столба, но он сам в этом виноват ведь, правда? это ведь он упал.

"О сколько нам открытий чудных..."

Рекомендация пользователям QVCLua:
При использовании библиотеки в 6.16 версии терминала - просто уберите из кода Lua скрипта завершение main(), т.е. код в ней должен быть пока такой, например:

function main()
  while is_run or true do  -- когда починят - уберем or true
    sleep(50)
  end
end
function OnStop()
  is_run = false
  mainForm:Release() -- уничтожим основную форму скрипта
end

Завершаем скрипт по кнопке "Остановить". В этом случае всё работает корректно, падений не замечено.

Вопрос:
Михаил, можно ли надеяться, что это безобразие будет исправлено в ближайших версиях терминала, и вызов lua_close() будет при любом сценарии завершения скрипта всегда выполняться в основном потоке терминала, т.е. там же, где и lua_open()?
Вы ведь согласны, надеюсь, что сделанный в 6.16 вариант - не нормален?

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

-

Поторопился я с выводом: при закрытии формы скрипты продолжают крашить терминал без использования "костылей".

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