На Variable Access панели отображаются глобальные переменные (и локальные статические переменные). Для каждой глобальной переменной на панели перечислены все функции и задачи, выполняющие доступ для чтения/записи переменных, а также их атрибуты, такие как значения, доступ для чтения/записи и общее использование.
Чтобы открыть эту панель, в Polyspace® выберите кнопку на панели Result Details.
Для каждой переменной и каждого доступа для чтения/записи панель Variable Access содержит соответствующие атрибуты. Для переменных в этой таблице перечислены различные атрибуты.
Признак | Описание |
---|---|
Variables | Имя переменной |
File | Исходный файл, содержащий объявление переменной |
Values | Значение (или область значений значений) переменной Этот столбец пуст для переменных. |
# Reads | Количество чтений переменной |
# Writes | Количество раз, когда переменная записана |
Written by task | Имя задач записи в переменную |
Read by task | Имя переменной чтения задач |
Protection | Защищена ли общая переменная от параллельного доступа (Заполняется только Usage если в столбце есть запись, Shared) Возможные значения в этом столбце:
Для получения дополнительной информации об этих записях смотрите Multitasking. |
Usage | Shared , если переменная разделяется между задачами; в противном случае пусто |
Line | Номер линии объявления переменной |
Col | Номер столбца (количество символов от начала линии) объявления переменной |
Data Type | Тип данных переменной (типы данных C/C + + или структуры/классы) |
Дважды кликните имя переменной, чтобы просмотреть операции чтения/записи доступа к переменной. Символы стрелки и на панели Variable Access указывают функции, выполняющие доступ для чтения и записи, соответственно, для глобальной переменной. Аналогично, задачи, выполняющие доступ для чтения и записи, обозначены символами и соответственно. Для получения дополнительной информации о задачах смотрите Tasks (-entry-points)
.
Для использований доступа к переменных в этой таблице перечислены различные атрибуты, описанные на панели.
Признак | Описание |
---|---|
Variables | Имена функции (или задачи), выполняющей доступ для чтения/записи переменной |
Values | Значение или область значений значений переменной в функции или задаче, выполняющей доступ для чтения/записи Этот столбец пуст для переменных. |
Written by task | Только для задач: Имя задачи, выполняющей доступ на запись для переменной |
Read by task | Только для задач: Имя задачи, выполняющей чтение доступа к переменной |
Line | Номер линии, где функция или задача обращается к переменной |
Col | Номер столбца, в котором функция или задача обращается к переменной |
File | Исходный файл, содержащий операцию доступа к переменной Если этот столбец содержит имя |
Для примера рассмотрим глобальную переменную, SHR2
:
Функция, Tserver
, в файле, tasks1.c
, выполняет две операции записи на SHR2
. Это обозначается на панели Variable Access двумя образцами Tserver()
под переменной, SHR2
, отмеченный. Точно так же два доступа к записи по задачам, server1
и server2
, также перечислены под SHR2
и отмечены.
Цветовая схема для переменных на панели Variable Access:
Черный: глобальная переменная.
Orange: глобальная переменная, совместно используемая между задачами без защиты от параллельного доступа.
Зеленый: глобальная переменная, совместно используемая между задачами и защищенная от параллельного доступа.
Серый: глобальная переменная, объявленная, но не используемая в достижимом коде.
Если задача выполняет определенные операции с глобальной переменной, но операции находятся в недоступном коде, задачи окрашены в серый цвет.
Информация о глобальных переменных и операциях доступа для чтения/записи, полученных из панели Variable Access, называется словарем данных.
Можно также выполнить следующие действия из панели Variable Access.