ОТЛАДКА СИСТЕМ РЕАЛЬНОГО ВРЕМЕНИ. Обзор
Добавить в закладки К обложке
- 1. Введение - Страница 1
- 1.2. Особенности отладки в системах реального времени - Страница 2
- 1.3. Ошибки в системах реального времени - Страница 3
- 2. Средства активной отладки - Страница 4
- 2.2. Отладочные действия - Страница 5
- 2.3. Пользовательский интерфейс - Страница 7
- 2.4. Интеграция со средствами разработки ПО - Страница 8
- 3. Средства мониторинга - Страница 9
- 3.3. Пользовательский интерфейс - Страница 12
- 3.4. Интеграция со средствами разработки ПО - Страница 13
- 4. Особенности отладки многоплатформных распределенных систем - Страница 14
- 4.2. Некоторые подходы к отладке распределенных приложений - Страница 15
- 4.3. Способы представления данных - Страница 17
- 5. Заключение - Страница 18
- Список литературы - Страница 19
Говорят, что переход t разрешен, если каждая из входных позиций содержит по крайней мере один маркер. Если к моменту Т0 переход t разрешен, то он может сработать в течении времени от Т0 + ТCmin(t) до T0 + TCmax(t). Переход t сработал успешно, если он продолжался не более FIRE(t) временных единиц, иначе происходит срабатывание других переходов. В случае, когда не срабатывает ни один из переходов, все маркеры остаются на своих местах. Таким образом локализуются ошибки в РСРВ.
Одной из серьезных ошибок, связанных с работой распределенного приложения в системе реального времени, является недетерминированность. Ее суть заключается в том, что при разных запусках приложения при одних и тех же входных данных получаются разные результаты.
В [8] описан подход к обнаружению недетерминированности в системах, использующих в качестве связи между задачами сообщения. В таких системах недетерминированность может быть вызвана либо задержками сообщений, либо сменой алгоритма планирования. Следует отметить, что в приложении может быть специально заложена некая недетерминированность, поэтому нужно такой случай выделять. Предлагается такая стратегия обнаружения ошибочной недетерминированности:
• для каждого сообщения определяется некоторый идентификатор;
• при получении сообщения идентификатор обрабатывается, и создается некоторая, специфическая для получившей задачи, интерпретация сообщения;
• совершается проверка, удовлетворяет ли эта интерпретация некоторому порядку получения сообщений данной задачей. Такой подход позволяет обходить случаи встроенной недетерминированности путем определения одинаковой интерпретации для соответствующих сообщений.