主要内容

可变访问

可变访问窗格显示全局变量(和本地静态变量)。对于每个全局变量,窗格列出了在变量上执行读/写访问的所有函数和任务,以及它们的属性,例如值,读/写访问和共享使用情况。

要打开此窗格,在PolySpace中®桌面用户界面,选择纽约州结果细节窗格。

对于每个变量和每个读/写访问,可变访问窗格包含相关属性。对于变量,此表中列出了各种属性。

属性 描述
变量

变量的名称

文件 包含变量声明的源文件
价值

变量的值(或值范围)

指针变量为空为空。

#阅读 读取变量的次数
#写道 编写变量的次数
由任务写作 在变量上写作的任务名称
由任务读取 任务名称读取变量
保护

是否保护共享变量免受并发访问权限

(只填写用法列有条目,共享

此列中可能的条目是:

  • 关键部分:如果在代码的关键部分访问变量

  • 暂时排除:如果在互斥的任务中访问变量

有关这些条目的更多详细信息,请参阅多任务

用法 共享如果变量在任务之间共享;否则,空白
线 Director声明线数
col 变量声明的列号(来自行开始的字符数)
数据类型 变量数据类型(C / C ++数据类型或结构/类)

双击变量名称以在变量上查看读/写访问权限。箭头符号在里面可变访问窗格指示分别在全局变量上执行读取和写入访问的函数。同样,执行读写访问的任务由符号表示分别。有关任务的更多信息,请参阅任务(-entry-points)

对于变量上的访问操作,此表中列出了窗格中描述的各种属性。

属性 描述
变量

函数(或任务)的名称在变量上执行读/写访问

价值

函数或任务中变量的值或值的值范围或执行读/写访问

指针变量为空为空。

由任务写作 仅适用于任务:在变量上执行写入访问的任务名称
由任务读取 仅适用于任务:在变量上执行读访问的任务名称
线 函数或任务访问变量的行号
col 函数或任务访问变量的列数
文件

包含变量访问操作的源文件

如果此列包含名称__polyspace__stdstubs.c.,表示在标准库函数内访问该变量。

例如,考虑全局变量,SHR2.

功能,特克弗,在文件中,tasks1.c.,执行两个写操作SHR2.。这是指示的可变访问窗格由两个实例Tserver()在变量下,SHR2.,标志着。同样,两个写访问通过任务,server1.server2.,也在下面列出SHR2.并标记为

变量中的颜色方案可变访问窗格是:

  • 黑色:全局变量。

  • 橙色:全局变量,在任务之间共享,没有防止并发访问权限。

  • 绿色:全局变量,在任务之间共享并防止并发访问权限。

  • 灰色:全局变量,声明但不可用于到达代码。

如果任务对全局变量执行某些操作,但操作处于无法访问的代码,则任务是彩色的。

有关从中获得的全局变量和读/写访问权限的信息可变访问窗格称为数据字典。

您还可以从中执行以下操作可变访问窗格。

  • 查看访问图形

  • 查看结构化变量

  • 查看匿名变量的操作

  • 通过全局指针查看访问

  • 显示/隐藏呼叫者和分支机构

  • 隐藏无法访问代码的访问

  • 限制