Как завалить AOS AX 2009

[gl00mie]

Версия ядра клиента и сервера AX 2009 - 5.0.1500.2985, т.е. RU5.
Ниже приводится тестовый пример, который при вызове с клиента гарантированно валит AOS на test2():

CustTable test1(CustTable _custTableOther = null, CustGroupId _custGroupId = '')
{
    CustTable   custTable;
    ;
    if (_custTableOther)
    {
        select firstonly custTable where custTable.CustGroup == _custTableOther.CustGroup;
    }
    else
    {
        select firstonly custTable where custTable.CustGroup == _custGroupId;
    }
    return custTable;
}
CustTable test2(CustTable _custTableOther = null, CustGroupId _custGroupId = '')
{
    CustTable   custTable;
    ;
    select firstonly custTable
        where   (   (   _custTableOther
                    &&  custTable.CustGroup == _custTableOther.CustGroup
                    )
                ||  (  !_custTableOther
                    &&  custTable.CustGroup == _custGroupId
                    )
                )
                        ;
    return custTable;
}
;
test1();
test2();

Дело, судя по всему в том, что AOS как-то некорректно пытается получить доступ к буферу _custTableOther в том случае, если в качестве него передан null. И воспроизводится это именно при вызове с клиента - при выполнении кода на сервере все отрабатывает нормально; тот же тестовый джобик можно запустить на сервер, создав для него специальный пункт меню.
Ниже приводится еще один джобик, который эвристически пытается найти схожие конструкции в коде (для ускорения запускать его лучше на сервере). При этом сравнительно часто встречаются ложные срабатывания, но в целом если удастся отловить 1-2 таких места (преимущественно в своем коде ), то уже время будет потрачено не впустую. В стандартном коде было найдено несколько "подозрительных" мест, но при попытке их эксплойта выяснилось, что они к сваливанию AOS'а не приводят. Подозрения пали на следующие методы, схожим образом использующие свои табличные параметры:

• \Classes\SalesFormLetter\reselect - но в нем явно проверяется, что метод отрабатывает на сервере;
• \Classes\RTax25RegTransEngine\updateTotals - здесь перед выполнением запроса идет проверка if (!_mainTrans && !_origTrans), которая неявно инициализирует оба табличных буфера;
• \Classes\RTax25RegTransEngine_TaxRemainGoods\updateTotals - аналогично RTax25RegTransEngine

UtilEntryLevel  currentLayer;
UtilElements    utilElements;
DictMethod      dictMethod;
xRefPath        nodePath;
str             source;
str             pattern;
Set             setOfParmNameExclusions;
Set             setOfRecordParmNames;
SetEnumerator   setEnum;
boolean         currentAOLayerOnly;
Counter         cnFound;
Counter         n;
;
setOfParmNameExclusions = new Set( Types::String );
setOfParmNameExclusions.add( '_inventDimCriteria' );
setOfParmNameExclusions.add( '_inventDimParm' );
setOfParmNameExclusions.add( '_inventDimParmCriteria' );

currentLayer = currentAOLayer();
currentAOLayerOnly = Box::yesNo( strfmt( @"Искать только на слое %1?", currentLayer ), DialogButton::Yes ) == DialogButton::Yes;
while select utilElements
    where   (   utilElements.recordType   == UtilElementType::ClassInstanceMethod
            ||  utilElements.recordType   == UtilElementType::ClassStaticMethod
            ||  utilElements.recordType   == UtilElementType::TableInstanceMethod
            ||  utilElements.recordType   == UtilElementType::TableStaticMethod
            )
        &&  (  !currentAOLayerOnly
            ||  utilElements.utilLevel    == currentLayer
            )
{
    dictMethod = new DictMethod( utilElements.recordType, utilElements.parentId, utilElements.name );
    if (    dictMethod
        &&  dictMethod.compiledOk()
        &&  dictMethod.parameterCnt() > 0
       )
    {
        setOfRecordParmNames = null;
        for (n = 1; n <= dictMethod.parameterCnt(); n++)
        {
            if (        dictMethod.parameterType( n )   == Types::Record
                &&  (   utilElements.utilLevel          == currentLayer
                    || !setOfParmNameExclusions.in( dictMethod.parameterName( n ) )
                    )
               )
            {
                if (!setOfRecordParmNames)
                {
                    setOfRecordParmNames = new Set( Types::String );
                }
                setOfRecordParmNames.add( dictMethod.parameterName( n ) );
            }
        }
        if (setOfRecordParmNames && !setOfRecordParmNames.empty())
        {
            source = conpeek( utilElements.source, 1 );
            setEnum = setOfRecordParmNames.getEnumerator();
            while (setEnum.moveNext())
            {
                pattern = strfmt( @"select [^;{]+ where [^;{]*[^a-z0-9_;{.]%1[^a-z0-9_.]", setEnum.current() );
                if (match( pattern, source ))
                {
                    nodePath = xUtilElements::getNodePathRough( utilElements );
                    info( strfmt( @"%1 - %2 (%3)", nodePath, setEnum.current(), utilElements.utilLevel ), '', SysInfoAction_Editor::newOpen( nodePath ) );
                    break;
                }
            }
        }
    }
}

[Logger]

Добавлю свои 5 копеек.
Мне тоже удалось свалить аос. Что очень неприятно

Как уронить. Делаем кастомизации в классе SalesFormLetter
добавляем в макрос ParmListCommonCS еще 28 параметров
Итого в нем становится 42 параметра.
После этого АОС благополучно валится на распаковке в методе \Classes\SalesFormLetter_Facture_RU\unpack
при обработке фактуры по заказу.

Причем делает это зараза по подлому, если идти по шагам в отладчике то не валится, а если без отладчика то валится с ошибкой "Ошибка 25 в сценарии SQL"

Лечили так

public container pack()
{
//  return [ #CurrentVersion + #ParentVersion, #ParmList, #ParmListCommonCS ];          //-pkoz, 12.07.2010
    return [ #CurrentVersion + #ParentVersion, [ #ParmList ], [ #ParmListCommonCS ] ];  //+pkoz, 12.07.2010
}

public boolean unpack(container _packedClass)
{
    Integer version = conpeek(_packedClass, 1);
    // pkoz, 12.07.2010 -->
    container       conParmList;
    container       conParmListCommonCS;
    // pkoz, 12.07.2010 <--

    ;
    switch (version)
    {
        case #CurrentVersion + #ParentVersion :
            // pkoz, 12.07.2010 -->
//          [ version, #ParmList, #ParmListCommonCS ] = _packedClass;
            [ version, conParmList, conParmListCommonCS ] = _packedClass;
            [ #ParmList ] = conParmList;
            [ #ParmListCommonCS ] = conParmListCommonCS;
            // pkoz, 12.07.2010 <--
            break;
        default :
            return false;
    }

    return true;
}

Т.е. разбили перечень параметров на несколько контейнеров.

В 3-й аксапте не припомню случая чтобы аос падал. Клиент - сколько угодно, а АОС никогда. Получается что в 2009-й аксапте стабильность работы на порядок хуже. Если эти падения не исправить, то и переходить на неё пожалуй не стоит.

AX 2009 - 5.0.1500.2985, Application RU5

[Link]

Цитата:

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

В 3-й аксапте не припомню случая чтобы аос падал. Клиент - сколько угодно, а АОС никогда. Получается что в 2009-й аксапте стабильность работы на порядок хуже. Если эти падения не исправить, то и переходить на неё пожалуй не стоит.

AX 2009 - 5.0.1500.2985, Application RU5

У меня недавно был чп с AOSом в 4-ке. Казалось бы простая модификация EDT с увеличением числа элементов массива ложила AOS. Удалось решить только удалением всех связанных объектов с нижних слоев и создание их заново на USR. Очень странно это выглядело, АОS падал мгновенно при попытке синхронизации. Причем сообщение об ошибке ничего конкретного не говорило.

[Logger]

Предлагаю устроить соревнование, кто найдет больше способов завалить AOS

[fed]

У нас вчера падало при попытке исполнения следующего кода:

while select    vInventBatch3
        join            vInventDim
        where           vInventBatch3.EraIsvInventDimId == vInventDim.inventDimId
                        &&
                        vInventDim.InventSiteId == vSiteId
                        &&
                        vInventDim.InventLocationId == vInventLocationId
        join            vInventBatchPrice2
        where         vInventBatchPrice2 &&
                         vInventBatchPrice2.inventBatchId == vInventBatch3.inventBatchId
                        &&
                        vInventBatchPrice2.itemId == vInventBatch3.itemId
        {
            ..
        }

Каким-то макаром компилятор пропустил конструкцию 'join table where table && table.field==constant', но сервер во время исполнения умирал выдавая на рабочую станцию сообщение типа "Internal error number 174 found in script".

Аналогичная ситуация была когда программист написал что-то типа:
Select table1
where table1.field1==constant || (table2 && table1.field==table2.field). Хотя здесь я точную форму запроса-убийцы не помню. Идея состояла в том, что сервер похоже что пытался table2 как-то засунуть в сгенерированный SQL-запрос, но сходил с ума и падал. Сообщение было таким-же. Вылечили заменив вторую половину условия на (table2.recid!=0 && table1.field==table2.field).
Справедливости ради, замечу что у нас не очень свежее ядро (примерно февральское).

[gl00mie]

Цитата:

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

Аналогичная ситуация была когда программист написал что-то типа:

Select table1 where table1.field1==constant || (table2 && table1.field==table2.field).

Вылечили заменив вторую половину условия на (table2.recid!=0 && table1.field==table2.field)

Приведенный запрос - именно то, с чего началась тема! Если в select проверяется табличный буфер на "непустоту", а буфер на самом деле совсем пустой (null), и все это работает с клиента, то АОС валится на раз. И лечится как раз аналогично - переделкой проверки с буфера целиком на какое-то из его полей.

[fed]

Цитата:

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

Приведенный запрос - именно то, с чего началась тема! Если в select проверяется табличный буфер на "непустоту", а буфер на самом деле совсем пустой (null), и все это работает с клиента, то АОС валится на раз. И лечится как раз аналогично - переделкой проверки с буфера целиком на какое-то из его полей.

Не уверен. Там все на сервере работало. Вообще после того как я по неформальным каналам спросил знакомых в микрософте, они там выковырали описание внутренней ошибки 174, типа это означает "Какая-то фигня в выражении where". То есть - мне кажется что там все-таки сервер пытался сгенерить именно select с table2, но накрывался при попытке найти подходящее место.

[Logger]

Цитата:

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

Не уверен. Там все на сервере работало.

Зачтено

Считаем это другим случаем завала АОСА.
Счет в серии 1:1:1

Кто больше ?

[Logger]

Цитата:

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

То есть - мне кажется что там все-таки сервер пытался сгенерить именно select с table2, но накрывался при попытке найти подходящее место.

Что больше всего напрягает в этой ситуации - почему сервер накрывается ? Ну отваливался бы рабочий поток с одной сессией пользователя и все, так ведь аос целиком ложится!
В 3-ке, например, при попытке распаковать на сервере наследник RunBaseBatch-а из кривого контейнера, клиент отваливался, а серверу хоть бы что , несмотря на то что код исполнялся на сервере.

[gl00mie]

Цитата:

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

Что больше всего напрягает в этой ситуации - почему сервер накрывается ? Ну отваливался бы рабочий поток с одной сессией пользователя и все, так ведь аос целиком ложится!

Мне кажется, AOS просто не ловит соответствующие исключения, а раз так, то возникают они где-то там, где он не ожидает их словить. Вспоминается, как он валился однажды - при этом в eventlog писалось (виндой, а не самим AOS'ом) следующее:

Faulting application name: Ax32Serv.exe, version: 5.0.1500.2985, time stamp: 0x4c29d4fc
Faulting module name: Ax32Serv.exe, version: 5.0.1500.2985, time stamp: 0x4c29d4fc
Exception code: 0xc0000005
Fault offset: 0x0000000000650359
Faulting process id: 0x834
Faulting application start time: 0x01cb21cd511ff28c

Что примечательного в этом сообщении? А то, что виртуальный адрес 0x0000000000650359 находится посреди процессорной инструкции - вблизи него исполняемый код выглядит так:

.00000000`00650355: 4084FF     test  dil,dil
.00000000`00650358: 7411       jz   .00065036B
.00000000`0065035A: 488903     mov   [rbx],rax
.00000000`0065035D: 488B4630   mov   rax,[rsi][030]
.00000000`00650361: 483B18     cmp   rbx,[rax]
.00000000`00650364: 7517       jnz  .00065037D

т.е. по адресу 0x0000000000650358 начинается двухбайтовая инструкция условного перехода. Если же начать смотреть с адреса 0x0000000000650359, то увидим совсем левый код:

.00000000`00650359: 114889     adc  [rax][-077],ecx
.00000000`0065035C: 03488B     add  ecx,[rax][-075]
.00000000`0065035F: 4630483B   xor  [rax][03B],r9b
.00000000`00650363: 187517     sbb  [rbp][017],dh

Т.е. управление перешло по левому адресу (так совпало, что в сегмент кода, а могло бы куда угодно). Отсюда вывод: либо у AOS'а разрушился стек, либо он криво инициализировал какие-то структуры в памяти, используемые для передачи управления. При таком раскладе не удивительно, что он валится целиком, а не просто отстреливает одну сессию, как в трешке.

[_scorp_]

Цитата:

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

почему сервер накрывается ?

Потому что криво написали обработку исключений на сервере.

[gl00mie]

На ядре 5.0.1500.3966 (hotfix, вышедший после RU6) ошибка все еще воспроизводится...

[Alexius]

Цитата:

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

На ядре 5.0.1500.3966 (hotfix, вышедший после RU6) ошибка все еще воспроизводится...

А можно поподробнее об этом фиксе ?

[gl00mie]

Фикс касается работы с Oracle (хотя судя по разнице в номерах сборки там еще много чего исправлено), подробности уже описаны в теме DAX 2009 некорректный SPID в форме активных пользователей

[ansoft]

Только что уронил АОС job-ом:

static void Job479(Args _args)
{
    ledgerTrans LedgerTrans;
    int         i;
    ;
    info(strfmt('Начало %1', time2str(timenow(),1,1)));
    while select accountnum, crediting, dimension[1], dimension[2], dimension[4], dimension[6], sum(amountmst) from ledgertrans
    index hint ACDate
    group by accountnum, crediting, dimension[1], dimension[2], dimension[4], dimension[6]
    where ledgerTrans.accountnum like '20*'
            && ledgerTrans.transdate >= 01\01\2009
            && ledgerTrans.transdate <= 31\03\2009
    {
        i++;
    }
     info(strfmt('Окончания в %1, выбрано записей %2', time2str(timenow(),1,1), i));

}

JOB компилируется на ура, однако у нас доступно только 5 аналитик и обратиться к
dimension[6] никак нильзя... в результате быстрая смерть АОСа (RU6).

[gl00mie]

Еще один рецепт, как завалить AOS либо свалить клиента (в зависимости от того, где будет выполняться код):

Dimension   dim;
anytype     val = dim;

Выловлено на последовательной обработке полей таблицы по fieldId, ядро 5.0.1500.3968. Проверил в 3.0: там при выполнении такого кода на клиенте последний тоже валится, но если код выполнять на сервере, то он просто отстреливает сессию, а сам продолжает работать.

[TasmanianDevil]

Страшные вещи Вы говорите ...
У нас корячится в перспективе переход на 2009, но после вышеописанных случаев - меня терзают смутные сомнения

[Logger]

Да ладно. Неприятно, но некритично.
3-ка же тоже сессии отстреливала и ничего - жили.

шестерка тоже умирает.. напишите в микросовт, зачем плакаться на форумах?

а вот тут уже не умирает

Dimension   dim;
[COLOR=blue]anytype[/COLOR]     val = dim;

[Pustik]

Цитата:

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

шестерка тоже умирает.. напишите в микросовт, зачем плакаться на форумах?

А здесь никто и не плачется. Я считаю, что это очень полезная информация на форуме. Многие специалисты, работают с логикой, изменения и добавления в которую писали их предшественники. Поэтому знать причины вылета AOS-а очень даже полезно. А от микросовт быстро ждать чего-то можно только очень преочень терпеливым или наивно-верующим людям. Представьте в системе работают одновременно 150-200 человек. Какая-нибудь кладовщица Дуня, сидит "у незнакомого поселка, на неизвестной высоте" и запускает отчет, написанный давным - давно неизвестным программистом на старой версии, где этот отчет работал еще нормально. И.... все дружно получают криптограмму - "Товарищи, попрошу на выход". У Админа логика своя: побыстрее запустить AOS, чтобы заработала система и люди могли работать. Но ведь и у кладовщицы Дуни тоже какая - никая но логика: позвонить программистам, отматовать их, чтобы они зашевелились с вопросом о восстановлении системы, чтобы самой побыстрее запустить этот же отчет. Представляете, как у людей поднимается настроение после
5-10 стабильно периодических вылетов.
Знание багов в лицо быстрее поможет найти проблему и решить ее.