exponenta event banner

Доступ к переменным

На панели «Доступ к переменным» отображаются глобальные переменные (и локальные статические переменные). Для каждой глобальной переменной на панели перечислены все функции и задачи, выполняющие доступ для чтения/записи переменных, а также их атрибуты, такие как значения, доступ для чтения/записи и совместное использование.

Чтобы открыть эту панель, в интерфейсе пользователя рабочего стола Polyspace ® нажмите кнопку на панели Сведения о результатах.

Для каждой переменной и каждого доступа для чтения/записи панель Доступ к переменной (Variable Access) содержит соответствующие атрибуты. Для переменных в этой таблице перечислены различные атрибуты.

ПризнакОписание
Переменные

Имя переменной

ФайлИсходный файл, содержащий объявление переменной
Ценности

Значение (или диапазон значений) переменной

Этот столбец пуст для переменных указателей.

# ЧтениеЧисло считываний переменной
# ЗаписиЧисло записей переменной
Написано по заданиюИмя задач, записываемых в переменную
Чтение по заданиюИмя задачи, считывающей переменную
Защита

Защищена ли общая переменная от параллельного доступа

(Заполняется только в том случае, если в столбце «Использование» имеется запись «Общий»)

Возможные значения в этом столбце:

  • Критический раздел: Если доступ к переменной осуществляется в критическом разделе кода

  • Временное исключение: Если доступ к переменной осуществляется во взаимоисключающих задачах

Дополнительные сведения об этих записях см. в разделе Многозадачность.

ИспользованиеShared, если переменная разделяется между задачами; в противном случае - пусто
ЛинияНомер строки объявления переменной
ПолковникНомер столбца (количество символов от начала строки) объявления переменной
Тип данныхТип данных переменной (типы данных C/C + + или структуры/классы)

Дважды щелкните имя переменной, чтобы просмотреть операции доступа для чтения/записи для переменной. Символы стрелок и на панели «Доступ к переменной» обозначают функции, выполняющие доступ для чтения и записи, соответственно, для глобальной переменной. Аналогично, задачи, выполняющие доступ для чтения и записи, обозначаются символами и соответственно. Для получения дополнительной информации о задачах см. Tasks (-entry-points).

Для операций доступа к переменным в этой таблице перечислены различные атрибуты, описанные на панели.

ПризнакОписание
Переменные

Имена функций (или задач), выполняющих доступ на чтение/запись для переменной

Ценности

Значение или диапазон значений переменной в функции или задаче, выполняющей доступ для чтения/записи

Этот столбец пуст для переменных указателей.

Написано по заданиюТолько для задач: имя задачи, выполняющей доступ на запись для переменной
Чтение по заданиюТолько для задач: имя задачи, выполняющей доступ на чтение переменной
ЛинияНомер строки, в которой функция или задача обращается к переменной
ПолковникНомер столбца, в котором функция или задача обращается к переменной
Файл

Исходный файл, содержащий операцию доступа к переменной

Если этот столбец содержит имя __polyspace__stdstubs.c, указывает на то, что доступ к переменной осуществляется внутри функции «Стандартная библиотека».

Например, рассмотрим глобальную переменную, SHR2:

Функция, Tserver, в файле, tasks1.c, выполняет две операции записи для SHR2. Это указывается на панели «Доступ к переменной» двумя экземплярами Tserver() под переменной, SHR2, помечен. Аналогично, два доступа к записи по задачам, server1 и server2, также перечислены в SHR2 и помечен.

Цветовая схема переменных на панели «Доступ к переменным»:

  • Черный: глобальная переменная.

  • Оранжевый: глобальная переменная, совместно используемая задачами без защиты от параллельного доступа.

  • Зеленый: глобальная переменная, совместно используемая задачами и защищенная от параллельного доступа.

  • Серый: глобальная переменная, объявленная, но не используемая в доступном коде.

Если задача выполняет определенные операции с глобальной переменной, но операции находятся в недостижимом коде, задачи окрашиваются в серый цвет.

Информация о глобальных переменных и операциях доступа для чтения/записи, полученная с панели «Доступ к переменным», называется словарем данных.

На панели Доступ к переменной (Variable Access) можно также выполнить следующие действия.

  •  Просмотреть график доступа

  •  Просмотр структурированных переменных

  •  Просмотр операций с анонимными переменными

  •  Просмотр доступа через глобальные указатели

  •  Показать/скрыть вызывающих и вызывающих абонентов

  •  Скрыть доступ в недоступном коде

  •  Ограничения