Рекурсия. Глюк отладчика.

[Logger]

Привет всем.
Пришлось на днях отлаживать рекурсивный алгоритм в аксапте.
Обнаружил что отладчик некорректно отображает стек вызова в случае рекурсии.
Построил простой пример.
Джоб дергает метод TestA()
Метод TestA() дергает TestB()
Метод TestB() дергает TestA()

Когда весь вызов падает по достижении глубины стека в 400, то в сообщении об ошибке видна корректная последовательность вызовов. А в отладчике видно только 2 метода и все. Досадно.

Вызов xSession::xppCallStack() дает корректный результат.

Проверял на ax2009

[Logger]

Как это лечить.
Если работает в классе, то можно в ClassDeclaration завести переменные

    boolean     debugMode;
    container   curStackTrace;

и пишем метод

str toString()
{
    ;
    if (debugMode)
    {
        curStackTrace = xSession::xppCallStack();
    }
    // return super(); // нужен в зависимости от наличия родительского класса
    return ""; // нужен в зависимости от наличия родительского класса
}

затем в отладчике там где нам надо правим значение переменной debugMode в true и далее при отладке на каждом шаге ядро дергает нам toString() и мы не заходя в него видим актуальный стек вызова в контейнере curStackTrace

[Logger]

В 2012-й та же фигня.

[gl00mie]

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

[Logger]

Собственно так и делаю. Переписываю алгоритм без рекурсии.

P.S.
Надо будет CIL попробовать. Там предел для рекурсии должен быть намного выше 400 уровней.

[gl00mie]

В CIL по идее предел для рекурсии должен быть обусловлен доступным местом в стеке потока - по умолчанию это 10 Мб.

[Logger]

Набросал класс GRD_StackTrace
Положил его в ClassDeclaration класса Info и инициализирую в методе New().

Теперь, если есть сомнения в корректности отображаемого в отладчике стека вызовов, то прямо в отладчике нахожу экземпляр Infolog (он всегда доступен), нахожу в нем переменную с типом GRD_StackTrace, меняю в ней свойство debugMode на true и при дальнейшей отладке вижу стек вызовов в переменной массиве aStackTrace.
Удобно.

P.S.
Интересно, что если добавить GRD_StackTrace в класс Application то не работает. Почему, пока не разобрался.

[alex55]

Цитата:

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

Собственно так и делаю. Переписываю алгоритм без рекурсии.

P.S.
Надо будет CIL попробовать. Там предел для рекурсии должен быть намного выше 400 уровней.

Насколько я помню в CIL было другое ограничение - встроенные методы не могли рекурсивно вызывать себя.

[Logger]

Цитата:

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

Насколько я помню в CIL было другое ограничение - встроенные методы не могли рекурсивно вызывать себя.

Здесь фигня в том что метод не сам себя вызывает а через другой метод. Сокращени стека вызовов при этом совсем не в тему и неочевидно.
Я думаю это глюк.

[kitty]

Цитата:

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

Насколько я помню в CIL было другое ограничение - встроенные методы не могли рекурсивно вызывать себя.

"встроенные" методы - это локальный метод функции?
У меня выдается предупреждение:
Warning: Recursive local methods are not supported in X++ CIL
Я хочу понять, мне нужно нужно вообще метод переписать без использования рекурсии или достаточо просто "разделить" рекурсию на два метода A и B - вызывать из A метод B, а из B вызывать А .(таким образом, удовлетворив требование про отсутствие "встроенных методов")

[Logger]

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

Кстати, в последних версиях C# разрешили делать локальные методы.

[eugene egorov]

Реально локальные методы с рекурсией в них несовместима с CIL. Сам воткнулся в такую фигню - пишет в логах что метод не существует. CIL три раза перестраивал, код выучил наизусть. Без CIL работает, а в пакетнике валится.
Понять нельзя - нужно просто запомнить.

[kitty]

Я рекурсию оставила. Вынесла локальный метод в отдельный метод-член класса.