logo
Bolshakov_Poyasnitelnaya_zapiska

2.2.2.1.11 Модель отладки

Ключевым моментом создания отладчика в среде Eclipse выступает разработка его модели, интерфейсы для которой в платформе уже предопределены; их схема представлена на рисунке 2.9.

Рисунок 2.9 – Диаграмма модели интерфейсов платформы отладки Eclipse

Модель отладки, представленная на рисунке, включает всевозможные виды артефактов отладки. Все артефакты должны реализовывать интерфейс IDebugElement (в дополнением к их непосредственным интерфейсам). Модель отладки включает следующие интерфейсы для артефактов отладки, приведенные в таблице 2.4.

Таблица 2.4 – Интерфейсы подсистемы отладки

Интерфейс артефакта отладки

Назначение

IDebugTarget

Цель отладки - отлаживаемый контекст исполнения, такой, как процесс или виртуальная машина.

IExpression

Выражение - некоторый шаблон кода, значение которого может быть вычислено.

IMemoryBlock

Блок памяти - последовательный сегмент памяти контекста исполнения

IRegister

Регистры - именованная переменная в группе регистров.

IRegisterGroup

Группа регистров - группа регистров соответствующая фрейму стека.

IStackFrame

Фрейм стека - контекст исполнения в приостановленном потоке, содержащий локальные переменные.

IThread

Поток - последовательный набор команд исполнения в цели отладки, содержащий фреймы стека.

IValue

Значение переменной

IVariable

Переменная - видимая структура данных во фрейме стека или значении другой переменной.

IWatchExpression

Выражение для просмотра - выражение, которое обновляет свое значение в определенные моменты времени.

Существует два важных замечания, которые должны быть учтены при проектировании модели отладки.

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

- Действия, совершенные пользователем через графический интерфейс, например, команда “выполнить шаг отладки”, должны быть неблокирующими вызовами (асинхронными). То есть команда пользователя “выполнить шаг отладки” не должна ждать, пока шаг выполнится в виртуальной машине, в противном случае при длительном выполнении шага машиной поток графического интерфейса Eclipse может зависнуть. Корректная (неблокирующая) схема взаимодействие изображена на рисунке 2.10.

Рисунок 2.10 – Неблокирующая схема взаимодействия модели отладки и виртуальной машины