このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

Polyspace Access Web インターフェイスのグローバル変数

このトピックでは、Polyspace^® Access Web インターフェイスに注目します。Polyspace デスクトップ ユーザー インターフェイスでの同等のペインについては、Polyspace デスクトップ ユーザー インターフェイスの [変数アクセス] (Polyspace Code Prover)を参照してください。

[グローバル変数の使用] ペインにはグローバル変数 (およびローカルの静的変数) が表示されます。このペインには、各グローバル変数ごとにこの変数に対して読み取り/書き込みアクセスを実行するすべての関数およびタスクが一覧で表示され、これらの属性値である値、読み取り/書き込みアクセス、共有での使用状況なども表示されます。

[結果の詳細] ペインの アイコンを使用するか、または [ウィンドウ] 、 [グローバル変数の使用] に移動して、[グローバル変数の使用] ペインを開きます。

各変数とそれぞれの読み取り/書き込みアクセスについては、[グローバル変数の使用] ペインに関連する属性があります。変数について、さまざまな属性がこの表に一覧表示されます。

属性	説明
変数	変数名
値	変数の値 (または値の範囲) ポインター変数の場合、この列は空です。
読み取り数	変数が読み取られる回数
書き込み数	変数が書き込まれる回数
読み取り元タスク	変数を読み取るタスクの名前
書き込み元タスク	変数に書き込むタスクの名前
保護	共有変数が同時アクセスから保護されるかどうか ([使用法] 列にエントリ [共有] がある場合にのみ設定されます) この列の可能なエントリは次のとおりです。 クリティカル セクション: コードのクリティカル セクションで変数へのアクセスがある場合 時間的に排他: 相互に排他的なタスクで変数へのアクセスがある場合 これらのエントリについての詳細は、Polyspace Code Prover™ または Polyspace Code Prover Server™ のドキュメンテーションを参照してください。
使用法	タスク間で変数が共有されている場合は Shared。そうでなければ空白
ファイル	変数宣言を含むソース ファイル
データ型	変数のデータ型 (C/C++ データ型または構造体/クラス)

変数名をダブル クリックして、[結果の詳細] ペインで変数に対する読み取り/書き込みアクセス操作を表示します。[結果の詳細] ペインの矢印のシンボル および は、グローバル変数に対して読み取りおよび書き込みアクセスをそれぞれ実行している関数を示します。タスクの詳細は、Polyspace Code Prover または Polyspace Code Prover Server のドキュメンテーションで、解析オプション Tasks (-entry points) を参照してください。

変数へのアクセス操作について、[グローバル変数の使用] ペインに表示されるさまざまな属性をこの一覧表に示します。

属性	説明
値	読み取り/書き込みアクセスを実行する関数またはタスク内の変数の値または値の範囲 ポインター変数の場合、この列は空です。
書き込み元タスク	タスクの場合のみ: 変数への書き込みアクセスを実行するタスクの名前
読み取り元タスク	タスクの場合のみ: 変数への読み取りアクセスを実行するタスクの名前
ファイル	変数へのアクセス操作を含むソース ファイル

[結果の詳細] ペインには、変数に対するアクセス操作の [スコープ] もリストされます。

たとえば、グローバル変数 SHR2 を考えます。

ファイル tasks1.c 内の関数 Tserver は、SHR2 に対して 2 つの操作を実行します。これは、[結果の詳細] ペインにある表において でマークされている、Tserver() の 2 つのインスタンスによって示されています。同様に、タスク initregulate による読み込みアクセスも表にリストされ、 でマークされます。

[グローバル変数の使用] ペインの変数の配色は以下のとおりです。

• 黒: グローバル変数。

• オレンジ: タスク間で共有されている、同時アクセスに対して保護されていないグローバル変数。

• オレンジ: タスク間で共有されている、同時アクセスに対して保護されたグローバル変数。

• グレー: 宣言されているが、到達可能コードで使用されないグローバル変数。

タスクで特定の操作がグローバル変数で実行されても、当該操作が到達不能コードにある場合、そのタスクの色はグレーになります。

[グローバル変数の使用] ペインから取得したグローバル変数および読み取り/書き込みアクセス操作の情報は、データ ディクショナリと呼ばれます。

また [グローバル変数の使用] ペインから次のアクションを実行することもできます。

•  構造化された変数の表示

  

  構造化された変数については、[グローバル変数の使用] ペインにある変数をダブル クリックして個々のフィールドを表示します。たとえば、構造体 SHR4 の場合は、ペインにはフィールド SHR4.A および SHR4.B と、それらに対して読み取り/書き込みアクセスを実行する関数が表示されます。

•  呼び出し元および呼び出し先の表示/非表示

  [グローバル変数の使用] ペインをカスタマイズして共有変数のみを表示します。[グローバル変数の使用] ペインのツール バーで、[非共有変数] ボタン をクリックして非共有変数を表示または非表示にします。

•  到達不能コードでのアクセスの非表示

  フィルター ボタン をクリックして、到達不能コードで発生する読み取り/書き込みアクセスを非表示にします。

•  制限

  [グローバル変数の使用] ペインでの読み取り/書き込み操作のように、グローバル変数またはオブジェクト (C++ の場合) のアドレス指定操作を表示することはできません。たとえば、以下の C++ コードについて考えます。

  class C0 
  { 
  public: 
    C0() {} 
    int get_flag() 
    { 
      volatile int rd; 
      return rd; 
    } 
    ~C0() {} 
  private: 
    int a;                /* Never read/written */ 
  }; 
  
  C0 c0;                  /* c0 is unreachable */ 
  
  int main() 
  { 
    if (c0.get_flag())    /* Uses address of the method */ 
      { 
        int *ptr = take_addr_of_x(); 
        return 1; 
      } 
    else 
      return 0; 
  }

  [グローバル変数の使用] ペインにメソッドの呼び出し c0.get_flag() が表示されないのは、この呼び出しがオブジェクト c0 に属するメソッドに対するアドレス指定操作であるためです。